Sciweavers

3135 search results - page 380 / 627
» Localization Algorithms: Performance Evaluation and Reliabil...
Sort
View
126
Voted
ATAL
2008
Springer
15 years 6 months ago
Multi-robot Markov random fields
We propose Markov random fields (MRFs) as a probabilistic mathematical model for unifying approaches to multi-robot coordination or, more specifically, distributed action selectio...
Jesse Butterfield, Odest Chadwicke Jenkins, Brian ...
164
Voted
SIGMOD
2011
ACM
222views Database» more  SIGMOD 2011»
14 years 7 months ago
Data generation using declarative constraints
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
Arvind Arasu, Raghav Kaushik, Jian Li
154
Voted
CIA
2007
Springer
15 years 10 months ago
A Probabilistic Framework for Decentralized Management of Trust and Quality
In this paper, we propose a probabilistic framework targeting three important issues in the computation of quality and trust in decentralized systems. Specifically, our approach a...
Le-Hung Vu, Karl Aberer
SPIN
2009
Springer
15 years 11 months ago
Subsumer-First: Steering Symbolic Reachability Analysis
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
Andrey Rybalchenko, Rishabh Singh
ICCV
2007
IEEE
16 years 6 months ago
An Interactive Approach to Pose-Assisted and Appearance-based Segmentation of Humans
An interactive human segmentation approach is described. Given regions of interest provided by users, the approach iteratively estimates segmentation via a generalized EM algorith...
Zhe Lin, Larry S. Davis, David S. Doermann, Daniel...