5423 search results - page 784 / 1085 » Denial-of-service in automation systems |
174
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
187
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
168
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we present a method for supplementing incomplete cases with information from other cases within a case base. The acquisition of complete and correct cases i...
208
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
155
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe our early experience building and optimizing GOOG-411, a fully automated, voice-enabled, business finder. We show how taking an iterative approach to system developme...