821 search results - page 117 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
ETRA
2010
ACM
15 years 5 months ago
2010
ACM
There has been increased interest in reliable, non-intrusive methods of biometric identification due to the growing emphasis on security and increasing prevalence of identity thef...
118
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
141
click to vote
MICCAI
2000
Springer
15 years 3 months ago
2000
Springer
We present a novel approach to statistical shape analysis of anatomical structures based on small sample size learning techniques. The high complexity of shape models used in medic...
218
click to vote
IPMI
2011
Springer
14 years 3 months ago
2011
Springer
Many current medical image analysis problems involve learning thousands or even millions of model parameters from extremely few samples. Employing sparse models provides an effecti...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...