1179 search results - page 105 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
119
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
A rational Arnoldi method for passivity-preserving model-order reduction (MOR) with implicit multi-point moment matching for systems with frequency-dependent interconnects is desc...
137
click to vote
MABS
2007
Springer
15 years 10 months ago
2007
Springer
This paper contributes to the analysis of the question how altruistic behaviour can be in an agent’s own interest. The question is addressed by involving a temporal dimension in ...
105
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
We provide a system for surfing the web at a high level of abstraction, which is an analogy of the web browser, but which displays entire sites at a time. It allows a principled i...
127
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
124
click to vote
AI
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper investigates the methods for learning predictive classifiers based on Bayesian belief networks (BN) – primarily unrestricted Bayesian networks and Bayesian m...