279 search results - page 21 / 56 » Constructive Interval Disjunction |
148
click to vote
ILP
2007
Springer
15 years 8 months ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
110
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
138
Voted
AIPS
2009
15 years 3 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
137
click to vote
WSC
2008
15 years 4 months ago
2008
We discuss Skart, an automated batch-means procedure for constructing a skewness- and autoregression-adjusted confidence interval for the steady-state mean of a simulation output ...
131
click to vote
KDD
2003
ACM
16 years 2 months ago
2003
ACM
Decision tree construction is a well studied problem in data mining. Recently, there has been much interest in mining streaming data. Domingos and Hulten have presented a one-pass...