7886 search results - page 312 / 1578 » An evaluation of bipartitioning techniques |
169
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
197
Voted
RIAO
2007
15 years 9 months ago
2007
In this paper, we describe some experiments in large-scale Information Extraction (IE) focusing on book texts. We investigate the scalability of IE techniques to full-sized books,...
257
Voted
FMCO
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
197
Voted
QEST
2009
IEEE
16 years 2 months ago
2009
IEEE
—We consider a distributed shuffling algorithm for sharing data in a distributed network. Nodes executing the algorithm periodically contact each other and exchange data. The be...
175
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Measuring system performance seems conceptually straightforward. However, the interpretation of the results and predicting future performance remain as exceptional challenges in s...