2233 search results - page 97 / 447 » On the Complexity of Theory Curbing |
161
click to vote
RECOMB
2004
Springer
16 years 6 months ago
2004
Springer
Protein-protein interactions, which form the basis for most cellular processes, result in the formation of protein interfaces. Believing that the local shape of proteins is crucia...
167
click to vote
LATA
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
146
click to vote
ELPUB
2006
ACM
16 years 9 days ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
151
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
143
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...