9405 search results - page 417 / 1881 » Computing a Model of Set Theory |
205
click to vote
VVS
1998
IEEE
15 years 11 months ago
1998
IEEE
A distance volume is a volume dataset where the value stored at each voxel is the shortest distance to the surface of the object being represented by the volume. Distance volumes ...
166
click to vote
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
275
click to vote
PODS
2010
ACM
15 years 12 months ago
2010
ACM
Cardinality estimation is the problem of estimating the number of tuples returned by a query; it is a fundamentally important task in data management, used in query optimization, ...
185
click to vote
UAI
2001
15 years 8 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
214
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a novel framework based on hidden Markov models (HMMs) for matching feature point sets, which capture the shapes of object contours of interest. Point matching algorith...