714 search results - page 76 / 143 » Verification and Compliance Testing |
132
click to vote
ICCTA
2007
IEEE
15 years 4 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
COLING
2008
15 years 2 months ago
2008
Our goal is to use natural language processing to identify deceptive and nondeceptive passages in transcribed narratives. We begin by motivating an analysis of language-based dece...
90
Voted
ISSA
2004
15 years 1 months ago
2004
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
104
click to vote
ICASSP
2010
IEEE
15 years 23 days ago
2010
IEEE
The standard approach to speaker verification is to extract cepstral features from the speech spectrum and model them by generative or discriminative techniques. We propose a nov...
106
Voted
JAR
2006
15 years 16 days 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...