Sciweavers

78 search results - page 2 / 16
» A Unified Framework for Verification Techniques for Object I...
Sort
View
BMVC
1998
13 years 7 months ago
Learning Enhanced 3D Models for Vehicle Tracking
This paper presents an enhanced hypothesis verification strategy for 3D object recognition. A new learning methodology is presented which integrates the traditional dichotomic obj...
James M. Ferryman, Anthony D. Worrall, Stephen J. ...
CL
2008
Springer
13 years 5 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
ICPR
2006
IEEE
14 years 6 months ago
A Kernel-based Discrimination Framework for Solving Hypothesis Testing Problems with Application to Speaker Verification
Real-word applications often involve a binary hypothesis testing problem with one of the two hypotheses ill-defined and hard to be characterized precisely by a single measure. In ...
Yi-Hsiang Chao, Wei-Ho Tsai, Hsin-Min Wang, Ruei-C...
KBSE
1999
IEEE
13 years 10 months ago
Modular and Incremental Analysis of Concurrent Software Systems
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
Hassen Saïdi
ICPR
2004
IEEE
14 years 6 months ago
Object Classification with Multi-Scale Autoconvolution
This paper assesses the recently proposed affine invariant image transform called Multi-Scale Autoconvolution (MSA) in some practical object classification problems. A classificat...
Esa Rahtu, Janne Heikkilä