2520 search results - page 304 / 504 » Model-checking behavioral programs |
123
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a study in the evolution of distributed cooperative behavior, specifically leader election, through digital evolution and group selection. In digital evoluti...
126
Voted
VR
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a real-time database modeling complex networks of intersecting roads and walkways in urban virtual environments. The database represents information about the ...
102
Voted
UM
2010
Springer
15 years 7 months ago
2010
Springer
Recently, detectors of gaming the system have been developed for several intelligent tutoring systems where the problem-solving process is reified, and gaming consists of systemati...
111
Voted
WOA
2000
15 years 3 months ago
2000
This paper briefly outlines the main characteristics of an ongoing research aimed at developing a support library for implementing systems based on autonomous agents. The library ...
117
Voted
KBS
2007
15 years 2 months ago
2007
By applying web mining tools, significant patterns about the visitor behavior can be extracted from data originated in web sites. Supported by a domain expert, the patterns are v...