Sciweavers

471 search results - page 71 / 95
» Automatic Mutual Exclusion
Sort
View
ICDE
2012
IEEE
277views Database» more  ICDE 2012»
11 years 9 months ago
Aggregate Query Answering on Possibilistic Data with Cardinality Constraints
— Uncertainties in data arise for a number of reasons: when the data set is incomplete, contains conflicting information or has been deliberately perturbed or coarsened to remov...
Graham Cormode, Divesh Srivastava, Entong Shen, Ti...
POPL
2005
ACM
14 years 7 months ago
Automated soundness proofs for dataflow analyses and transformations via local rules
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
Sorin Lerner, Todd D. Millstein, Erika Rice, Craig...
NIPS
2007
13 years 8 months ago
Discovering Weakly-Interacting Factors in a Complex Stochastic Process
Dynamic Bayesian networks are structured representations of stochastic processes. Despite their structure, exact inference in DBNs is generally intractable. One approach to approx...
Charlie Frogner, Avi Pfeffer
CVPR
2007
IEEE
14 years 9 months ago
On-the-fly Object Modeling while Tracking
To implement a persistent tracker, we build a set of viewdependent object appearance models adaptively and automatically while tracking an object under different viewing angles. T...
Zhaozheng Yin, Robert T. Collins
ICPR
2006
IEEE
14 years 8 months ago
Boosted Markov Chain Monte Carlo Data Association for Multiple Target Detection and Tracking
In this paper, we present a probabilistic framework for automatic detection and tracking of objects. We address the data association problem by formulating the visual tracking as ...
Bo Wu, Gérard G. Medioni, Isaac Cohen, Qian...