Sciweavers

3322 search results - page 521 / 665
» Automatic Human Model Generation
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Rapid phonetic transcription using everyday life natural Chat Alphabet orthography for dialectal Arabic speech recognition
We propose the Arabic Chat Alphabet (ACA) as naturally written in everyday life for dialectal Arabic speech transcription. Our assumption is that ACA is a natural language that in...
Mohamed Elmahdy, Rainer Gruhn, Slim Abdennadher, W...
IBPRIA
2003
Springer
15 years 11 months ago
A Colour Tracking Procedure for Low-Cost Face Desktop Applications
In this paper we present an environment for the tracking of a human face obtained from a real video sequence. We will describe the system and discuss the advantages and disadvanta...
Francisco J. Perales López, Ramon Mas, Miqu...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
16 years 27 days ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
GIS
2009
ACM
16 years 1 months ago
Tree detection from aerial imagery
We propose an automatic approach to tree detection from aerial imagery. First a pixel-level classifier is trained to assign a {tree, non-tree} label to each pixel in an aerial im...
Lin Yang, Xiaqing Wu, Emil Praun, Xiaoxu Ma
DATE
2009
IEEE
90views Hardware» more  DATE 2009»
16 years 1 months ago
Property analysis and design understanding
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
Ulrich Kühne, Daniel Große, Rolf Drechs...