10038 search results - page 1835 / 2008 » Model Checking for Managers |
130
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
167
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...
128
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Inverse document frequency (IDF) is one of the most useful and widely used concepts in information retrieval. There have been various attempts to provide theoretical justification...
125
Voted
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a multi-stage ensemble framework, ErrorDriven Generalist+Expert or Edge, for improved classification on large-scale text categorization problems. Edge first trains a ...
146
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Evaluation in Information Retrieval (IR) has long focused on effectiveness and efficiency. However, new and emerging access tasks now demand alternative evaluation measures which ...