5216 search results - page 414 / 1044 » Planning as Model Checking |
138
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
A multi-agent model of social and environmental complexity of deforestation was developed for the Caparo Forest Reserve, Venezuela. It includes three types of agents: settlers, go...
194
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
188
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Interleaved planning and scheduling employs the idea of extending partial plans by regularly heeding to the scheduling constraints during search. One of the techniques us...
154
click to vote
PARA
2004
Springer
16 years 2 days ago
2004
Springer
Radio-frequency (RF) MEMS resonators, integrated into CMOS chips, are of great interest to engineers planning the next generation of communication systems. Fast simulations are nec...
169
click to vote
CDVE
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a new construction management cooperated with clients using a parametric information design method for road construction. This management has been found to be e...