2004 search results - page 314 / 401 » Understanding Ontological Levels |
137
click to vote
HRI
2007
ACM
15 years 7 months ago
2007
ACM
The goal of the RUBI project is to accelerate progress in the development of social robots by addressing the problem at multiple levels, including the development of new scientifi...
118
click to vote
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...
148
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present a method for learning a human understandable, executable model of an agent's behavior using observations of its interaction with the environment. By executable we ...
145
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
136
click to vote
ECBS
2004
IEEE
15 years 7 months ago
2004
IEEE
During their usage, software systems have to be changed constantly. If such changes are implemented in an incomplete or inconsistent way a loss of architectural quality will occur...