Sciweavers

1940 search results - page 174 / 388
» Graph Transformation with Variables
Sort
View
128
Voted
3DOR
2009
15 years 4 months ago
Retrieval of 3D Articulated Objects Using a Graph-based Representation
Most of the approaches which address the problem of 3D object retrieval, use global descriptors of the objects which fail to consistently compensate for the intra-class variabilit...
Alexander Agathos, Ioannis Pratikakis, Panagiotis ...
124
Voted
JETAI
1998
110views more  JETAI 1998»
15 years 3 months ago
Independency relationships and learning algorithms for singly connected networks
Graphical structures such as Bayesian networks or Markov networks are very useful tools for representing irrelevance or independency relationships, and they may be used to e cientl...
Luis M. de Campos
131
Voted
SCAM
2006
IEEE
15 years 9 months ago
SMART C: A Semantic Macro Replacement Translator for C
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
Matthew Jacobs, E. Christopher Lewis
144
Voted
LPAR
2005
Springer
15 years 9 months ago
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti G...
146
Voted
ICPR
2008
IEEE
16 years 4 months ago
Object recognition and segmentation using SIFT and Graph Cuts
In this paper, we propose a method of object recognition and segmentation using Scale-Invariant Feature Transform (SIFT) and Graph Cuts. SIFT feature is invariant for rotations, s...
Akira Suga, Keita Fukuda, Tetsuya Takiguchi, Yasuo...