40 search results - page 7 / 8 » Graph Transformation Units - An Overview |
132
Voted
JAIR
2007
15 years 1 months ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...
129
click to vote
JOT
2008
15 years 1 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
112
click to vote
DSVIS
1994
Springer
15 years 5 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
136
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we propose a novel framework for contour based object detection. Compared to previous work, our contribution is three-fold. 1) A novel shape matching scheme suitabl...
119
Voted
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
SIMD (Single Instruction, Multiple Data) engines are an essential part of the processors in various computing markets, from servers to the embedded domain. Although SIMD-enabled a...