Sciweavers

113 search results - page 3 / 23
» On Acting Together
Sort
View
ATAL
2006
Springer
13 years 9 months ago
Synergistic integration of agent technologies for military simulation
To perform large-scale coordination in real-world environments requires that many individually complex technologies come together to form integrated solutions. In this paper, we p...
Sean Owens, Paul Scerri, Robin Glinton, Bin Yu, Ka...
CHI
2005
ACM
14 years 5 months ago
Life on the edge: supporting collaboration in location-based experiences
We study a collaborative location-based game in which groups of `lions' hunt together on a virtual savannah that is overlaid on an open playing field. The game implements a s...
Steve Benford, Duncan Rowland, Martin Flintham, Ad...
DATE
2006
IEEE
86views Hardware» more  DATE 2006»
13 years 11 months ago
Synthesis of system verilog assertions
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P....
ECAL
2005
Springer
13 years 10 months ago
On the Unit of Selection in Sexual Populations
Evolution by natural selection is a process of variation and selection acting on replicating units. These units are often assumed to be individuals, but in a sexual population, the...
Richard A. Watson
KI
2010
Springer
13 years 3 months ago
Task Planning for an Autonomous Service Robot
Abstract. In the DESIRE project an autonomous robot capable of performing service tasks in a typical kitchen environment has been developed. The overall system consists of various ...
Thomas Keller, Patrick Eyerich, Bernhard Nebel