497 search results - page 10 / 100 » On combinations of local theory extensions |
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
ICIP
2008
IEEE
15 years 6 months ago
2008
IEEE
This work presents a new statistical approach to region merging where regions are modeled as arbitrary discrete distributions, directly estimated from the pixel values. Under this...
102
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Multiple kernel learning (MKL) uses a weighted combination of kernels where the weight of each kernel is optimized during training. However, MKL assigns the same weight to a kerne...
102
click to vote
ICIP
1998
IEEE
16 years 1 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
PODS
2006
ACM
15 years 11 months ago
2006
ACM
The query equivalence problem has been studied extensively for set-semantics and, more recently, for bag-set semantics. However, SQL queries often combine set and bag-set semantic...