686 search results - page 80 / 138 » Tradeoff analysis between knowledge assessment approaches |
154
click to vote
DSVIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
156
click to vote
GFKL
2006
Springer
15 years 10 months ago
2006
Springer
Stemming algorithms find canonical forms for inflected words, e. g. for declined nouns or conjugated verbs. Since such a unification of words with respect to gender, number, time, ...
158
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
We describe a new approach for creating concise high-level generative models from range images or other approximate representations of real objects. Using data from a variety of a...
149
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
This paper discusses an approach to the electronic (automatic) marking of examination papers, in particular, the extent to which it is possible to mark a candidate’s answers aut...
170
click to vote
ALIFE
2006
15 years 6 months ago
2006
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...