514 search results - page 90 / 103 » Foundations of Aggregation Constraints |
KBSE
1999
IEEE
14 years 6 days ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
FOCS
1998
IEEE
14 years 6 days ago
1998
IEEE
This paper deals with the evaluation of acyclic Boolean conjunctive queries in relational databases. By well-known results of Yannakakis [1981], this problem is solvable in polynom...
ECCV
1998
Springer
14 years 5 days ago
1998
Springer
This paper investigates the linear degeneracies of projective structure estimation from point and line features across three views. We show that the rank of the linear system of e...
INFOCOM
1997
IEEE
14 years 4 days ago
1997
IEEE
A packet scheduler in a quality-of-service QoS network should be sophisticated enough to support stringent QoS constraints at high loads, but it must also have a simple implemen...
ICLP
1997
Springer
14 years 2 days ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...