Sciweavers

3760 search results - page 338 / 752
» Logic-Based Probabilistic Modeling
Sort
View
ICDE
2002
IEEE
149views Database» more  ICDE 2002»
16 years 7 months ago
GADT: A Probability Space ADT for Representing and Querying the Physical World
Large sensor networks are being widely deployed for measurement, detection, and monitoring applications. Many of these applications involve database systems to store and process d...
Anton Faradjian, Johannes Gehrke, Philippe Bonnet
ICPR
2006
IEEE
16 years 7 months ago
Latent Layout Analysis for Discovering Objects in Images
Latent Layout Analysis (LLA) is a novel unsupervised learning technique to discover objects in unseen images using a set of un-annotated training images. LLA defines a generative ...
David Liu, Datong Chen, Tsuhan Chen
CVPR
2010
IEEE
16 years 2 months ago
Segmentation of Building Facades Using Procedural Shape Priors
In this paper we propose a novel approach to the perceptual interpretation of building facades that combines shape grammars, supervised classification and random walks. Procedural...
Olivier Teboul, Loic Simon, Panagiotis Koutsouraki...
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
16 years 24 days ago
Symmetry reduction for stochastic hybrid systems
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
Manuela L. Bujorianu, Joost-Pieter Katoen
PRDC
2008
IEEE
16 years 21 days ago
On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
Julien Clement, Thomas Hérault, Stép...