1550 search results - page 211 / 310 » Benchmarking for Graph Transformation |
108
click to vote
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
147
click to vote
ASPLOS
1994
ACM
15 years 4 months ago
1994
ACM
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...
137
click to vote
MMB
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. During development, processor architectures can be tuned and configured by many different parameters. For benchmarking, automatic design space explorations (DSEs) with h...
79
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
There are different approaches to pose estimation and registration of different body parts using voxel data. We propose a general bottom-up approach in order to segment the voxels...
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...