3856 search results - page 325 / 772 » Models for Automated Earthmoving |
210
Voted
LOPSTR
2007
Springer
16 years 27 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
164
Voted
LPNMR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
173
Voted
MODELS
2007
Springer
16 years 27 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
173
click to vote
FDL
2005
IEEE
16 years 11 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
172
click to vote
DSVIS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...