Sciweavers

3758 search results - page 538 / 752
» A Complete Subsumption Algorithm
Sort
View
ISBI
2002
IEEE
16 years 3 months ago
A fully automatic calibration procedure for freehand 3D ultrasound
This paper describes a novel method for calibration of freehand three-dimensional (3D) ultrasound. A position sensor is mounted on a conventional ultrasound probe, thus the set of...
François Rousseau, Pierre Hellier, Christia...
ISBI
2008
IEEE
16 years 3 months ago
Real-time segmentation of 4D ultrasound by Active Geometric Functions
Four-dimensional ultrasound based on matrix phased array transducers can capture the complex 4D cardiac motion in a complete and real-time fashion. However, the large amount of in...
Qi Duan, Elsa D. Angelini, Shunichi Homma, Andrew ...
127
Voted
WWW
2008
ACM
16 years 3 months ago
Mining the search trails of surfing crowds: identifying relevant websites from user activity
The paper proposes identifying relevant information sources from the history of combined searching and browsing behavior of many Web users. While it has been previously shown that...
Mikhail Bilenko, Ryen W. White
WWW
2007
ACM
16 years 3 months ago
Efficient Update of Indexes for Dynamically Changing Web Documents
Recent work on incremental crawling has enabled the indexed document collection of a search engine to be more synchronized with the changing World Wide Web. However, this synchron...
Lipyeow Lim, Min Wang, Sriram Padmanabhan, Jeffrey...
106
Voted
CAV
2009
Springer
135views Hardware» more  CAV 2009»
16 years 2 months ago
Sliding Window Abstraction for Infinite Markov Chains
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
Thomas A. Henzinger, Maria Mateescu, Verena Wolf