Sciweavers

5109 search results - page 811 / 1022
» On Learning Limiting Programs
Sort
View
SIGMOD
2012
ACM
223views Database» more  SIGMOD 2012»
13 years 7 months ago
MaskIt: privately releasing user context streams for personalized mobile applications
The rise of smartphones equipped with various sensors has enabled personalization of various applications based on user contexts extracted from sensor readings. At the same time i...
Michaela Götz, Suman Nath, Johannes Gehrke
ICDE
2012
IEEE
233views Database» more  ICDE 2012»
13 years 7 months ago
Accuracy-Aware Uncertain Stream Databases
Abstract— Previous work has introduced probability distributions as first-class components in uncertain stream database systems. A lacking element is the fact of how accurate the...
Tingjian Ge, Fujun Liu
209
Voted
CVPR
2012
IEEE
13 years 7 months ago
Tracking many vehicles in wide area aerial surveillance
Wide area aerial surveillance data has recently proliferated and increased the demand for multi-object tracking algorithms. However, the limited appearance information on every ta...
Jan Prokaj, Xuemei Zhao, Gérard G. Medioni
173
Voted
AAAI
2012
13 years 7 months ago
Advances in Lifted Importance Sampling
We consider lifted importance sampling (LIS), a previously proposed approximate inference algorithm for statistical relational learning (SRL) models. LIS achieves substantial vari...
Vibhav Gogate, Abhay Kumar Jha, Deepak Venugopal
SIGSOFT
2008
ACM
16 years 5 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su