88 search results - page 7 / 18 » A Comparison of Modular Verification Techniques |
124
Voted
DAC
2005
ACM
16 years 4 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...
147
click to vote
CIKM
2008
Springer
15 years 5 months 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...
155
click to vote
BMCBI
2008
15 years 3 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 ...
139
Voted
ACSD
2010
IEEE
15 years 1 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...
146
Voted
NC
1998
15 years 5 months 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...