3856 search results - page 462 / 772 » Models for Automated Earthmoving |
191
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
150
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
138
click to vote
TARK
2007
Springer
16 years 24 days ago
2007
Springer
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
210
click to vote
AVSS
2006
IEEE
16 years 23 days ago
2006
IEEE
Dual camera systems (omnidirectional and slaved PTZ cameras) are widely used in public area monitoring and target tracking. However, due to their low and non-uniform resolution, o...
184
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....