6020 search results - page 339 / 1204 » A New Approach to Model Counting |
177
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
This paper studies mathematical models of biopolymer supramolecular aggregates that are formed by the self-assembly of single monomers. We develop a new multiscale numerical appro...
202
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—We consider the problem of inferring link loss rates using passive measurements. Prior inference approaches are mainly built on the time correlation nature of packet losses. How...
152
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
190
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
A new time-sequential approach for motion layer extraction is presented. We assume that the scene can be described by a set of layers associated to affine motion models. In one o...
182
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— A novel approach is presented which aims at building autonomously visual models of unknown objects, using a humanoid robot. Although good methods have been proposed for the spe...