13 search results - page 2 / 3 » Polynomial Interpretations with Negative Coefficients |
ICDE
2008
IEEE
14 years 6 months ago
2008
IEEE
Applications that monitor functions over rapidly and unpredictably changing data, express their needs as continuous queries. Our focus is on a rich class of queries, expressed as p...
IANDC
2007
13 years 5 months ago
2007
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
LICS
2005
IEEE
13 years 11 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
CP
1997
Springer
13 years 9 months ago
1997
Springer
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...
BIOCOMP
2006
13 years 6 months ago
2006
The application of genome scale RNA interference (RNAi) relies on the development of high quality RNAi high throughput screening (HTS) assays. An important quality control (QC) ch...