4666 search results - page 676 / 934 » Equations on Timed Languages |
156
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We present a prototype of the Minnesang exhibit that translates visitors' utterances into medieval German in their own voice. This lets visitors experience how they would hav...
160
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Embedded processors are making it possible for common appliances, such as cable boxes, microwaves and fax machines, to provide even more functionality. Unfortunately, as these app...
167
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We consider the following problem: given an unsorted array of n elements, and a sequence of intervals in the array, compute the median in each of the subarrays defined by the inter...
283
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
161
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...