3690 search results - page 329 / 738 » Computation with classical sequents |
149
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
In a sampling problem, we are given an input x {0, 1} n , and asked to sample approximately from a probability distribution Dx over poly (n)-bit strings. In a search problem, we ...
152
click to vote
SIAMNUM
2010
15 years 11 days ago
2010
In this paper we introduce a new class of diffeomorphic smoothers based on general spline smoothing techniques and on the use of some tools that have been recently developed in th...
162
click to vote
UC
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. Dynamical structure in the brain promotes biological function. Natural scientists look for correlations between measured electrical signals and behavior or mental states....
157
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
In this paper we show how a system for performing automatic surface model acquisition from single object views can be designed. The surface acquisition process is a two step one. ...
169
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
In this paper, we present a new algorithm for the segmentation of moving objects in a video sequence acquired by a mobile camera using region-based active contours. Indeed, active...