Sciweavers

1415 search results - page 215 / 283
» Verified systems by composition from verified components
Sort
View
GECCO
2003
Springer
14 years 1 months ago
On Role of Implicit Interaction and Explicit Communications in Emergence of Social Behavior in Continuous Predators-Prey Pursuit
We present the result of our work on use of genetic programming for evolving social behavior of agents situated in inherently cooperative environment. We use predators-prey pursuit...
Ivan Tanev, Katsunori Shimohara
ICRA
2002
IEEE
147views Robotics» more  ICRA 2002»
14 years 22 days ago
Exploiting Physical Dynamics for Concurrent Control of a Mobile Robot
Conventionally, mobile robots are controlled through an action selection mechanism (ASM) that chooses among multiple proposed actions. This choice can be made in a variety of ways...
Brian P. Gerkey, Maja J. Mataric, Gaurav S. Sukhat...
UIST
2000
ACM
14 years 4 days ago
The AHI: an audio and haptic interface for contact interactions
We have implemented a computer interface that renders synchronized auditory and haptic stimuli with very low (0.5ms) latency. The audio and haptic interface (AHI) includes a Panto...
Derek DiFilippo, Dinesh K. Pai
ACMDIS
1997
ACM
13 years 12 months ago
HCI, Natural Science and Design: A Framework for Triangulation Across Disciplines
Human-computer interaction is multidisciplinary, drawing paradigms and techniques from both the natural sciences and the design disciplines. HCI cannot be considered a pure natura...
Wendy E. Mackay, Anne-Laure Fayard
HIPC
2007
Springer
13 years 11 months ago
Accomplishing Approximate FCFS Fairness Without Queues
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
K. Subramani, Kamesh Madduri