5525 search results - page 237 / 1105 » Verification of Model Transformations |
136
click to vote
TCAD
2002
15 years 4 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
156
click to vote
IDEAL
2010
Springer
15 years 2 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...
136
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialised integrated database. The schemas of the data sources and the in...
112
click to vote
ICASSP
2009
IEEE
15 years 11 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...
139
click to vote
NOLISP
2005
Springer
15 years 10 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...