2317 search results - page 410 / 464 » Model based testing for agent systems |
103
click to vote
AIMSA
2008
Springer
15 years 4 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— While underactuated robotic systems are capable of energy efficient and rapid dynamic behavior, we still do not fully understand how body dynamics can be actively used for ada...
USENIX
2001
14 years 11 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
109
click to vote
AI
2004
Springer
14 years 9 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
The presence of encyclopedic Web sources, such as Wikipedia, the Internet Movie Database (IMDB), World Factbook, etc. calls for new querying techniques that are simple and yet mor...