3256 search results - page 338 / 652 » Applications of Formal Methods to System Design and Verifica... |
186
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Adaptive transceivers play an important role in wireless communications and the design of MIMO systems. Therefore models that enable simulation of dynamic and time varying chan...
147
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper, we discuss methods of measuring the performance of ontology-based information extraction systems. We focus particularly on the Balanced Distance Metric (BDM), a new...
188
click to vote
JUCS
2002
15 years 6 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
188
click to vote
VLSID
2001
IEEE
16 years 7 months ago
2001
IEEE
In this paper, we propose a new transparent built-in self-test ( TBIST ) method to test multiple embedded memory arrays with various sizes in parallel. First, a new transparent tes...
212
click to vote
EOR
2007
15 years 6 months ago
2007
Credit scoring is a method of modelling potential risk of credit applications. Traditionally, logistic regression, linear regression and discriminant analysis are the most popular...