2436 search results - page 227 / 488 » Evaluating Adaptive Problem Selection |
135
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
184
click to vote
MIR
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we will propose a novel semi-automatic annotation scheme for video semantic classification. It is well known that the large gap between high-level semantics and low...
138
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— Measurement-based optimization is one important strategy to improve the performance of bandwidth-demanding peer-to-peer systems. However, to date, we have little quantitative k...
141
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Microarray-CGH experiments are used to detect and map chromosomal imbalances, by hybridizing targets of genomic DNA from a test and a reference sample to sequences imm...
115
click to vote
ISBI
2009
IEEE
15 years 10 months ago
2009
IEEE
We address the difficult problem of segmenting the inflamed synovial tissue in multi-modal 3D MR sequences of the wrist. The complex morphology of the structures to segment, the...