Sciweavers

7623 search results - page 439 / 1525
» Algorithmic Features of Eclat
Sort
View
PAAMS
2010
Springer
15 years 4 months ago
A Case Study on Grammatical-Based Representation for Regular Expression Evolution
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
Antonio González-Pardo, David F. Barrero, D...
TACAS
2010
Springer
151views Algorithms» more  TACAS 2010»
15 years 4 months ago
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
K. Rustan M. Leino, Philipp Rümmer
HCI
2009
15 years 4 months ago
Interactive Object Segmentation System from a Video Sequence
In this paper, we present an interactive object segmentation system form video, such as TV products and films, for converting 2D to 3D contents. It is focused on reducing the proce...
Guntae Bae, Soo Yeong Kwak, Hyeran Byun
ICCV
2009
IEEE
15 years 4 months ago
Probabilistic occlusion boundary detection on spatio-temporal lattices
In this paper, we present an algorithm for occlusion boundary detection. The main contribution is a probabilistic detection framework defined on spatio-temporal lattices, which en...
Mehmet Emre Sargin, Luca Bertelli, Bangalore S. Ma...
ICDAR
2009
IEEE
15 years 4 months ago
Page Rule-Line Removal Using Linear Subspaces in Monochromatic Handwritten Arabic Documents
In this paper we present a novel method for removing page rule lines in monochromatic handwritten Arabic documents using subspace methods with minimal effect on the quality of the...
Wael Abd-Almageed, Jayant Kumar, David S. Doermann