1419 search results - page 119 / 284 » A Characterization of Constructive Dimension |
137
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
131
click to vote
CCS
2004
ACM
15 years 10 months 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...
124
click to vote
AGP
1993
IEEE
15 years 8 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
136
click to vote
AAAI
2007
15 years 6 months ago
2007
A Situated Conversational Agent (SCA) is an agent that engages in dialog about the context within which it is embedded. Situated dialog is characterized by its deep connection to ...
132
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...