Sciweavers

1419 search results - page 172 / 284
» Analysis of Summarization Evaluation Experiments
Sort
View
ICCV
2007
IEEE
15 years 12 months ago
Using High-Level Visual Information for Color Constancy
We propose to use high-level visual information to improve illuminant estimation. Several illuminant estimation approaches are applied to compute a set of possible illuminants. Fo...
Joost van de Weijer, Cordelia Schmid, Jakob J. Ver...
ISBI
2006
IEEE
15 years 10 months ago
Bayesian tracking for fluorescence microscopic imaging
Fluorescence microscopy is a powerful imaging tool for studying molecular dynamics in living cells. For quantitative motion analysis of subcellular structures robust and accurate ...
Ihor Smal, Wiro J. Niessen, Erik H. W. Meijering
VLDB
2009
ACM
130views Database» more  VLDB 2009»
15 years 10 months ago
Multi-dimensional top-k dominating queries
Abstract The top-k dominating query returns k data objects which dominate the highest number of objects in a dataset. This query is an important tool for decision support since it ...
Man Lung Yiu, Nikos Mamoulis
FMCAD
2009
Springer
15 years 4 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
COMPSAC
2007
IEEE
15 years 2 months ago
AOP-based automated unit test classification of large benchmarks
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
Cyrille Artho, Zhongwei Chen, Shinichi Honiden