3199 search results - page 192 / 640 » Variability in Automation System Models |
193
click to vote
ICIP
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper we propose a novel algorithm for super resolution based on total variation prior and variational distribution approximations. We formulate the problem using a hierar...
197
click to vote
ATVA
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
181
click to vote
MOMPES
2007
IEEE
16 years 22 days ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
195
click to vote
JMLR
2010
15 years 1 months ago
2010
This paper studies the feasibility and interpretation of learning the causal structure from observational data with the principles behind the Kolmogorov Minimal Sufficient Statist...
159
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...