7766 search results - page 1292 / 1554 » Testing Nondeterminate Systems |
126
click to vote
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
93
Voted
FPL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The paper presents a high performance True Random Number Generator (TRNG) embedded in Altera Stratix Field Programmable Logic Devices (FPLDs). As a source of randomness, ...
111
Voted
ICADL
2004
Springer
15 years 6 months ago
2004
Springer
A robust character region identification approach is proposed here to deal with cover images using a differential top-hat transformation (DTT). The DTT is derived from morphologica...
107
Voted
ICADL
2004
Springer
15 years 6 months ago
2004
Springer
Question Answering has been the recent focus of information retrieval research; many systems just incorporate a search engine as a black box and most effort has been devoted to the...
104
click to vote
ICMI
2004
Springer
15 years 6 months ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...