3047 search results - page 428 / 610 » On the Meaning of Logical Completeness |
MICCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Accurate registration of cortical structures plays a fundamental role in statistical analysis of brain images across population. This paper presents a novel framework for...
ICML
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we introduce the first algorithms for efficiently learning a simulation policy for Monte-Carlo search. Our main idea is to optimise the balance of a simulation polic...
ISBI
2004
IEEE
15 years 11 months ago
2004
IEEE
Phase?correlated CT is the measurement of an organ that exhibits quasi?periodic motion. Dedicated image reconstruction algorithms utilize only those data ranges that have been acq...
87
Voted
WWW
2005
ACM
15 years 10 months ago
2005
ACM
WebRogue is an application for virtual presence over the Web. It provides the Web Browser with a chat subwindow that allows users connected to the same Web site to meet, share opi...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
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...