1056 search results - page 102 / 212 » A Probabilistic Applied Pi-Calculus |
161
click to vote
ICPR
2010
IEEE
15 years 12 months ago
2010
IEEE
Given a sequence of observable features of a linear dynamical system (LDS), we propose the problem of finding a representation of the LDS which is sparse in terms of a given dict...
141
click to vote
SIGMOD
1998
ACM
15 years 10 months ago
1998
ACM
We present new algorithms for computing approximate quantiles of large datasets in a single pass. The approximation guarantees are explicit, and apply without regard to the value ...
245
click to vote
ISTCS
1997
Springer
15 years 10 months ago
1997
Springer
We investigate the power of quantum computers when they are required to return an answer that is guaranteed to be correct after a time that is upper-bounded by a polynomial in the...
142
click to vote
GRC
2008
IEEE
15 years 6 months ago
2008
IEEE
Research on auto-harmonizing a melody (e.g. Chinese folksong) with piano accompaniment is trying to build up a computer system which generates a 3voice music including piano left-...
174
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Multi-view range image integration aims at producing a single reasonable 3D point cloud. The point cloud is likely to be inconsistent with the measurements topologically ...