Sciweavers

4810 search results - page 153 / 962
» Modeling Value Speculation
Sort
View
JMLR
2011
117views more  JMLR 2011»
15 years 1 months ago
Parameter Screening and Optimisation for ILP using Designed Experiments
Reports of experiments conducted with an Inductive Logic Programming system rarely describe how specific values of parameters of the system are arrived at when constructing model...
Ashwin Srinivasan, Ganesh Ramakrishnan
ATVA
2009
Springer
116views Hardware» more  ATVA 2009»
16 years 1 months ago
Don't Know for Multi-valued Systems
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
Alarico Campetelli, Alexander Gruler, Martin Leuck...
HICSS
2006
IEEE
97views Biometrics» more  HICSS 2006»
16 years 14 days ago
Dynamically Optimizing Parameters in Support Vector Regression: An Application of Electricity Load Forecasting
This study develops a novel model, GA-SVR, for parameters optimization in support vector regression and implements this new model in a problem forecasting maximum electrical daily...
Chin-Chia Hsu, Chih-Hung Wu, Shih-Chien Chen, Kang...
WIOPT
2010
IEEE
15 years 4 months ago
Enhancing RRM optimization using a priori knowledge for automated troubleshooting
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
Moazzam Islam Tiwana, Zwi Altman, Berna Sayra&cced...
SIGMOD
2009
ACM
136views Database» more  SIGMOD 2009»
16 years 6 months ago
A comparison of approaches to large-scale data analysis
There is currently considerable enthusiasm around the MapReduce (MR) paradigm for large-scale data analysis [17]. Although the basic control flow of this framework has existed in ...
Andrew Pavlo, Erik Paulson, Alexander Rasin, Danie...