10458 search results - page 1550 / 2092 » Modeling Features at Runtime |
140
Voted
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Authenticated dictionaries allow users to send lookup requests to an untrusted server and get authenticated answers. Persistent authenticated dictionaries (PADs) add queries agains...
156
click to vote
EACL
2009
ACL Anthology
16 years 5 months ago
2009
ACL Anthology
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
148
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
The goal of this research is to elucidate the ways shared visual space supports group communication and performance. This work involves three stages: a series of empirical studies...
228
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
261
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...