1445 search results - page 95 / 289 » Properties of state spaces and their applications |
156
click to vote
COMPLEXITY
2007
15 years 6 months ago
2007
Since its application to systems, emergence has been explained in terms of levels of observation. This approach has led to confusion, contradiction, incoherence and at times mysti...
164
click to vote
SPIN
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...
167
click to vote
IJCAI
2001
15 years 7 months ago
2001
Many state-of-the-art heuristic planners derive their heuristic function by relaxing the planning task at hand, where the relaxation is to assume that all delete lists are empty. ...
153
click to vote
AAI
2007
15 years 6 months ago
2007
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
144
click to vote
DBSEC
2006
15 years 7 months ago
2006
The need for enterprise application integration projects leads to complex composite applications. For the sake of security and efficiency, consolidated access control policies for ...