Sciweavers

4842 search results - page 690 / 969
» A Calculus for Data Mapping
Sort
View
TRECVID
2007
15 years 7 months ago
The NTU Toolkit and Framework for High-Level Feature Detection at TRECVID 2007
In TRECVID 2007 high-level feature (HLF) detection, we extend the well-known LIBSVM and develop a toolkit specifically for HLF detection. The package shortens the learning time an...
Ming-Fang Weng, Chun-Kang Chen, Yi-Hsuan Yang, Ron...
CADE
2010
Springer
15 years 7 months ago
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
Markus Aderhold
GI
2008
Springer
15 years 7 months ago
A GPS Tracking Application with a Tilt- and Motion-Sensing Interface
: Combining GPS tracks with semantic annotations is the basis for large data analysis tasks that give insight into the movement behavior of populations. In this paper, we present a...
Michael Mock, Michael Rohs
ICASSP
2010
IEEE
15 years 6 months ago
An exploratory study of manifolds of emotional speech
This study explores manifold representations of emotionally modulated speech. The manifolds are derived in the articulatory space and two acoustic spaces (MFB and MFCC) using isom...
Jangwon Kim, Sungbok Lee, Shrikanth S. Narayanan
ICASSP
2010
IEEE
15 years 6 months ago
Algorithms for robust linear regression by exploiting the connection to sparse signal recovery
In this paper, we develop algorithms for robust linear regression by leveraging the connection between the problems of robust regression and sparse signal recovery. We explicitly ...
Yuzhe Jin, Bhaskar D. Rao