4150 search results - page 437 / 830 » A Practical Approach to Model Extension |
224
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
In a variety of disciplines such as social sciences, psychology, medicine and economics, the recorded data are considered to be noisy measurements of latent variables connected by...
220
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
155
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper, we propose a new architecture-level parameterized transient thermal behavioral modeling algorithm for emerging thermal related design and optimization problems for ...
159
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
177
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...