4679 search results - page 298 / 936 » Modeling When Connections Are the Problem |
181
click to vote
IPSN
2004
Springer
16 years 1 hour ago
2004
Springer
We describe a novel method for node localization in a sensor network where there are a fraction of reference nodes with known locations. For application-specific sensor networks, ...
195
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Image matting is the task of estimating a fore- and background
layer from a single image. To solve this ill posed
problem, an accurate modeling of the scene’s appearance
is ne...
154
click to vote
ATVA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
204
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
In evolutionary robotics, controllers are often designed in simulation, then transferred onto the real system. Nevertheless, when no accurate model is available, controller transfe...
183
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...