2043 search results - page 292 / 409 » Reasoning About Security Models |
76
Voted
ENTCS
2006
15 years 22 days ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
77
Voted
LOGCOM
2006
15 years 21 days ago
2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate propertie...
132
click to vote
JAR
2010
14 years 7 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
111
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents a new acoustic-to-articulatory inversion methodbased on an episodic memory, which is an interesting model for two reasons. First, it does not rely on any assum...
74
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...