900 search results - page 43 / 180 » On Polynomial Time Computation over Unordered Structures |
162
Voted
ICDT
2012
ACM
13 years 5 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
129
click to vote
TKDE
2008
15 years 3 months ago
2008
We propose a novel approach based on predictive quantization (PQ) for online summarization of multiple time-varying data streams. A synopsis over a sliding window of most recent en...
116
Voted
ACCV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose an online learning algorithm to tackle the problem of learning under limited computational resources in a teacher-student scenario, over multiple visual cues. ...
101
click to vote
FOSSACS
2003
Springer
15 years 8 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
107
Voted
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
Segmentation of pulmonary nodules in chest radiographs is a difficult task due to heavy noise and superposition of ribs, vessels, and other anatomical structures in lung field. In...