2517 search results - page 98 / 504 » Specifying Weak Sets |
137
click to vote
ISTA
2004
15 years 6 months ago
2004
: We present in this paper a transformation model for structured documents. TransM is a new model that deals with specified documents, where the structure conforms to a predefined ...
115
click to vote
AIPS
2000
15 years 6 months ago
2000
The paradigm of advisable planning, in which a user provides guidance to influence the content of solutions produced by an underlying planning system, holds much promise for impro...
139
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
156
click to vote
AMAI
2006
Springer
15 years 5 months ago
2006
Springer
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...
159
click to vote
INFORMATICALT
2006
15 years 5 months ago
2006
A convertible authenticated encryption scheme allows a specified recipient to recover and verify a message simultaneously. Moreover the recipient can prove the dishonesty of the se...