3856 search results - page 467 / 772 » Models for Automated Earthmoving |
204
click to vote
LICS
2003
IEEE
16 years 20 days ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
154
click to vote
FSR
2003
Springer
16 years 19 days ago
2003
Springer
For several years, our research group has been developing methods for automated modeling of 3D environments. In September, 2002, we were given the opportunity to demonstrate our m...
218
click to vote
ICLP
2003
Springer
16 years 18 days ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
222
click to vote
ISSS
2002
IEEE
16 years 10 days ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speci...
200
click to vote
DALT
2009
Springer
16 years 1 days ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...