1458 search results - page 135 / 292 » Monads for incremental computing |
164
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
149
Voted
EACL
2006
ACL Anthology
15 years 4 months ago
2006
ACL Anthology
We place synchronous tree-adjoining grammars and tree transducers in the single overarching framework of bimorphisms, continuing the unification of synchronous grammars and tree t...
114
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...
127
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
Many computer vision problems rely on computing histogram-based objective functions with a sliding window. A main limiting factor is the high computational cost. Existing computat...
155
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
Object tracking is viewed as a two-class 'one-versusrest' classification problem, in which the sample distribution of the target is approximately Gaussian while the back...