3233 search results - page 155 / 647 » Validation Method for Intelligent Systems |
133
Voted
TSMC
2010
14 years 10 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
115
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
The Restaurant Game demonstrates an end-to-end system that captures and generates social behavior for virtual agents. Over 15,000 people have played The Restaurant Game, and we ha...
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Finding the right agents in a large and dynamic network to provide the needed resources in a timely fashion, is a long standing problem. This paper presents a method for informati...
91
Voted
AAAI
1990
15 years 4 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
118
click to vote
SWAP
2008
15 years 4 months ago
2008
This paper proposes a Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption of a standard frame...