1438 search results - page 171 / 288 » An Expressive Extension of TLC |
162
click to vote
CVPR
2008
IEEE
16 years 27 days ago
2008
IEEE
Second-order priors on the smoothness of 3D surfaces are a better model of typical scenes than first-order priors. However, stereo reconstruction using global inference algorithm...
160
click to vote
QEST
2007
IEEE
16 years 21 days ago
2007
IEEE
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...
156
click to vote
APN
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
141
click to vote
CCS
2007
ACM
16 years 18 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
152
click to vote
CSL
2007
Springer
16 years 18 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...