Sciweavers

12742 search results - page 25 / 2549
» On canonical number systems
Sort
View
IROS
2006
IEEE
81views Robotics» more  IROS 2006»
15 years 3 months ago
On foraging strategies for large-scale multi-robot systems
Abstract— Physical interference limits the utility of largescale multi-robot systems. We present an empirical study of the effects of such interference in systems with hundreds o...
Dylan A. Shell, Maja J. Mataric
SOFSEM
2009
Springer
15 years 6 months ago
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
Min Wan, Gianfranco Ciardo
TCAD
2010
94views more  TCAD 2010»
14 years 4 months ago
An Efficient Projector-Based Passivity Test for Descriptor Systems
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
Zheng Zhang, Ngai Wong
DEXAW
1999
IEEE
146views Database» more  DEXAW 1999»
15 years 1 months ago
SIM - A System for Semi-Automatic Indexing of Multilingual Documents
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...
Ulrich Schiel, Ianna M. S. F. de Sousa, Edberto Fe...
ICCV
1995
IEEE
15 years 1 months ago
A Multi-Body Factorization Method for Motion Analysis
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single m...
João Paulo Costeira, Takeo Kanade