Sciweavers

5393 search results - page 70 / 1079
» Spatial Computing with Labels
Sort
View
CVPR
2004
IEEE
14 years 10 months ago
Multiscale Conditional Random Fields for Image Labeling
We propose an approach to include contextual features for labeling images, in which each pixel is assigned to one of a finite set of labels. The features are incorporated into a p...
Miguel Á. Carreira-Perpiñán, ...
ICIP
2009
IEEE
14 years 10 months ago
Fast Block Based Connected Components Labeling
In this paper we present a new optimization technique for the neighborhood computation in connected component labeling focused on images stored in raster scan order. This new tech...
SOFSEM
2010
Springer
14 years 3 months ago
On a Labeled Vehicle Routing Problem
In this paper, we study the complexity and (in)approximability of the minimum label vehicle routing problem. Given a simple complete graph G = (V, E) containing a special vertex 0 ...
Hatem Chatti, Laurent Gourvès, Jér&o...
TABLEAUX
2000
Springer
14 years 12 days ago
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
Alberto Artosi, Guido Governatori, Antonino Rotolo
LOGCOM
2002
105views more  LOGCOM 2002»
13 years 8 months ago
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
Alberto Artosi, Guido Governatori, Antonino Rotolo