Sciweavers

4894 search results - page 719 / 979
» Dynamic Abstraction Planning
Sort
View
RIA
2006
60views more  RIA 2006»
15 years 6 months ago
GACS : une approche ascendante pour la coordination spatiale
ABSTRACT. The design of spatial coordination mechanisms for dynamical and continuous multiagent setting is a difficult challenge. While the top-down decomposition approach is ineff...
Fabien Flacher, Olivier Sigaud
ADT
2005
15 years 6 months ago
Assembling components with behavioural contracts
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
Cyril Carrez, Alessandro Fantechi, Elie Najm
ALGORITHMICA
2005
76views more  ALGORITHMICA 2005»
15 years 6 months ago
Characterizing History Independent Data Structures
We consider history independent data structures as proposed for study by Naor and Teague [3]. In a history independent data structure, nothing can be learned from the memory repre...
Jason D. Hartline, Edwin S. Hong, Alexander E. Moh...
TASE
2008
IEEE
15 years 6 months ago
Optimal Vibratory Stick-Slip Transport
Abstract--We describe a vibratory part transport mechanism that utilizes both static and dynamic friction to linearly transport parts in a horizontal direction. We derive a horizon...
Paul Umbanhowar, Kevin M. Lynch
ISCI
2007
117views more  ISCI 2007»
15 years 6 months ago
Cognitive high level information fusion
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
Leonid I. Perlovsky