88 search results - page 7 / 18 » A Comparison of Modular Verification Techniques |
DAC
2005
ACM
14 years 11 months ago
2005
ACM
An efficient approach to full-wave impedance extraction is developed that accounts for substrate effects through the use of two-layer media Green's functions in a mixed-poten...
CIKM
2008
Springer
14 years 25 days ago
2008
Springer
Statistical machine learning techniques for data classification usually assume that all entities are i.i.d. (independent and identically distributed). However, real-world entities...
BMCBI
2008
13 years 11 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
ACSD
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
NC
1998
14 years 6 days ago
1998
This paper reports the results of experiments in complex Arabic phonetic features identification using a rulebased system (SARPH) and modular connectionist architectures. The firs...