2774 search results - page 274 / 555 » Query-Driven Program Testing |
125
click to vote
FLAIRS
2008
15 years 3 months ago
2008
This paper describes an algorithm developed as a decision support system for SMT line operators and its purpose is to suggest changes in an existing feeder setup in order to impro...
99
Voted
AMC
2007
15 years 2 months ago
2007
This short note explains how to use ready-to-use components of symbolic software to convert between the free cumulants and the moments of measures without sophisticated programming...
106
click to vote
BMCBI
2007
15 years 2 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...
113
click to vote
IIE
2006
15 years 2 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...
96
Voted
EOR
2007
15 years 2 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...