5387 search results - page 181 / 1078 » Generating generic functions |
164
click to vote
FSS
2010
15 years 4 months ago
2010
In this paper we extend the geometric approach to the theory of evidence in order to include the class of necessity measures, represented on a finite domain of “frame” by con...
137
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We describe a framework for quantifying color image distortion based on an adaptive signal decomposition. Specifically, local blocks of the image error are decomposed using a set ...
163
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
144
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
142
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
New applications from the areas of analytical data processing and data integration require powerful features to condense and reconcile available data. As outlined in [1], the gene...