Sciweavers

28445 search results - page 437 / 5689
» Anatomically based modeling
Sort
View
109
Voted
ASPDAC
2008
ACM
99views Hardware» more  ASPDAC 2008»
15 years 5 months ago
A delay model for interconnect trees based on ABCD matrix
- The accuracy of interconnect delay estimations can be improved by the method presented in this paper in which the first two moments are obtained with ABCD matrix and a stable mod...
Guofei Zhou, Li Su, Depeng Jin, Lieguang Zeng
108
Voted
ECAI
2008
Springer
15 years 5 months ago
Test Generation for Model-Based Diagnosis
This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framewo...
Gregory M. Provan
114
Voted
ECSA
2008
Springer
15 years 5 months ago
A Security Model for Internet-Based Digital Asset Management Systems
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
Ioannis Chatzigiannakis, Vasiliki Liagkou, D. Salo...
PTS
2004
94views Hardware» more  PTS 2004»
15 years 4 months ago
FSM Based Interoperability Testing Methods for Multi Stimuli Model
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna,...
154
Voted
UAI
2001
15 years 4 months ago
Markov Chain Monte Carlo using Tree-Based Priors on Model Structure
We present a general framework for defining priors on model structure and sampling from the posterior using the Metropolis-Hastings algorithm. The key ideas are that structure pri...
Nicos Angelopoulos, James Cussens