154 search results - page 4 / 31 » Abstract Interpretation with Applications to Timing Validati... |
MICCAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In order to evaluate the quality of segmentations of an image and assess intra- and inter-expert variability in segmentation performance, an Expectation Maximization (EM)...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
DT
2000
13 years 8 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
PKDD
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. One solution to the lack of label problem is to exploit transfer learning, whereby one acquires knowledge from source-domains to improve the learning performance in the t...