8201 search results - page 186 / 1641 » Approaching Manual Intelligence |
121
click to vote
PRICAI
1998
Springer
15 years 9 months ago
1998
Springer
The WWW is a most popular service on the Internet and a huge number of WWW information sources are available. Conventionally we access WWW information sources one by one by using a...
152
click to vote
ISMIS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...
125
click to vote
HAIS
2010
Springer
15 years 9 months ago
2010
Springer
Existing organisational centred multi-agent systems regulate agents' activities. However, population/environmental changes may lead to a poor ful lment of system's goals,...
157
click to vote
AISC
2004
Springer
15 years 9 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
AAAI
2008
15 years 7 months ago
2008
One potentially cost-effective approach to harvesting solar power from space is the use of thousands of individual robots moving in formation, each with a piece of solar panel att...