2520 search results - page 147 / 504 » Model-checking behavioral programs |
142
click to vote
VRML
2000
ACM
15 years 9 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
132
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
126
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Kernel rootkits can provide user level-malware programs with the additional capabilities of hiding their malicious activities by altering the legitimate kernel behavior of an oper...
164
Voted
ROBOCUP
1998
Springer
15 years 9 months ago
1998
Springer
Co-evolution has been receiving increased attention as a method for multi agent simultaneous learning. This paper discusses how multiple robots can emerge cooperative behaviors thr...
156
click to vote
ACMSE
2007
ACM
15 years 9 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...