5499 search results - page 294 / 1100 » Generalized Rewrite Theories |
226
click to vote
HT
2004
ACM
16 years 25 days ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
177
click to vote
PODC
2004
ACM
16 years 25 days ago
2004
ACM
We consider the problem of designing a compact communication network that supports efficient routing in an Euclidean plane. Our network design and routing scheme achieves 1+ stret...
189
click to vote
CCS
2004
ACM
16 years 24 days ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
199
click to vote
FOCS
2003
IEEE
16 years 21 days ago
2003
IEEE
We give a complexity theoretic classification of homomorphism problems for graphs and, more generally, relational structures obtained by restricting the left hand side structure ...
178
click to vote
ITC
2003
IEEE
16 years 20 days ago
2003
IEEE
We present a novel methodology for concurrent error detection in linear analog circuits. We develop a rigorous theory that yields an error detection circuit of size that is, in ge...