2646 search results - page 276 / 530 » Local Type Inference |
194
click to vote
JSYML
2008
15 years 6 months ago
2008
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...
159
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...
181
Voted
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper we present a probabilistic framework for tracking regions based on their appearance. We exploit the feature-spatial distribution of a region representing an object a...
161
Voted
ICCV
1999
IEEE
16 years 8 months ago
1999
IEEE
In this paper, we describe a new region-based approach to active contours for segmenting images composed of two or three types of regions characterizable by a given statistic. The...
162
click to vote
AVSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a shadow removal algorithm for indoor scenes. This algorithm uses three types of constraints: chromaticity consistency, texture consistency and range of ...