8838 search results - page 68 / 1768 » Generalizing Domain Theory |
123
click to vote
FP
1991
15 years 3 months ago
1991
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
ICCBR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Acquiring adaptation knowledge for case-based reasoning systems is a challenging problem. Such knowledge is typically elicited from domain experts or extracted from the c...
SMI
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—This paper develops a new trivariate hierarchical spline scheme for volumetric data representation. Unlike conventional spline formulations and techniques, our new frame...
114
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
Enterprise search is challenging for several reasons, notably the dynamic terminology and jargon that are specific to the enterprise domain. This challenge is partly addressed by...
CORR
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Let R be a real closed field and D ⊂ R an ordered domain. We give an algorithm that takes as input a polynomial Q ⊂ D[X1, . . . , Xk], and computes a description of ...