Sciweavers

4235 search results - page 314 / 847
» Process Spaces
Sort
View
ICPR
2010
IEEE
15 years 8 months ago
Ruling Line Removal in Handwritten Page Images
In this paper we present a procedure for removing ruling lines from a handwritten document image that does not break existing characters. We take advantage of common ruling line p...
Daniel Lopresti, Ergina Kavallieratou
TALG
2008
131views more  TALG 2008»
15 years 6 months ago
Kinetic and dynamic data structures for closest pair and all nearest neighbors
We present simple, fully dynamic and kinetic data structures, which are variants of a dynamic two-dimensional range tree, for maintaining the closest pair and all nearest neighbors...
Pankaj K. Agarwal, Haim Kaplan, Micha Sharir
ICIP
2007
IEEE
16 years 8 months ago
Projection onto a Shape Manifold for Image Segmentation with Prior
Image segmentation with shape priors has received a lot of attention over the past years. Most existing work focuses on a linearized shape space with small deformation modes aroun...
Florent Ségonne, Patrick Etyngier, Renaud K...
CVPR
2009
IEEE
17 years 1 months ago
Learning Visual Flows: A Lie Algebraic Approach
We present a novel method for modeling dynamic visual phenomena, which consists of two key aspects. First, the in- tegral motion of constituent elements in a dynamic scene is ca...
Dahua Lin, W. Eric L. Grimson, John W. Fisher III
EUROCAST
2007
Springer
131views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Efficient Model Checking of Applications with Input/Output
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
Cyrille Artho, Boris Zweimüller, Armin Biere,...