1689 search results - page 306 / 338 » Refining abstract interpretations |
FUIN
2008
14 years 10 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
109
click to vote
IFIPTM
2010
14 years 10 months ago
2010
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
MFCS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to infinitesimal perturbations. Whereas the study in [1] was done only f...
108
click to vote
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We apply sparse Bayesian learning methods, automatic relevance determination (ARD) and predictive ARD (PARD), to Alzheimer’s disease (AD) classification to make accura...
OTM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The term ‘Master Data’ brings up different interpretations and connotations, especially with vendors espousing the “single version of the truth”. Is there a singl...