2762 search results - page 123 / 553 » A Quality Model for Evaluating Feature Models |
131
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
245
click to vote
RECOMB
2011
Springer
14 years 7 months ago
2011
Springer
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...
153
click to vote
BILDMED
2009
15 years 1 months ago
2009
Abstract. Positron emission tomography (PET) is used for independent monitoring of dose delivery in ion therapy. An in-beam PET scanner registers the annihilation γ-rays following...
125
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper, we present a new model-based approach for building 3-D models of vehicles from color video provided by a traffic surveillance camera. We incrementally build 3D mode...
169
click to vote
EUROS
2006
15 years 7 months ago
2006
Abstract. The Scale Invariant Feature Transform (SIFT) has become a popular feature extractor for vision-based applications. It has been successfully applied to metric localization...