3856 search results - page 537 / 772 » Models for Automated Earthmoving |
157
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
143
click to vote
ILP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
170
click to vote
ISMIS
2005
Springer
16 years 2 days ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
204
click to vote
LPNMR
2005
Springer
16 years 2 days ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
140
click to vote
POLICY
2005
Springer
16 years 2 days ago
2005
Springer
We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...