Sciweavers

6693 search results - page 190 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 7 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
IUI
2005
ACM
15 years 10 months ago
Generating semantic contexts from spoken conversation in meetings
SemanticTalk is a tool for supporting face-to-face meetings and discussions by automatically generating a semantic context from spoken conversations. We use speech recognition and...
Jürgen Ziegler, Zoulfa El Jerroudi, Karsten B...
VISUALIZATION
1996
IEEE
15 years 9 months ago
Generation of Transfer Functions with Stochastic Search Techniques
This paper presents a novel approach to assist the user in exploring appropriate transfer functions for the visualization of volumetric datasets. The search for a transfer functio...
Taosong He, Lichan Hong, Arie E. Kaufman, Hanspete...
104
Voted
SIGIR
2008
ACM
15 years 4 months ago
Term clouds as surrogates for user generated speech
User generated spoken audio remains a challenge for Automatic Speech Recognition (ASR) technology and content-based audio surrogates derived from ASR-transcripts must be error rob...
Manos Tsagkias, Martha Larson, Maarten de Rijke
136
Voted
MICCAI
2005
Springer
16 years 5 months ago
Automatic Registration and Fusion of Ultrasound with CT for Radiotherapy
We present a framework for rigid registration of a set of B-mode ultrasound images to a CT scan in the context of Radiotherapy planning. Our main focus is on deriving an appropriat...
Wolfgang Wein, Barbara Röper, Nassir Navab