185 search results - page 27 / 37 » Generating test cases for specification mining |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
: This paper presents some aspects related to the DVB (Digital Video Broadcasting) investigation. Thebasicaspectsof DVB are presented, with an emphasis on DVB-T version of standard...
DATE
2002
IEEE
14 years 18 days ago
2002
IEEE
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...
ADMA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper describes an approach to identifying and comparing frequent pattern trends in social networks. A frequent pattern trend is defined as a sequence of time-stampe...
ICDCS
1993
IEEE
13 years 11 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
KDD
2000
ACM
13 years 11 months ago
2000
ACM
To improve the accuracy in terms of precision and recall of an audio information retrieval system we have created a domainspecific ontology (a collection of key concepts and their...