2317 search results - page 189 / 464 » Model based testing for agent systems |
150
click to vote
AVSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we aim to achieve scalability and wider scene coverage through the use of multiple cameras in an outdoor visual surveillance system. Only image-based information is...
119
Voted
SWARM
2008
SPRINGER
15 years 3 months ago
2008
SPRINGER
Designing and analyzing self-organizing systems such as robotic swarms is a challenging task even though we have complete knowledge about the robot's interior. It is difficul...
137
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
140
click to vote
AAAI
2007
15 years 6 months ago
2007
Transfer learning is the ability of an agent to apply knowledge learned in previous tasks to new problems or domains. We approach this problem by focusing on model formulation, i....
116
click to vote
AAAI
2006
15 years 5 months ago
2006
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...