2520 search results - page 471 / 504 » Model-checking behavioral programs |
128
click to vote
VRCAI
2004
ACM
15 years 7 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
153
click to vote
ROBOCUP
2004
Springer
15 years 7 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
155
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
106
click to vote
NSPW
2003
ACM
15 years 7 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
109
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Research in multi-agent systems has led to the development of many multi-agent control architectures. However, we believe that there is currently no known optimal structure for mu...