Sciweavers

2661 search results - page 291 / 533
» Model Checking Performability Properties
Sort
View
109
Voted
SIGKDD
2010
128views more  SIGKDD 2010»
14 years 7 months ago
On cross-validation and stacking: building seemingly predictive models on random data
A number of times when using cross-validation (CV) while trying to do classification/probability estimation we have observed surprisingly low AUC's on real data with very few...
Claudia Perlich, Grzegorz Swirszcz
89
Voted
DAC
2002
ACM
16 years 1 months ago
Guaranteed passive balancing transformations for model order reduction
The major concerns in state-of-the-art model reduction algorithms are: achieving accurate models of sufficiently small size, numerically stable and efficient generation of the mod...
Joel R. Phillips, Luca Daniel, Luis Miguel Silveir...
99
Voted
ISMIR
2005
Springer
145views Music» more  ISMIR 2005»
15 years 6 months ago
An Investigation of Feature Models for Music Genre Classification Using the Support Vector Classifier
In music genre classification the decision time is typically of the order of several seconds, however, most automatic music genre classification systems focus on short time feat...
Anders Meng, John Shawe-Taylor
117
Voted
MSWIM
2006
ACM
15 years 6 months ago
The effect of the radio wave propagation model in mobile ad hoc networks
The simulation of wireless networks has been an important tool for researchers and the industry in the last years. Especially in the field of Mobile Ad Hoc Networking, most curre...
Arne Schmitz, Martin Wenig
BMCBI
2011
14 years 7 months ago
A discriminative method for family-based protein remote homology detection that combines inductive logic programming and proposi
Background: Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequenc...
Juliana S. Bernardes, Alessandra Carbone, Gerson Z...