3808 search results - page 289 / 762 » Artificial Intelligence: A Modern Approach |
140
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Embodied agents can be a powerful interface for natural human-computer interaction. While graphical realism is steadily increasing, the complexity of believable behavior is still h...
168
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a new EEG-based wireless brain computer interface (BCI) with which subjects can “mind-type” text on a computer screen. The application is based on detectin...
127
click to vote
SGAI
2009
Springer
16 years 1 months ago
2009
Springer
The decision which hardware platform to use for a certain application is an important problem in computer architecture. This paper reports on a study where a data-mining approach i...
186
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We define a notion of formula schema handling arithmetic parameters, indexed propositional variables (e.g. Pi) and iterated conjunctions/disjunctions (e.g. Vn i=1 Pi, where n is a...
279
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...