8838 search results - page 369 / 1768 » Generalizing Domain Theory |
154
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
160
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. This paper presents a theory for constructing and computing velocity-adapted scale-space filters for spatio-temporal image data. Starting from basic criteria in terms of ...
173
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
This paper focuses on whether learners of basic music theory may find a multiple-media independent open learner model useful to explore their knowledge of harmony concepts. Learner...
171
click to vote
ICCBR
1995
Springer
15 years 10 months ago
1995
Springer
The particular strength of CBR is normally considered to be its use in weak theory domains where solution quality is compiled into cases and is reusable. In this paper we explore a...
179
click to vote
AAAI
1994
15 years 8 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...