714 search results - page 105 / 143 » Verification and Compliance Testing |
124
click to vote
ICETET
2009
IEEE
14 years 10 months ago
2009
IEEE
With increasing concern about energy shortage and environmental protection, research on reducing exhaust emissions, reducing fuel consumption, reducing engine noise and increasing...
136
click to vote
SIGMOD
2011
ACM
14 years 3 months ago
2011
ACM
Information Extraction (IE) — the problem of extracting structured information from unstructured text — has become the key enabler for many enterprise applications such as sem...
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
A human iris coding technique is reported based upon differences in the power spectrum of fragments from normalized iris images. The procedure has been applied to a set of 2174 im...
DAC
2000
ACM
16 years 1 months ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...
106
Voted
CADE
2006
Springer
16 years 23 days ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...