Sciweavers

1552 search results - page 146 / 311
» A Polymorphic Hardware Platform
Sort
View
ATAL
2005
Springer
15 years 11 months ago
Performance of digital pheromones for swarming vehicle control
The use of digital pheromones for controlling and coordinating swarms of unmanned vehicles is studied under various conditions to determine their effectiveness in multiple militar...
John A. Sauter, Robert S. Matthews, H. Van Dyke Pa...
COORDINATION
2004
Springer
15 years 11 months ago
A Component-Based Parallel Constraint Solver
As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...
Peter Zoeteweij, Farhad Arbab
SAT
2004
Springer
109views Hardware» more  SAT 2004»
15 years 11 months ago
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
Alessandro Armando, Claudio Castellini, Enrico Giu...
EH
2003
IEEE
84views Hardware» more  EH 2003»
15 years 11 months ago
Evolved Reversible Cascades Realized on the CAM-Brain Machine
This paper presents a new approach to reversible cascade evolution based on a 3D cellular automaton. As a research platform we used the ATR’s CAMBrain Machine (CBM). Reversible ...
Andrzej Buller, Marek A. Perkowski
EUSAI
2003
Springer
15 years 11 months ago
Multi-sensor Activity Context Detection for Wearable Computing
For wearable computing applications, human activity is a central part of the user’s context. In order to avoid user annoyance it should be acquired automatically using body-worn ...
Nicky Kern, Bernt Schiele, Albrecht Schmidt