444 search results - page 70 / 89 » Using Test Oracles Generated from Program Documentation |
JMLR
2012
11 years 10 months ago
2012
We consider a model for which it is important, early in processing, to estimate some variables with high precision, but perhaps at relatively low recall. If some variables can be ...
SASO
2009
IEEE
14 years 2 months ago
2009
IEEE
—We examine the use of teleological metareasoning for self-adaptation in game-playing software agents. The goal of our work is to develop an interactive environment in which the ...
IJCAI
1997
13 years 8 months ago
1997
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...
DAGSTUHL
2006
13 years 9 months ago
2006
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...
BMCBI
2005
13 years 7 months ago
2005
Background: General protein evolution models help determine the baseline expectations for the evolution of sequences, and they have been extensively useful in sequence analysis an...