971 search results - page 117 / 195 » Approximate Satisfiability and Equivalence |
102
click to vote
IJRR
2006
15 years 23 days ago
2006
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...
108
Voted
MP
2006
15 years 22 days ago
2006
There are many applications related to singly linearly constrained quadratic programs subjected to upper and lower bounds. In this paper, a new algorithm based on secant approximat...
100
click to vote
COMPUTING
2004
15 years 19 days ago
2004
In this paper a method for multiresolution deformation of planar piecewise linear curves that preserves the curve length is presented. In a wavelet based multiresolution editing f...
102
Voted
ICIP
2010
IEEE
14 years 10 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...
108
click to vote
CDC
2009
IEEE
14 years 10 months ago
2009
IEEE
In many applicative scenarios it is important to derive information about the topology and the internal connections of more dynamical systems interacting together. Examples can be ...