Sciweavers

1522 search results - page 239 / 305
» Control-Driven Tasks: Modeling and Analysis
Sort
View
ICASSP
2009
IEEE
15 years 10 months ago
Genre effects on automatic sentence segmentation of speech: A comparison of broadcast news and broadcast conversations
We investigate genre effects on the task of automatic sentence segmentation, focusing on two important domains – broadcast news (BN) and broadcast conversation (BC). We employ a...
Jáchym Kolár, Yang Liu, Elizabeth Sh...
IV
2009
IEEE
149views Visualization» more  IV 2009»
15 years 10 months ago
Beyond Knowledge Visualization Usability: Toward a Better Understanding of Business Diagram Adoption
Information visualization research typically focuses on the formal aspects of specific graphic solutions in terms of their thinking and/or communication support. This type of anal...
Sabrina Bresciani, Martin J. Eppler
157
Voted
BIBM
2007
IEEE
162views Bioinformatics» more  BIBM 2007»
15 years 10 months ago
Multiple Interacting Subcellular Structure Tracking by Sequential Monte Carlo Method
With the wide application of green fluorescent protein (GFP) in the study of live cells, there is a surging need for the computer-aided analysis on the huge amount of image seque...
Quan Wen, Jean Gao, Kate Luby-Phelps
ICWL
2007
Springer
15 years 9 months ago
A Piece-Wise Learning Approach to 3D Facial Animation
Web-based 3D facial animation is an alternative of face to face communication. Animating 3D human faces is also a difficult task because of the substantive non-rigid facial motions...
Yushun Wang, Yueting Zhuang, Jun Xiao, Fei Wu
139
Voted
PLDI
2006
ACM
15 years 9 months ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko