8828 search results - page 1255 / 1766 » Formal methods in practice |
284
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
We consider the problem of maintaining frequency counts for items occurring frequently in the union of multiple distributed data streams. Na?ive methods of combining approximate f...
172
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
Obtaining detailed, patient-specific blood flow information would be very useful in detecting and monitoring cardio-vascular diseases. Current approaches rely on computational flui...
167
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
We describe a new method for Structure From Motion from three affine views. The central idea of the method is to explore the intrinsic three-view properties instead of previous tw...
185
click to vote
ICIP
2009
IEEE
16 years 8 months ago
2009
IEEE
Compressive Sensing (CS) is a new paradigm in signal acquisition and compression. In compressive sensing, a compressible signal is acquired using much less measurements than the o...
188
click to vote
MICCAI
2003
Springer
16 years 8 months ago
2003
Springer
De-noising of SPECT and PET images is a challenging task due to the inherent low signal-to-noise ratio of acquired data. Wavelet based multiscale denoising methods typically apply ...