5244 search results - page 623 / 1049 » Structural Complexity of AvgBPP |
231
click to vote
CICLING
2012
Springer
14 years 2 months ago
2012
Springer
The positional rigidity of graphemes (as well as words considered as single units) in written sequences has been analyzed in this paper using complex network methodology. In partic...
156
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
287
click to vote
CVPR
2012
IEEE
14 years 27 days ago
2012
IEEE
We present a new algorithm to jointly track multiple objects in multi-view images. While this has been typically addressed separately in the past, we tackle the problem as a single...
211
click to vote
TOG
2012
13 years 9 months ago
2012
Buoyant turbulent smoke plumes with a sharp smoke-air interface, such as volcanic plumes, are notoriously hard to simulate. The surface clearly shows small-scale turbulent structu...
193
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
We consider the sparse Fourier transform problem: given a complex vector x of length n, and a parameter k, estimate the k largest (in magnitude) coefficients of the Fourier transf...