4035 search results - page 305 / 807 » Useless Actions Are Useful |
295
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Most recommendation methods are `hard-wired' into the system and they support only fixed recommendations. The purpose of this demo is to show the expressivity of flexible reco...
168
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
197
click to vote
FGR
2006
IEEE
16 years 23 days ago
2006
IEEE
A realtime system for shrug detection is discussed in this paper. The system is automatically initialized by a face detector based on Ada-boost[14]. After frontal face is localize...
186
click to vote
CAEPIA
2005
Springer
16 years 7 days ago
2005
Springer
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic effects. While a classical plan must a...
211
click to vote
KR
2004
Springer
16 years 1 days ago
2004
Springer
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...