10568 search results - page 644 / 2114 » Computer Intelligence and Formalization |
160
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...
203
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
With the growing popularity of video sharing web sites and the increasing use of consumer-level video capture devices, new algorithms are needed for intelligent searching and inde...
172
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
178
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Being able to realistically simulate humans in emergency response activities is a key challenge for advancing the field of information technology for emergency response. Building ...
312
click to vote
AISB
2008
Springer
15 years 9 months ago
2008
Springer
This position paper argues the case for the application of constructivist theories to Artificial Intelligence, with particular emphasis on Piaget's theory. The idea of buildin...