304 search results - page 15 / 61 » Generalized interpolation in CASL |
CGF
2005
13 years 10 months ago
2005
This paper discusses the problem of visualizing data where there are underlying constraints that must be preserved. For example, we may know that the data are inherently positive....
SIGSOFT
2006
ACM
14 years 4 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
PPDP
2009
Springer
14 years 5 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
ADCM
1999
13 years 10 months ago
1999
: Given f and rf at the vertices of a rectangular mesh, we build an interpolating function f by a subdivision algorithm. The construction on each elementary rectangle is independen...
CP
2009
Springer
14 years 11 months ago
2009
Springer
We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate explorat...