1550 search results - page 208 / 310 » Benchmarking for Graph Transformation |
87
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
Research in algorithms for Boolean satisfiability and their efficient implementations [26, 8] has recently outpaced benchmarking efforts. Most of the classic DIMACS benchmarks fro...
113
Voted
PAMI
2008
15 years 18 days ago
2008
Among the most exciting advances in early vision has been the development of efficient energy minimization algorithms for pixel-labeling tasks such as depth or texture computation....
104
click to vote
JOIN
2007
15 years 17 days ago
2007
In this paper, we show that universal routing can be achieved with low overhead in distributed networks. The validity of our results rests on a new network called the fat-stack. W...
144
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
110
Voted
AAAI
2007
15 years 3 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...