Sciweavers

884 search results - page 26 / 177
» Linear-Input Subset Analysis
Sort
View
140
Voted
NFM
2011
223views Formal Methods» more  NFM 2011»
14 years 9 months ago
opaal: A Lattice Model Checker
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Andreas Engelbredt Dalsgaard, René Rydhof H...
101
Voted
INTERSPEECH
2010
14 years 9 months ago
The role of higher-level linguistic features in HMM-based speech synthesis
We analyse the contribution of higher-level elements of the linguistic specification of a data-driven speech synthesiser to the naturalness of the synthetic speech which it genera...
Oliver Watts, Junichi Yamagishi, Simon King
102
Voted
ICPR
2008
IEEE
15 years 8 months ago
Adaptive nonstationary regression analysis
The problem of finding the most appropriate subset of features or regressors is the generic challenge of Machine Learning problems like regression estimation or pattern recognitio...
Olga Krasotkina, Vadim Mottl
144
Voted
DAGM
2005
Springer
15 years 8 months ago
Cluster-Based Point Cloud Analysis for Rapid Scene Interpretation
A histogram-based method for the interpretation of three-dimensional (3D) point clouds is introduced, where point clouds represent the surface of a scene of multiple objects and ba...
Eric Wahl, Gerd Hirzinger
EVOW
2004
Springer
15 years 7 months ago
Analysis of Proteomic Pattern Data for Cancer Detection
Abstract. In this paper we analyze two proteomic pattern datasets containing measurements from ovarian and prostate cancer samples. In particular, a linear and a quadratic support ...
Kees Jong, Elena Marchiori, Aad van der Vaart