Sciweavers

243 search results - page 24 / 49
» Coverage-biased Random Exploration of Models
Sort
View
AUTOMATICA
2006
83views more  AUTOMATICA 2006»
13 years 7 months ago
A stochastic control model of economic growth with environmental disaster prevention
This paper proposes a capital accumulation model with a random stopping time corresponding to the occurrence of an environmental catastrophe. Depending on the preventive capital s...
Alain Haurie, Francesco Moresino
NIPS
2004
13 years 9 months ago
Co-Validation: Using Model Disagreement on Unlabeled Data to Validate Classification Algorithms
In the context of binary classification, we define disagreement as a measure of how often two independently-trained models differ in their classification of unlabeled data. We exp...
Omid Madani, David M. Pennock, Gary William Flake
ISSTA
2006
ACM
14 years 1 months ago
Test input generation for java containers using state matching
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...
MOR
2008
81views more  MOR 2008»
13 years 7 months ago
Risk Tuning with Generalized Linear Regression
A framework is set up in which linear regression, as a way of approximating a random variable by other random variables, can be carried out in a variety of ways, which moreover ca...
R. Tyrrell Rockafellar, Stan Uryasev, Michael Zaba...
CPAIOR
2007
Springer
14 years 1 months ago
Best-First AND/OR Search for 0/1 Integer Programming
Abstract. AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the struc...
Radu Marinescu 0002, Rina Dechter