2488 search results - page 70 / 498 » An improvement in formal verification |
WSC
2008
14 years 9 days ago
2008
One of the key challenges to health care access in Canadian hospitals is growing overcrowding of the Emergency Departments (EDs), leading to the medical personnel overload, and th...
NOLISP
2005
Springer
14 years 3 months ago
2005
Springer
The difficulty of obtaining data from impostors and the scarcity of data are two factors that have a large influence in the estimation of speakerdependent thresholds in text-depend...
ICASSP
2009
IEEE
13 years 7 months ago
2009
IEEE
In conventional speaker recognition methods based on MFCC, phase information has been ignored. We proposed a method that integrated the phase information with MFCC on a speaker id...
RTAS
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
DAC
2006
ACM
14 years 11 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...