1622 search results - page 215 / 325 » A Collection of Definitions of Intelligence |
157
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
121
Voted
IVA
2007
Springer
15 years 11 months ago
2007
Springer
We have developed software bots that inhabit the popular online social environment SecondLife (SL). Our bots can wander around, collect data, engage in simple interactions, and car...
153
click to vote
CIMCA
2005
IEEE
15 years 10 months ago
2005
IEEE
We define the use of Bayesian Networks for fault detection in the perception mechanism of context-aware ubiquitous systems. This paper1 describes the complete working of such a f...
130
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We are concerned with the use of Mobile Agents for information retrieval. A multi-agent system is considered; a number of agents are involved in a collective effort to retrieve di...
153
click to vote
CSCLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We adopt Benders’ decomposition algorithm to solve scenariobased Stochastic Constraint Programs (SCPs) with linear recourse. Rather than attempting to solve SCPs via a ...