921 search results - page 155 / 185 » Expressing Computational Complexity in Constructive Type The... |
SIGADA
2001
Springer
14 years 17 days ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
DBPL
1999
Springer
14 years 13 days ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
ICDE
2002
IEEE
14 years 9 months ago
2002
IEEE
Difference, intersection, semi-join and anti-semi-join may be considered binary subset operators, in that they all return a subset of their left-hand argument. These operators are...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
ICAT
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we propose a real-time gesture tracking technique for the personalized user interface exploiting non-contact 3D vision technique. We first separate a user of intere...