3090 search results - page 364 / 618 » On Testing Answer-Set Programs |
127
click to vote
AAAI
2006
15 years 8 months ago
2006
Starting in the fall of 2005 our department began a large-scale effort to incorporate hands-on robotics in many of our courses, including our introductory computer science sequenc...
116
click to vote
WSC
2004
15 years 8 months ago
2004
This paper describes the validation of the Enlisted Grade model gradebreaks and describes a current application of simulation in operations research. The Enlisted Grade model is p...
222
click to vote
WIESS
2000
15 years 7 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
135
click to vote
COLING
1996
15 years 7 months ago
1996
The paper describes problems in disambiguating the morphological analysis of Bantu languages by using Swahili as a test language. The main factors of ambiguity in this language gr...
224
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents and evaluates an approach to Bayesian model averaging where the models are Bayesian nets (BNs). Prior distributions are defined using stochastic logic programs...