897 search results - page 61 / 180 » Reuse, Validation and Verification of System Development Pro... |
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
Children need to master reading letter-names and lettersounds before reading phrases and sentences. Pronunciation assessment of letter-names and letter-sounds read aloud is an imp...
DAWAK
2009
Springer
13 years 6 months ago
2009
Springer
Data Warehouses (DW) manage crucial enterprise information used for the decision making process which has to be protected from unauthorized accesses. However, security constraints ...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
ITC
1998
IEEE
14 years 1 months ago
1998
IEEE
Advances in semiconductor process and design technology enable the design of complex system chips. Traditional IC design, in which every circuit is designed from scratch and reuse...