Sciweavers

697 search results - page 21 / 140
» Decomposition Structures for Event-B
Sort
View
CDC
2010
IEEE
128views Control Systems» more  CDC 2010»
14 years 6 months ago
Decentralization of particle filters using arbitrary state decomposition
In this paper, a new particle filter (PF) which we refer to as the decentralized PF (DPF) is proposed. By first decomposing the state into two parts, the DPF splits the filtering p...
Tianshi Chen, Thomas B. Schön, Henrik Ohlsson...
ATAL
1998
Springer
15 years 4 months ago
Task Decomposition and Dynamic Role Assignment for Real-Time Strategic Teamwork
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...
Peter Stone, Manuela M. Veloso
ICSM
1999
IEEE
15 years 4 months ago
Bunch: A Clustering Tool for the Recovery and Maintenance of Software System Structures
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
Spiros Mancoridis, Brian S. Mitchell, Yih-Farn Che...
CVPR
2003
IEEE
16 years 1 months ago
Simultaneous Structure and Texture Image Inpainting
An algorithm for the simultaneous filling-in of texture and structure in regions of missing image information is presented in this paper. The basic idea is to first decompose the ...
Guillermo Sapiro, Luminita A. Vese, Marcelo Bertal...
IJRR
2002
66views more  IJRR 2002»
14 years 11 months ago
Morse Decompositions for Coverage Tasks
Exact cellular decompositions represent a robot's free space by dividing it into regions with simple structure such that the sum of the regions fills the free space. These de...
Ercan U. Acar, Howie Choset, Alfred A. Rizzi, Pras...