2989 search results - page 16 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
102
click to vote
CSC
2009
15 years 23 days ago
2009
- In this paper, we introduce a new parameter iteration method (P-Iteration for short) which can be applied on Adams-Moulton methods to solve initial value problems. Compared with ...
101
click to vote
DAC
2009
ACM
16 years 20 days ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
91
Voted
ISIM
2007
15 years 1 months ago
2007
One of the main problems connected with the formal concept analysis and lattice construction is the high complexity of algorithms which plays a significant role when computing all ...
105
click to vote
FLAIRS
2004
15 years 1 months ago
2004
Taxonomic case-based reasoning is a conversational casebased reasoning methodology that employs feature subsumption taxonomies for incremental case retrieval. Although this approa...
88
Voted
ISQED
2008
IEEE
15 years 6 months ago
2008
IEEE
Correct input/output behavior of circuits in presence of internal malfunctions becomes more and more important. But reliable and efficient methods to measure this robustness are ...