Sciweavers

8025 search results - page 495 / 1605
» Combinators Introduction: An Algorithm
Sort
View
IBPRIA
2007
Springer
16 years 1 months ago
Tracking the Left Ventricle in Ultrasound Images Based on Total Variation Denoising
Abstract. Tracking the Left Ventricle (LV) in ultrasound sequences remains a challenge due to speckle noise, low SNR and lack of contrast. Therefore, it is usually difficult to obt...
Jacinto C. Nascimento, João M. Sanches, Jor...
ICIAR
2007
Springer
16 years 1 months ago
High Accuracy Optical Flow Method Based on a Theory for Warping: Implementation and Qualitative/Quantitative Evaluation
Abstract. We describe the implementation of a 2D optical flow algorithm published in the European Conference on Computer Vision (ECCV 2004) by Brox et al. [1] (best paper award) a...
Mohammad Faisal, John Barron
VMCAI
2007
Springer
16 years 1 months ago
Constraint Solving for Interpolation
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Andrey Rybalchenko, Viorica Sofronie-Stokkermans
WDAG
2007
Springer
68views Algorithms» more  WDAG 2007»
16 years 1 months ago
Push-to-Pull Peer-to-Peer Live Streaming
In contrast to peer-to-peer file sharing, live streaming based on peer-to-peer technology is still awaiting its breakthrough. This may be due to the additional challenges live str...
Thomas Locher, Remo Meier, Stefan Schmid, Roger Wa...
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
16 years 1 months ago
Optimizing sequential cycles through Shannon decomposition and retiming
—Optimizing sequential cycles is essential for many types of high-performance circuits, such as pipelines for packet processing. Retiming is a powerful technique for speeding pip...
Cristian Soviani, Olivier Tardieu, Stephen A. Edwa...