10568 search results - page 218 / 2114 » Computer Intelligence and Formalization |
103
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
122
click to vote
ICANN
2003
Springer
15 years 8 months ago
2003
Springer
: This paper addresses the problem of emotion recognition in faces through an intelligent neuro-fuzzy system, which is capable of analysing facial features extracted following the ...
NAACL
2007
15 years 4 months ago
2007
An intelligent thesaurus assists a writer with alternative choices of words and orders them by their suitability in the writing context. In this paper we focus on methods for auto...
111
click to vote
IWEC
2004
15 years 4 months ago
2004
With the increase of computer capabilities, many learning systems have become complex simulators with advanced interfaces close to game quality. However, many games features have n...
234
click to vote
Book
"Artificial Intelligence (AI) is a big field, and this is a big book. We have tried to explore the full breadth of the field, which encompasses logic, probability, and continu...