1746 search results - page 180 / 350 » A Constructive Semantics for ALC |
173
Voted
IACR
2011
14 years 5 months ago
2011
What does it mean for an encryption scheme to be leakage-resilient? Prior formulations require that the scheme remains semantically secure even in the presence of leakage, but onl...
140
click to vote
CIKM
2009
Springer
16 years 21 days ago
2009
Springer
Lexical databases are invaluable sources of knowledge about words and their meanings, with numerous applications in areas like NLP, IR, and AI. We propose a methodology for the au...
160
click to vote
ICSR
2009
Springer
16 years 20 days ago
2009
Springer
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...
130
click to vote
TPHOL
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
136
click to vote
ISVC
2007
Springer
16 years 8 days ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...