3090 search results - page 327 / 618 » On Testing Answer-Set Programs |
170
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The number of algorithms available to predict ligand-protein interactions is large and ever-increasing. The number of test cases used to validate these methods is usua...
180
click to vote
IIE
2006
15 years 6 months ago
2006
The paper describes some possible ways how to improve Olympiads in Informatics. Tasks in Olympiads are small models of programming tasks in software industry and in the limited amo...
147
click to vote
EOR
2007
15 years 6 months ago
2007
This article addresses an extension of the multi-depot vehicle routing problem in which vehicles may be replenished at intermediate depots along their route. It proposes a heurist...
187
Voted
CG
2010
Springer
15 years 4 months ago
2010
Springer
Simulation balancing is a new technique to tune parameters of a playout policy for a Monte-Carlo game-playing program. So far, this algorithm had only been tested in a very artific...
184
click to vote
LOGCOM
2010
15 years 1 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...