1341 search results - page 176 / 269 » Probabilistic Abstraction Hierarchies |
183
Voted
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
189
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
178
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Self-assembly is a distributed, asynchronous mechanism that is pervasive across natural systems where hierarchical complex structures are built from the bottom-up. The ...
152
Voted
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The Rapidly-exploring Random Tree (RRT) algorithm has found widespread use in the field of robot motion planning because it provides a single-shot, probabilistically c...
167
click to vote
ICANN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a novel approach to structure learning for graphical models. By using nonparametric estimates to model clique densities in decomposable models, both discrete a...