Sciweavers

2633 search results - page 368 / 527
» Using Robust Methods for Automatic Extraction of Buildings
Sort
View
ACL
2006
15 years 7 months ago
Exploiting Non-Local Features for Spoken Language Understanding
In this paper, we exploit non-local features as an estimate of long-distance dependencies to improve performance on the statistical spoken language understanding (SLU) problem. Th...
Minwoo Jeong, Gary Geunbae Lee
CVPR
2011
IEEE
14 years 10 months ago
Earth Mover’s Prototypes: a Convex Learning Approach for Discovering Activity Patterns in Dynamic Scenes
We present a novel approach for automatically discovering spatio-temporal patterns in complex dynamic scenes. Similarly to recent non-object centric methods, we use low level visu...
Elisa Ricci, Gloria Zen
MICCAI
2004
Springer
16 years 7 months ago
Bone Motion Analysis from Dynamic MRI: Acquisition and Tracking
For diagnosis, preoperative planning and postoperative guides, an accurate estimate of joints kinematics is required. We bring together MRI developments and new image processing me...
Benjamin Gilles, Rosalind Perrin, Nadia Magnenat-T...
FM
2006
Springer
134views Formal Methods» more  FM 2006»
15 years 10 months ago
Formal Verification of a C Compiler Front-End
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
Sandrine Blazy, Zaynah Dargaye, Xavier Leroy
CORR
2004
Springer
128views Education» more  CORR 2004»
15 years 6 months ago
Unsupervised Topic Adaptation for Lecture Speech Retrieval
We are developing a cross-media information retrieval system, in which users can view specific segments of lecture videos by submitting text queries. To produce a text index, the ...
Atsushi Fujii, Katunobu Itou, Tomoyosi Akiba, Tets...