3690 search results - page 131 / 738 » Computation with classical sequents |
101
Voted
CIE
2008
Springer
15 years 2 months ago
2008
Springer
Consider the problem of calculating the fractal dimension of a set X consisting of all infinite sequences S over a finite alphabet that satisfy some given condition P on the asympt...
102
click to vote
ENTCS
2007
15 years 13 days ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
116
Voted
ASPDAC
2010
ACM
14 years 10 months ago
2010
ACM
The gramian approximation methods have been proposed recently to overcome the high computing costs of classical balanced truncation based reduction methods. But those methods typi...
70
Voted
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
Estimating the parameters of a pencil of lines is addressed. A statistical model for the measurements is developed, from which the Cramer Rao lower bound is determined. An estimato...
116
click to vote
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
In this paper, we present a tracking initialization method that combines a rough extraction of moving objects and a refined segmentation of their contours. The extraction of movin...