Sciweavers

1522 search results - page 239 / 305
» Control-Driven Tasks: Modeling and Analysis
Sort
View
ICASSP
2009
IEEE
14 years 3 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»
14 years 3 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
BIBM
2007
IEEE
162views Bioinformatics» more  BIBM 2007»
14 years 3 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
14 years 3 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
PLDI
2006
ACM
14 years 2 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