3856 search results - page 541 / 772 » Models for Automated Earthmoving |
182
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
176
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
219
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
169
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
151
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...