4679 search results - page 298 / 936 » Modeling When Connections Are the Problem |
204
click to vote
IPSN
2004
Springer
16 years 24 days 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, ...
222
Voted
CVPR
2009
IEEE
17 years 2 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...
189
click to vote
ATVA
2007
Springer
16 years 1 months 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...
220
Voted
CEC
2009
IEEE
15 years 11 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...
204
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...