677 search results - page 94 / 136 » Dependent Types from Counterexamples |
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we discuss how to present the result of searching elements of any type from XML documents relevant to some information need (relevance-oriented search). As the resu...
ER
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
ICAT
2003
IEEE
15 years 3 months ago
2003
IEEE
Any VR scenario should offer a certain degree of nonlinearity or openness regarding the story progress as a consequence of the interaction with the user. In this paper we propose ...
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
We analyse scenarios in which self-interested agents negotiate with each other in order to agree on deals to exchange resources. We consider two variants of the framework, one whe...