1620 search results - page 258 / 324 » Testing Polymorphic Properties |
116
click to vote
JAR
2006
15 years 2 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
149
Voted
CSL
2007
Springer
2007
Springer
Speaker-adaptive learning of resonance targets in a hidden trajectory model of speech coarticulation
15 years 2 months ago
A novel speaker-adaptive learning algorithm is developed and evaluated for a hidden trajectory model of speech coarticulation and reduction. Central to this model is the process o...
100
Voted
JEI
2006
15 years 2 months ago
2006
Abstract. We investigate the performance of state of the art universal steganalyzers proposed in the literature. These universal steganalyzers are tested against a number of well-k...
138
Voted
JFP
2006
15 years 2 months ago
2006
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This article presents an appr...
115
Voted
ECCC
2007
15 years 2 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...