Sciweavers

3333 search results - page 477 / 667
» Abstract Proof Search
Sort
View
ADBIS
2005
Springer
170views Database» more  ADBIS 2005»
15 years 11 months ago
Architecture of Pattern Management Software System
Patterns and models are artifacts that are assets to their owners. Storing them in a repository and using common interfaces for their management simplifies their usage. This articl...
Erki Eessaar
167
Voted
CIVR
2005
Springer
134views Image Analysis» more  CIVR 2005»
15 years 11 months ago
Modeling Multi-object Spatial Relationships for Satellite Image Database Indexing and Retrieval
Abstract. Geospatial information analysts are interested in spatial configurations of objects in satellite imagery and, more importantly, the ability to search a large-scale datab...
Grant J. Scott, Matt Klaric, Chi-Ren Shyu
CP
2005
Springer
15 years 11 months ago
Robust Constraint Solving Using Multiple Heuristics
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
Alfio Vidotto, Kenneth N. Brown, J. Christopher Be...
CPM
2005
Springer
105views Combinatorics» more  CPM 2005»
15 years 11 months ago
Reducing the Size of NFAs by Using Equivalences and Preorders
Abstract. The efficiency of regular expression matching algorithms depends very much on the size of the nondeterministic finite automata (NFA) obtained from regular expressions. R...
Lucian Ilie, Roberto Solis-Oba, Sheng Yu
EMMCVPR
2005
Springer
15 years 11 months ago
One-Shot Integral Invariant Shape Priors for Variational Segmentation
Abstract. We match shapes, even under severe deformations, via a smooth reparametrization of their integral invariant signatures. These robust signatures and correspondences are th...
Siddharth Manay, Daniel Cremers, Anthony J. Yezzi,...