Sciweavers

1341 search results - page 152 / 269
» Probabilistic Abstraction Hierarchies
Sort
View
CDC
2008
IEEE
206views Control Systems» more  CDC 2008»
15 years 7 months ago
Coverage control for mobile networks with limited-range anisotropic sensors
Abstract— In this paper the coverage control for mobile sensor networks is studied. The novelty is to consider an anisotropic sensor model where the performance of the sensor dep...
Azwirman Gusrialdi, Takeshi Hatanaka, Masayuki Fuj...
95
Voted
SEMWEB
2007
Springer
15 years 6 months ago
A Pattern-based Framework for Representation of Uncertainty in Ontologies
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...
Miroslav Vacura, Vojtech Svátek, Pavel Smrz...
99
Voted
TGC
2007
Springer
15 years 6 months ago
Formal Approaches to Information-Hiding (Tutorial)
Abstract. In this survey paper we consider the class of protocols for informationhiding which use randomization to obfuscate the link between the observables and the information to...
Romain Beauxis, Konstantinos Chatzikokolakis, Catu...
FDL
2006
IEEE
15 years 6 months ago
Randomized Simulation of Hybrid Systems For Circuit Validation
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
Thao Dang, Tarik Nahhal
94
Voted
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
15 years 6 months ago
Constraint-Based Motion Planning of Deformable Robots
Abstract— We present a novel algorithm for motion planning of a deformable robot in a static environment. Given the initial and final configuration of the robot, our algorithm ...
Russell Gayle, Ming C. Lin, Dinesh Manocha