313 search results - page 43 / 63 » Preprocessors from an Abstract Point of View |
224
click to vote
BSL
2011
14 years 10 months ago
2011
show that an abstract analysis of one of these three set theoretic principles can sometimes lead us to results that do not require additional axioms at all but which could have bee...
150
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
231
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
143
Voted
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The aggregation of objectives in multiple criteria programming is one of the simplest and widely used approach. But it is well known that these techniques sometimes fail ...
114
click to vote
CVPR
1999
IEEE
16 years 5 months ago
1999
IEEE
We use the color cooccurrence histogram (CH) for recognizing objects in images. The color CH keeps track of the number of pairs of certain colored pixels that occur at certain sep...