1550 search results - page 106 / 310 » Benchmarking for Graph Transformation |
109
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We present a grammar-based genetic programming framework for the solving the timetabling problem via the evolution of constructive heuristics. The grammar used for prod...
120
click to vote
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
The use of a realistic component library with multiple implementations of operators, results in cost ef cient designs; slow components can then be used on non-critical paths and t...
112
click to vote
ASPDAC
2000
ACM
15 years 7 months ago
2000
ACM
- This paper describes the design and implementation of a reconfigurable synchronized dataflow processor (RSDP). The RSDP can configure its hardware to directly represent dataflow ...
120
Voted
JMLR
2010
14 years 10 months ago
2010
In this paper, we consider two variance reduction schemes that exploit the structure of the primal graph of the graphical model: Rao-Blackwellised w-cutset sampling and AND/OR sam...
150
click to vote
GG
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...