2273 search results - page 9 / 455 » On the Expressiveness and Complexity of ATL |
BMCBI
2004
13 years 7 months ago
2004
Background: Microarray studies in cancer compare expression levels between two or more sample groups on thousands of genes. Data analysis follows a population-level approach (e.g....
ICDE
2008
IEEE
14 years 8 months ago
2008
IEEE
The paper proposes an extension of CFDs [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically relate...
LCC
1994
13 years 11 months ago
1994
We give an AC0 upper bound on the complexity of rst-oder queries over (in nite) databases de ned by restricted linear constraints. This result enables us to deduce the non-expressi...
AAAI
1994
13 years 8 months ago
1994
Most practical work on AI planningsystems during the last fteen years has been based on hierarchical task network (HTN) decomposition, but until now, there has been very little an...
PODS
2007
ACM
14 years 7 months ago
2007
ACM
Query containment has been studied extensively for fragments of