712 search results - page 95 / 143 » New Techniques for Generation and Analysis of Evolutionary T... |
APN
2000
Springer
14 years 18 days ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
EUROCRYPT
2000
Springer
14 years 18 days ago
2000
Springer
Abstract. This paper describes new techniques for fast correlation attacks, based on Gallager iterative decoding algorithm using parity-check equations of weight greater than 3. Th...
VIS
2003
IEEE
14 years 10 months ago
2003
IEEE
Traditional volume visualization techniques may provide incomplete clinical information needed for many applications in medical visualization. Especially in the area of vascular v...
BMCBI
2006
13 years 9 months ago
2006
Background: In the Bioinformatics field, a great deal of interest has been given to Non-negative matrix factorization technique (NMF), due to its capability of providing new insig...
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...