Sciweavers

1321 search results - page 81 / 265
» Quadratic forms on graphs
Sort
View
CVPR
2011
IEEE
14 years 4 months ago
A Global Optimization Approach to Robust Multi-Model Fitting
We present a novel Quadratic Program (QP) formulation for robust multi-model fitting of geometric structures in vision data. Our objective function enforces both the fidelity of...
Jin Yu, Tat-Jun Chin, David Suter
122
Voted
AGTIVE
2007
Springer
15 years 6 months ago
AGTIVE 2007 Graph Transformation Tool Contest
Abstract. In this short paper we describe the setup and results of a new initiative to compare graph transformation tools, carried out as part of the AGTIVE 2007 symposium on “Ap...
Arend Rensink, Gabriele Taentzer
97
Voted
GG
2004
Springer
15 years 6 months ago
Representing First-Order Logic Using Graphs
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
Arend Rensink
98
Voted
IJCAI
2007
15 years 2 months ago
Edge Partitioning in External-Memory Graph Search
There is currently much interest in using external memory, such as disk storage, to scale up graph-search algorithms. Recent work shows that the local structure of a graph can be ...
Rong Zhou, Eric A. Hansen
114
Voted
ECEASST
2008
171views more  ECEASST 2008»
15 years 22 days ago
Type Checking C++ Template Instantiation by Graph Programs
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
Karl Azab, Karl-Heinz Pennemann