4341 search results - page 344 / 869 » Quantitative Model checking |
184
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
It is well known that our prior knowledge and experiences affect how we learn new concepts. Although several formal modeling attempts have been made to quantitatively describe the ...
164
click to vote
BILDMED
2008
15 years 8 months ago
2008
For the planning of surgical interventions of the spine exact knowledge about 3D shape and the local bone quality of vertebrae are of great importance in order to estimate the anch...
191
click to vote
TCS
2008
15 years 6 months ago
2008
We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics--this means that traces, not firing sequences, are given a...
206
click to vote
AC
2002
Springer
15 years 6 months ago
2002
Springer
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
189
click to vote
COLING
2010
15 years 1 months ago
2010
In this paper we investigate the challenges of applying statistical machine translation to meeting conversations, with a particular view towards analyzing the importance of modeli...