3856 search results - page 342 / 772 » Models for Automated Earthmoving |
173
click to vote
CSL
2004
Springer
16 years 6 days ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
178
click to vote
KI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
199
click to vote
SASN
2003
ACM
16 years 1 days ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
175
click to vote
AI
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
194
click to vote
ASP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...