1102 search results - page 162 / 221 » Dynamic Constraint Models for Planning and Scheduling Proble... |
163
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
117
Voted
CAD
1998
Springer
15 years 3 months ago
1998
Springer
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
147
Voted
CONSTRAINTS
2010
15 years 3 months ago
2010
AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-fi...
119
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
154
Voted
RTCSA
2003
IEEE
15 years 8 months ago
2003
IEEE
Current hard real-time technologies are unable to support a new class of applications that have real-time constraints but with dynamic request arrivals and unpredictable resource r...