7167 search results - page 1015 / 1434 » Answer Set Programming |
131
click to vote
WIA
2009
Springer
15 years 10 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
125
click to vote
COCOON
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we deal with restoring missing information in molecule databases: Some data formats only store the atoms’ configuration but omit bond multiplicities. As this info...
120
click to vote
DBPL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
122
click to vote
DNA
2009
Springer
15 years 10 months ago
2009
Springer
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...
139
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...