1497 search results - page 201 / 300 » Constraint Databases: A Survey |
196
click to vote
CASC
2009
Springer
15 years 7 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
159
click to vote
ACL
2009
15 years 4 months ago
2009
The Columbia Arabic Treebank (CATiB) is a database of syntactic analyses of Arabic sentences. CATiB contrasts with previous approaches to Arabic treebanking in its emphasis on spe...
149
click to vote
ER
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
164
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...