270 search results - page 22 / 54 » Exploiting Problem Structure for Solution Counting |
CP
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
Sensor localization typically exploits distance measurements to infer sensor positions with respect to known anchor nodes. Missing or unreliable measurements for specific nodes c...
86
Voted
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
148
click to vote
PAMI
2011
14 years 4 months ago
2011
Optimization is a powerful paradigm for expressing and solving problems in a wide range of areas, and has been successfully applied to many vision problems. Discrete optimization ...
107
click to vote
ICCD
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper, we present a hierarchical evolutionary approach to hardware/software partitioning for real-time embedded systems. In contrast to most of previous approaches, we app...