5210 search results - page 367 / 1042 » Exact geometric computation |
200
click to vote
CVPR
1996
IEEE
15 years 11 months ago
1996
IEEE
We propose a new method for view synthesis from real images using stereo vision. The method does not explicitly model scene geometry, and enables fast and exact generation of synt...
151
click to vote
ICIAP
1997
ACM
15 years 11 months ago
1997
ACM
A two-step parameter-free approach for non-rigid medical image registration is presented. Displacements of boundary structures are computed in the rst step and then incorporated a...
169
click to vote
FOCS
1992
IEEE
15 years 11 months ago
1992
IEEE
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
166
click to vote
FOCS
1990
IEEE
15 years 11 months ago
1990
IEEE
In [Sh92], Adi Shamir proved a complete characterization of the complexity class IP. He showed that when both randomization and interaction are allowed, the proofs that can be ver...
157
click to vote
DNA
2006
Springer
15 years 10 months ago
2006
Springer
P system is a natural computing model inspired by behavior of living cells and their membranes. We show that (semi-)uniform families of P systems with active membranes can solve i...