2273 search results - page 357 / 455 » On the Expressiveness and Complexity of ATL |
PR
1998
14 years 9 months ago
1998
A usefulgeometricalfacemodel and an efficientfacialfeaturedetection approach are proposed. Based on the fact that human facesare constructed in the same geometricalconfiguration, t...
MST
2007
14 years 9 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
101
click to vote
PVLDB
2008
14 years 9 months ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
PVLDB
2008
14 years 9 months ago
2008
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
PVLDB
2008
14 years 9 months ago
2008
We describe XTreeNet, a distributed query dissemination engine which facilitates democratization of publishing and efficient data search among members of online communities with p...