1632 search results - page 89 / 327 » Topological Analysis of Refinement |
111
click to vote
CCA
2005
Springer
15 years 4 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...
CSFW
2010
IEEE
15 years 1 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...
CORR
2008
Springer
14 years 10 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...
CVPR
2004
IEEE
16 years 22 days 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...
187
click to vote
POPL
2008
ACM
15 years 11 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...