Sciweavers

104 search results - page 12 / 21
» Rigid substructure search
Sort
View
ICDAR
2011
IEEE
13 years 10 months ago
Symbol Spotting in Line Drawings through Graph Paths Hashing
—In this paper we propose a symbol spotting technique through hashing the shape descriptors of graph paths (Hamiltonian paths). Complex graphical structures in line drawings can ...
Anjan Dutta, Josep Lladós, Umapada Pal
ICFP
2007
ACM
15 years 10 months ago
Inductive reasoning about effectful data types
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
Andrzej Filinski, Kristian Støvring
WSCG
2004
139views more  WSCG 2004»
15 years 3 days ago
Objects Matching Improvement Using Optimization Techniques in a Geometric Modal Methodology
This work was based on a previously developed methodology using shape modal description for matching image objects. With this methodology, the objects points were matched using a ...
Luísa Ferreira Bastos, João Manuel R...
JCB
2007
136views more  JCB 2007»
14 years 10 months ago
A Structure-Based Flexible Search Method for Motifs in RNA
The discovery of non-coding RNA (ncRNA) motifs and their role in regulating gene expression has recently attracted considerable attention. The goal is to discover these motifs in ...
Isana Veksler-Lublinsky, Michal Ziv-Ukelson, Danny...
CPAIOR
2009
Springer
15 years 5 months ago
Modelling Search Strategies in Rules2CP
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
François Fages, Julien Martin