32545 search results - page 190 / 6509 » Data Structures and Algorithms |
196
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
We address the problem of weakly supervised semantic segmentation. The training images are labeled only by the classes they contain, not by their location in the image. On test im...
136
Voted
SPIRE
2001
Springer
15 years 7 months ago
2001
Springer
The Compact Directed Acyclic Word Graph (CDAWG) is a space efficient data structure that supports indices of a string. The Symmetric Directed Acyclic Word Graph (SCDAWG) for a st...
143
Voted
PRICAI
1998
Springer
15 years 7 months ago
1998
Springer
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
117
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
134
Voted
ADC
2010
Springer
14 years 10 months ago
2010
Springer
Twig joins are key building blocks in current XML indexing systems, and numerous algorithms and useful data structures have been introduced. We give a structured, qualitative anal...