Sciweavers

716 search results - page 78 / 144
» Modelling Bounded Rationality Using Evolutionary Techniques
Sort
View
123
Voted
DAGSTUHL
2006
15 years 5 months ago
Efficient Software Model Checking of Data Structure Properties
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
Chandrasekhar Boyapati, Paul T. Darga
140
Voted
NIPS
2004
15 years 5 months ago
Theories of Access Consciousness
Theories of access consciousness address how it is that some mental states but not others are available for evaluation, choice behavior, and verbal report. Farah, O'Reilly, a...
Michael D. Colagrosso, Michael C. Mozer
137
Voted
ASC
2004
15 years 3 months ago
Solving nonconvex climate control problems: pitfalls and algorithm performances
Global optimization can be used as the main component for reliable decision support systems. In this contribution, we explore numerical solution techniques for nonconvex and nondi...
Carmen G. Moles, Julio R. Banga, Klaus Keller
133
Voted
IJCNN
2007
IEEE
15 years 10 months ago
Evaluation of Performance Measures for SVR Hyperparameter Selection
— To obtain accurate modeling results, it is of primal importance to find optimal values for the hyperparameters in the Support Vector Regression (SVR) model. In general, we sea...
Koen Smets, Brigitte Verdonk, Elsa Jordaan
114
Voted
AUTOMATICA
2008
98views more  AUTOMATICA 2008»
15 years 3 months ago
Stability and stabilization of nonuniform sampling systems
This paper is concerned with nonuniform sampling systems, where the sampling interval is time-varying within a certain known bound. The system is transformed into a time-varying d...
Young Soo Suh