2040 search results - page 18 / 408 » On the Complexity of Error Explanation |
SPIN
2012
Springer
11 years 10 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Convolutional network-error correcting codes (CNECCs) are known to provide error correcting capability in acyclic instantaneous networks within the network coding paradigm under sm...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
Self-explaining has been repeatedly shown to result in positive learning outcomes for students in a wide variety of disciplines. However, there are two potential accounts for why s...
COGSCI
2004
13 years 7 months ago
2004
I show how a conversational process that takes simple, intuitively meaningful steps may be understood as a sophisticated computation that derives the richly detailed, complex repr...
ECCV
2008
Springer
13 years 8 months ago
2008
Springer
This paper presents a probabilistic grammar approach to the recognition of complex events in videos. Firstly, based on the original motion features, a rule induction algorithm is a...