4460 search results - page 492 / 892 » Formal methods for interactive systems |
171
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
The Restaurant Game demonstrates an end-to-end system that captures and generates social behavior for virtual agents. Over 15,000 people have played The Restaurant Game, and we ha...
184
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: One of the most challenging aspects of protein-protein docking is the inclusion of flexibility into the docking procedure. We developed a postfilter where the grid-rep...
181
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
In this paper a novel, Gibbs sampler-based algorithm is proposed for coordination of autonomous swarms. The swarm is modeled as a Markov random field (MRF) on a graph with a time-...
135
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
183
click to vote
FLAIRS
2004
15 years 8 months ago
2004
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...