252 search results - page 12 / 51 » A Representation for Bit Section Based Analysis and Optimiza... |
IPMI
2007
Springer
14 years 8 months ago
2007
Springer
A crucial problem in statistical shape analysis is establishing the correspondence of shape features across a population. While many solutions are easy to express using boundary re...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
EGH
2004
Springer
14 years 23 days ago
2004
Springer
This paper discusses how to squeeze volume rendering into as few bits per operation as possible while still retaining excellent image quality. For each of the typical volume rende...
DAGM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We propose a novel method for addressing the model selection problem in the context of kernel methods. In contrast to existing methods which rely on hold-out testing or t...
SCIA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The accuracy of data classification methods depends considerably on the data representation and on the selected features. In this work, the elastic net model selection i...