581 search results - page 55 / 117 » Translating dependency into parametricity |
PRESENCE
1998
13 years 9 months ago
1998
In two experiments, subjects traveled through virtual mazes, encountering target objects along the way. Their task was to indicate the direction to these target objects from a ter...
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
JLP
2000
13 years 9 months ago
2000
Generating query-answering plans for data integration systems requires to translate a user query, formulated in terms of a mediated schema, to a query that uses relations that are...
WOLLIC
2007
Springer
14 years 4 months ago
2007
Springer
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...
CLEF
2005
Springer
14 years 3 months ago
2005
Springer
This document describes the CLIPS experiments in the CLEF 2005 campaign. We used a surface-syntactic parser in order to extract new indexing terms. These terms are considered synta...