8094 search results - page 150 / 1619 » Improvements in Formula Generalization |
CDB
1997
Springer
14 years 1 months ago
1997
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and investigate the expressibility of the topological connectivity query for these databa...
EUROGP
2000
Springer
14 years 26 days ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it provides a solution to an entire category of problems. For example, the fa...
ENTCS
2011
13 years 4 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
AI
2002
Springer
13 years 9 months ago
2002
Springer
We present a simple general scheme for improving margins that is inspired on well known margin theory principles. The scheme is based on a sample re-weighting strategy. The very b...
SAIG
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...