10051 search results - page 449 / 2011 » A Dynamic Separator Algorithm |
212
click to vote
INFOCOM
2011
IEEE
14 years 11 months ago
2011
IEEE
— We consider a peer-to-peer network where nodes can send and receive files amongst their peers. File requests are generated randomly, and each new file can correspond to a dif...
121
click to vote
ICASSP
2008
IEEE
16 years 2 months ago
2008
IEEE
A sequential Bayesian estimation algorithm for joint positioning and multipath mitigation within satellite navigation receivers is presented. The underlying process model is espec...
267
click to vote
POPL
2000
ACM
15 years 12 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
203
click to vote
ISBI
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper, we propose a novel variational framework for the reconstruction of dynamic objects from sparse and noisy tomographic data. Using an object-based scene model, we dev...
189
click to vote
ICSM
2008
IEEE
16 years 2 months ago
2008
IEEE
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...