Sciweavers

4899 search results - page 293 / 980
» Robust normative systems
Sort
View
CVPR
2007
IEEE
16 years 8 months ago
A minimal solution to the autocalibration of radial distortion
Epipolar geometry and relative camera pose computation are examples of tasks which can be formulated as minimal problems and solved from a minimal number of image points. Finding ...
Tomás Pajdla, Zuzana Kukelova
FORMATS
2006
Springer
15 years 10 months ago
Temporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
Georgios E. Fainekos, Antoine Girard, George J. Pa...
158
Voted
CDC
2010
IEEE
15 years 1 months ago
Synthesis using approximately bisimilar abstractions: time-optimal control problems
s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...
Antoine Girard
JDCTA
2010
144views more  JDCTA 2010»
15 years 1 months ago
Research on SVDD Applied in Speaker Verification
In tradition probability statistics model, speaker verification threshold is instability in different test situations. A novel speaker verification method based on Support Vector ...
Yuhuan Zhou, Xiongwei Zhang, Jinming Wang, Yong Go...
ICASSP
2011
IEEE
14 years 10 months ago
Gammatone sub-band magnitude-domain dereverberation for ASR
We present an algorithm for dereverberation of speech signals for automatic speech recognition (ASR) applications. Often ASR systems are presented with speech that has been record...
Kshitiz Kumar, Rita Singh, Bhiksha Raj, Richard M....