564 search results - page 36 / 113 » The First Answer Set Programming System Competition |
FUIN
2010
14 years 8 months ago
2010
Given a set of taxa S and a complete set of quartet topologies Q over S, the problem of determining a phylogeny that satisfies the maximum number of topologies is called the Maxi...
CLEF
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. The present article describes the system used for the our first participation in the imageCLEF 2009 Photo Annotation task. For the image classification we used four compo...
129
Voted
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
15 years 4 months ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
159
click to vote
ICDE
2004
IEEE
15 years 11 months ago
2004
IEEE
We examine the problem of evaluating selection queries over imprecisely represented objects. Such objects are used either because they are much smaller in size than the precise on...