1313 search results - page 142 / 263 » The Inference Based on Molecular Computing |
ICPR
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper, we present a new approach to camera pose estimation from single shot images in known environment. Such a method comprises two stages, a learning step and an inferen...
CVPR
2008
IEEE
15 years 5 months ago
2008
IEEE
Second-order priors on the smoothness of 3D surfaces are a better model of typical scenes than first-order priors. However, stereo reconstruction using global inference algorithm...
PACT
2009
Springer
15 years 3 months ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
WCRE
2000
IEEE
15 years 3 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
107
click to vote
CADE
1990
Springer
15 years 3 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...