We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
In this article we present an automatic on-line color calibration system that makes extensive use of the spatial relationships between color classes in the color space. First, we i...
Pablo Guerrero, Javier Ruiz-del-Solar, Josué...
- The classifier built from a data set with a highly skewed class distribution generally predicts the more frequently occurring classes much more often than the infrequently occurr...
We show that the discrimination between visually similar classes often depends on the detection of socalled ‘satellite features’. These are local features which are not inform...