7430 search results - page 327 / 1486 » Programming Applications in CIFF |
139
Voted
CONSTRAINTS
2008
15 years 5 months ago
2008
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
136
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...
134
click to vote
EOR
2006
15 years 5 months ago
2006
In this paper a hybrid algorithm to solve Irregular Strip Packing problems is presented. The metaheuristic simulated annealing is used to guide the search over the solution space ...
118
click to vote
ENTCS
2007
15 years 5 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
134
Voted
ENTCS
2007
15 years 5 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...