2520 search results - page 151 / 504 » Model-checking behavioral programs |
147
click to vote
AAAI
2000
15 years 6 months ago
2000
As applications for artificially intelligent agents increase in complexity we can no longer rely on clever heuristics and hand-tuned behaviors to develop their programming. Even t...
152
click to vote
CVGIP
2006
15 years 5 months ago
2006
Creating controllable, responsive avatars is an important problem in computer games and virtual environments. Recently, large collections of motion capture data have been exploite...
130
click to vote
KI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
167
click to vote
IDEAL
2010
Springer
15 years 3 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...
147
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...