1550 search results - page 210 / 310 » Benchmarking for Graph Transformation |
86
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper addresses the problem of exactly inferring the maximum a posteriori solutions of discrete multi-label MRFs or CRFs with higher order cliques. We present a framework to ...
111
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
122
Voted
DM
2006
15 years 21 days ago
2006
A computer package is being developed at Bayreuth for the generation and investigation of discrete structures. The package is a C and C++ class library of powerful algorithms endow...
112
Voted
SMI
2006
IEEE
15 years 6 months ago
2006
IEEE
The description of 3D shapes with features that possess descriptive power and invariant under similarity transformations is one of the most challenging issues in content based 3D ...
108
Voted
CGO
2005
IEEE
15 years 6 months ago
2005
IEEE
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...