4463 search results - page 443 / 893 » computing 2000 |
125
click to vote
BMVC
2000
15 years 8 months ago
2000
We consider the problem of representing sets of 3D points in the context of 3D reconstruction from point matches. We present a new representation for sets of 3D points, which is g...
156
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
Intravascular ultrasound images represent a unique tool to analyze the morphology of arteries and vessels (plaques, etc). The poor quality of these images makes traditional segmen...
179
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
Speech can be represented as a time/frequency distribution of energy using a multi-band filter bank. A Markov random field model, which takes into account the possible time asynch...
208
click to vote
CA
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...
185
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...