3856 search results - page 392 / 772 » Models for Automated Earthmoving |
183
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The re...
228
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
172
click to vote
ITS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. There have been several attempts to automate knowledge acquisition for ITSs that teach procedural tasks. The goal of our project is to automate the acquisition of domain ...
190
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Schlipf (Sch95) proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf’s result to prove that SLP solves all search problems in the class ...
269
click to vote
SIGECOM
2000
ACM
15 years 11 months ago
2000
ACM
We introduce an information bundling model that addresses two important but relatively unstudied issues in real markets for information goods: automated customization of content b...