4167 search results - page 354 / 834 » Regression model checking |
161
click to vote
IJCAI
2003
15 years 6 months ago
2003
Bayesian network models are widely used for discriminative prediction tasks such as classification. Usually their parameters are determined using 'unsupervised' methods ...
114
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
142
click to vote
WOA
2007
15 years 6 months ago
2007
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
150
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
137
click to vote
TACAS
2010
Springer
15 years 3 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...