1056 search results - page 102 / 212 » A Probabilistic Applied Pi-Calculus |
ICPR
2010
IEEE
14 years 2 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...
SIGMOD
1998
ACM
14 years 1 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 ...
ISTCS
1997
Springer
14 years 1 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...
GRC
2008
IEEE
13 years 9 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-...
ISVC
2010
Springer
13 years 7 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 ...