Sciweavers

3951 search results - page 200 / 791
» Automatic amortized analysis
Sort
View
ICPR
2004
IEEE
16 years 7 months ago
Parallel Tracking of All Soccer Players by Integrating Detected Positions in Multiple View Images
Soccer, one of the popular sports around the world, is often broadcasted on TV, and various researches have done on soccer scene images such as strategy analysis, scene recovery, ...
Hideo Saito, Sachiko Iwase
ICASSP
2008
IEEE
16 years 14 days ago
French prominence: A probabilistic framework
Identification of prosodic phenomena is of first importance in prosodic analysis and modeling. In this paper, we introduce a new method for automatic prosodic phenomena labellin...
Nicolas Obin, Xavier Rodet, Anne Lacheret-Dujour
ACL
2007
15 years 7 months ago
A Re-examination of Machine Learning Approaches for Sentence-Level MT Evaluation
Recent studies suggest that machine learning can be applied to develop good automatic evaluation metrics for machine translated sentences. This paper further analyzes aspects of l...
Joshua Albrecht, Rebecca Hwa
MICCAI
2008
Springer
16 years 7 months ago
Assessment of Reliability of Multi-site Neuroimaging Via Traveling Phantom Study
Abstract. This paper describes a framework for quantitative analysis of neuroimaging data of traveling human phantoms used for cross-site validation. We focus on the analysis of ma...
Sylvain Gouttard, Martin Styner, Marcel Prastawa...
FASE
2009
Springer
16 years 25 days ago
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
Laura Kovács, Andrei Voronkov