1943 search results - page 122 / 389 » Ordering Default Theories |
200
click to vote
RULEML
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Uncertainty, like imprecision and vagueness, has gained considerable attention the last decade. To this extend we present a preliminary report on extending the Rule Marku...
181
click to vote
IEEEICCI
2002
IEEE
15 years 12 months ago
2002
IEEE
The paper describes the process of program comprehension from the point of view of constructivist theory of learning. According to this view, program comprehension starts with the...
195
click to vote
CASC
2006
Springer
15 years 10 months ago
2006
Springer
Homological Perturbation Theory [11, 13] is a well-known general method for computing homology, but its main algorithm, the Basic Perturbation Lemma, presents, in general, high com...
181
click to vote
COCOON
1995
Springer
15 years 10 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
139
click to vote
LWA
2007
15 years 8 months ago
2007
Adaptive reading assistance can improve the reading performance of students, but current dyslexia pedagogical theories do not yet provide sound results on a micro-level. We want t...