6020 search results - page 83 / 1204 » A New Approach to Model Counting |
128
click to vote
AAAI
1990
15 years 4 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
107
click to vote
CVPR
2003
IEEE
16 years 5 months ago
2003
IEEE
Inhomogeneous Gibbs model (IGM) [4] is an effective maximum entropy model in characterizing complex highdimensional distributions. However, its training process is so slow that th...
130
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
137
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
177
click to vote
CVPR
1996
IEEE
15 years 8 months ago
1996
IEEE
A new boundary detection approach for shape modeling is presented. It detects the global minimum of an active contour model's energy between two end points. Initialization is ...