1111 search results - page 191 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
IBPRIA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper presents a new approach to the problem of simultaneous location and segmentation of object in images. The main emphasis is done on the information provided by ...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Software architecture evaluation has a crucial role in the life cycle of software intensive systems. In this paper we propose an approach to empower a software architecture evalua...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
MICCAI
2010
Springer
13 years 7 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...
IJCAI
1989
13 years 9 months ago
1989
To explore the parallelism among rules is one of the ways to increase the speed of production systems. In this paper, an Object Pattern Matching model is proposed to interpret the...