1830 search results - page 101 / 366 » Workshop on Graph Computation Models |
141
click to vote
NJC
2006
15 years 4 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
150
click to vote
ICCS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper, we explore the expressivity of default CG rules (a CGoriented subset of Reiter’s default logics) through two applications. In the first one, we show tha...
160
click to vote
DAIS
2011
14 years 8 months ago
2011
Abstract. Dealing with Network Address Translators (NATs) is a central problem in many peer-to-peer applications on the Internet today. However, most analytical models of overlay n...
153
click to vote
ACII
2005
Springer
15 years 6 months ago
2005
Springer
Active Shape Model (ASM) is one of the most powerful statistical tools for face image alignment. In this paper, we propose a novel method, called Bunch-Active Shape Model (Bunch-AS...
140
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...