Sciweavers

1256 search results - page 150 / 252
» Experiences with the DEVStone benchmark
Sort
View
114
Voted
ADC
2009
Springer
113views Database» more  ADC 2009»
15 years 7 months ago
Ranking-Constrained Keyword Sequence Extraction from Web Documents
Given a large volume of Web documents, we consider problem of finding the shortest keyword sequences for each of the documents such that a keyword sequence can be rendered to a g...
Ding-Yi Chen, Xue Li, Jing Liu, Xia Chen
ARCS
2009
Springer
15 years 7 months ago
Evaluating Sampling Based Hotspot Detection
In sampling based hotspot detection, performance engineers sample the running program periodically and record the Instruction Pointer (IP) addresses at the sampling. Empirically, f...
Qiang Wu, Oskar Mencer
CIVR
2009
Springer
151views Image Analysis» more  CIVR 2009»
15 years 7 months ago
Reusing annotation labor for concept selection
Describing shots through the occurrence of semantic concepts is the first step towards modeling the content of a video semantically. An important challenge is to automatically se...
Robin Aly, Djoerd Hiemstra, Arjen P. de Vries
95
Voted
EMO
2009
Springer
219views Optimization» more  EMO 2009»
15 years 7 months ago
An Elitist GRASP Metaheuristic for the Multi-objective Quadratic Assignment Problem
We propose an elitist Greedy Randomized Adaptive Search Procedure (GRASP) metaheuristic algorithm, called mGRASP/MH, for approximating the Pareto-optimal front in the multi-objecti...
Hui Li, Dario Landa Silva
FMCAD
2009
Springer
15 years 7 months ago
Decision diagrams for linear arithmetic
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
Sagar Chaki, Arie Gurfinkel, Ofer Strichman