738 search results - page 71 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
The necessary and sufficient conditions for being able to estimate scene structure, motion and camera calibration from a sequence of images are very rarely satisfied in practice. ...
SKG
2005
IEEE
15 years 3 months ago
2005
IEEE
Most existing Peer-to-peer (P2P) systems support only title-based searches, which can not satisfy the content searches. In this paper, we proposed a semantic correlativity model wh...
BROADNETS
2004
IEEE
15 years 1 months ago
2004
IEEE
Display of continuous media using self-organizing ad hoc networks of wireless communication systems will potentially be used in a variety of applications. Example deployments migh...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— We present an algorithm for collision-free navigation of multiple flying robots in three-dimensional workspace. Our approach extends the model of a simple car to a sim...
ICIP
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper describes an optimization framework for reconstructing nonnegative image intensities from linear projections contaminated with Poisson noise. Such Poisson inverse probl...