Sciweavers

1632 search results - page 243 / 327
» Topological Analysis of Refinement
Sort
View
PR
2000
153views more  PR 2000»
14 years 10 months ago
A region-level motion-based graph representation and labeling for tracking a spatial image partition
This paper addresses two image sequence analysis issues under a common framework. These tasks are, "rst, motion-based segmentation and second, updating and tracking over time...
Marc Gelgon, Patrick Bouthemy
ICDAR
2009
IEEE
14 years 8 months ago
Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
Pierre Le Bodic, Hervé Locteau, Séba...
CORR
2012
Springer
222views Education» more  CORR 2012»
13 years 6 months ago
A limit process for partial match queries in random quadtrees
We consider the problem of recovering items matching a partially specified pattern in multidimensional trees (quad trees and k-d trees). We assume the classical model where the d...
Nicolas Broutin, Ralph Neininger, Henning Sulzbach
SIGSOFT
2009
ACM
15 years 11 months ago
Automatic steering of behavioral model inference
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
David Lo, Leonardo Mariani, Mauro Pezzè
SIGSOFT
2005
ACM
15 years 11 months ago
Permissive interfaces
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar