1632 search results - page 89 / 327 » Topological Analysis of Refinement |
160
click to vote
CCA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
146
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
149
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, a reliability analysis is carried out to state a performance comparison between two recently proposed proactive routing algorithms. These protocols are able to scale...
148
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a novel hierarchical approach to triangular mesh generation from height fields. A waveletbased multiresolution analysis technique is used to estimate local sha...
251
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...