Sciweavers

3342 search results - page 324 / 669
» Symbolic Robustness Analysis
Sort
View
ICML
2008
IEEE
16 years 7 months ago
ICA and ISA using Schweizer-Wolff measure of dependence
We propose a new algorithm for independent component and independent subspace analysis problems. This algorithm uses a contrast based on the Schweizer-Wolff measure of pairwise de...
Barnabás Póczos, Sergey Kirshner
ICDAR
2009
IEEE
16 years 1 months ago
ICDAR 2009 Page Segmentation Competition
This paper presents an objective comparative evaluation of layout analysis methods in realistic circumstances. It describes the Page Segmentation competition (modus operandi, data...
Apostolos Antonacopoulos, Stefan Pletschacher, Dav...
ICASSP
2008
IEEE
16 years 1 months ago
Voice source cepstrum coefficients for speaker identification
We propose a novel feature set for speaker recognition that is based on the voice source signal. The feature extraction process uses closed-phase LPC analysis to estimate the voca...
Jon Gudnason, Mike Brookes
ICIP
2007
IEEE
16 years 1 months ago
Modeling vs. Segmenting Images Using A Probabilistic Approach
Image segmentation is conventionally formulated as a pixellabeling problem, in which “hard” decisions have to be made to partition pixels into regions. As image segmentation i...
Datong Chen
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 4 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé