3856 search results - page 452 / 772 » Models for Automated Earthmoving |
168
click to vote
COLING
2002
15 years 6 months ago
2002
We present an architecture for spoken dialogue systems where first-order inference (both theorem proving and model building) plays a crucial role in interpreting utterances of dia...
217
click to vote
CACM
1999
15 years 6 months ago
1999
Software agents have become very popular in the last six or so years. They have been used successfully to filter information, match people with similar interests and automate repe...
179
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
157
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Click fraud is jeopardizing the industry of Internet advertising. Internet advertising is crucial for the thriving of the entire Internet, since it allows producers to advertise t...
224
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
The deployment and use of Anomaly Detection (AD) sensors often requires the intervention of a human expert to manually calibrate and optimize their performance. Depending on the si...