Sciweavers

4229 search results - page 166 / 846
» Modeling Human Intelligence as A Slow Intelligence System
Sort
View
160
Voted
WOA
2010
15 years 2 months ago
Programming Wireless Body Sensor Network Applications through Agents
Wireless Sensor Networks (WSNs) are currently emerging as one of the most disruptive technologies enabling and supporting next generation ubiquitous and pervasive computing scenari...
Giancarlo Fortino, Stefano Galzarano
AIED
2007
Springer
15 years 11 months ago
Topic Initiative in a Simulated Peer Dialogue Agent
One goal of our project is to create a dialogue agent that can behave as a student peer and collaborate with a human student to explain or diagnose data structures programs. A huma...
Pamela W. Jordan
ATAL
2006
Springer
15 years 8 months ago
The complexity of model checking concurrent programs against CTLK specifications
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
Alessio Lomuscio, Franco Raimondi
ICTAI
2003
IEEE
15 years 10 months ago
Ontology-Based Medical Image Annotation with Description Logics
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nige...
AAAI
2004
15 years 6 months ago
Low-Knowledge Algorithm Control
This paper addresses the question of allocating computational resources among a set of algorithms in order to achieve the best performance on a scheduling problem instance. Our pr...
Tom Carchrae, J. Christopher Beck