34 search results - page 3 / 7 » Automatic Symmetry Detection for Promela |
CGI
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper tackles a particular shape matching problem: given a data base of shapes (described as triangular meshes), we search for all shapes which describe a human. We do so by a...
PCM
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. In repeated pattern analysis, peak number detection in autocorrelation is of key importance, which subsequently determines the correctness of the constructed lattice. Pre...
APN
2003
Springer
14 years 23 days ago
2003
Springer
ASPDAC
1999
ACM
13 years 12 months ago
1999
ACM
PRDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...