6608 search results - page 966 / 1322 » On the Completeness of Model Checking |
131
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
Infrastructure management offices plan and complete several thousand small construction projects annually. Effective planning is vital if the public and private sectors are to mai...
143
click to vote
APCHI
1998
IEEE
15 years 11 months ago
1998
IEEE
When they encounter problems with a novel or infrequently performed task, experienced users often complete their work by referring to manuals and trying task-oriented exploration....
195
Voted
ICNP
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper evaluates the congestion control performance of Pseudofed, a congestion-controlled, reliable multicast transport protocol for bulk data transfer. Pseudofed's conge...
143
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
Signi cant advances have been made in the area of macro planning for assembly operations i.e., dividing a product into sub-assemblies, determining the sequence of assembly operati...
173
click to vote
TABLEAUX
1999
Springer
15 years 11 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...