3856 search results - page 343 / 772 » Models for Automated Earthmoving |
230
click to vote
ICLP
2003
Springer
16 years 7 hour ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
148
click to vote
WMCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
Mobile computing offers the possibility of dramatically expanding the versatility of computers, by bringing them off the desktop and into new and unique contexts. However, this ne...
172
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Publish/subscribe (pub/sub) middleware platforms for eventbased distributed systems often provide many configurable policies that affect end-to-end quality of service (QoS). Altho...
171
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
209
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...