Sciweavers

3116 search results - page 266 / 624
» Positively dependent types
Sort
View
179
Voted
ESOA
2006
15 years 10 months ago
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents
The individual agents that interact in a multi-agent system typically exist along a continuum ranging from heavyweight cognitive agents (often of the "BDI" type) to light...
H. Van Dyke Parunak, Paul Nielsen, Sven Brueckner,...
GECCO
2006
Springer
123views Optimization» more  GECCO 2006»
15 years 10 months ago
Reconsidering the progress rate theory for evolution strategies in finite dimensions
This paper investigates the limits of the predictions based on the classical progress rate theory for Evolution Strategies. We explain on the sphere function why positive progress...
Anne Auger, Nikolaus Hansen
IDMS
2000
Springer
123views Multimedia» more  IDMS 2000»
15 years 10 months ago
How to Keep a Dead Man from Shooting
The state-of-the-art approach to realize consistency in distributed virtual environments (e.g., action games, multi-user virtual reality, and battlefield simulations) is dead recko...
Martin Mauve
CHI
1995
ACM
15 years 10 months ago
Implicit Structures for Pen-Based Systems within a Freeform Interaction Paradigm
This paper presents a scheme for extending an informal, pen-based whiteboard system (Tivoli on the Xerox LiveBoard) to provide a structured editing capability without violating it...
Thomas P. Moran, Patrick Chiu, William van Melle, ...
IWPC
1997
IEEE
15 years 10 months ago
Dynamic Program Slicing in Understanding of Program Execution
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of an original program with respect to a variable(s) of...
Bogdan Korel, Juergen Rilling