483 search results - page 54 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
TACS
1994
Springer
14 years 3 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
ICIP
2003
IEEE
14 years 4 months ago
2003
IEEE
Two hybrid systems for classifying seven categories of human facial expression are proposed. The £rst system combines independent component analysis (ICA) and support vector mach...
ISMIR
2001
Springer
14 years 3 months ago
2001
Springer
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...
ML
2008
ACM
13 years 10 months ago
2008
ACM
Feature selection is an important aspect of solving data-mining and machine-learning problems. This paper proposes a feature-selection method for the Support Vector Machine (SVM) l...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Determinant Quantum Monte Carlo (DQMC) simulation has been widely used to reveal macroscopic properties of strong correlated materials. However, parallelization of the DQ...