422 search results - page 15 / 85 » On Modal Refinement and Consistency |
108
click to vote
IJCAI
2001
15 years 3 months ago
2001
Constraint propagation is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the us...
110
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
133
click to vote
3DIM
2003
IEEE
15 years 5 months ago
2003
IEEE
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
125
click to vote
TREC
2003
15 years 3 months ago
2003
In our entry to the new HARD track, we have investigated two methods of interactively refining user search formulations. One method consists of asking the user to select a number ...
CONCURRENCY
2010
15 years 2 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...