Sciweavers

126 search results - page 11 / 26
» sara 2007
Sort
View
SARA
2007
Springer
14 years 3 months ago
Homogeneous Hierarchical Composition of Areas in Multi-robot Area Coverage
Multi-robot area coverage poses several research challenges. The challenge of coordinating multiple robots’ actions coupled with the challenge of minimizing the overlap in covera...
Sriram Raghavan, Ravindran B
SARA
2007
Springer
14 years 3 months ago
Boosting MUS Extraction
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
Santiago Macho González, Pedro Meseguer
SARA
2007
Springer
14 years 3 months ago
Approximate Model-Based Diagnosis Using Greedy Stochastic Search
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...
Alexander Feldman, Gregory M. Provan, Arjan J. C. ...
ICCS
2007
Springer
14 years 4 months ago
Historical and Conceptual Foundation of Diagrammatical Ontology
During the Renaissance there was a growing interest for the use of diagrams within conceptual studies. This paper investigates the historical and philosophical foundation of this r...
Peter Øhrstrøm, Sara L. Uckelman, He...
ICC
2007
IEEE
104views Communications» more  ICC 2007»
14 years 4 months ago
Design of Unequal Error Protection LDPC Codes for Higher Order Constellations
— We present an optimization method for unequal error protection (UEP)-LDPC codes with higher order constellations. By modifying the density evolution algorithm under the Gaussia...
Neele von Deetzen, Sara Sandberg