564 search results - page 84 / 113 » The First Answer Set Programming System Competition |
123
click to vote
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
136
Voted
ECMDAFA
2008
Springer
15 years 4 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
153
Voted
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
121
click to vote
RECOMB
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. Side-chain prediction is an important subproblem of the general protein folding problem. Despite much progress in side-chain prediction, performance is far from satisfact...
139
click to vote
CLEF
2009
Springer
15 years 5 days ago
2009
Springer
The robot vision task has been proposed to the ImageCLEF participants for the first time in 2009. The task attracted a considerable attention, with 19 inscribed research groups, 7...