1187 search results - page 58 / 238 » Graph-Based Procedural Abstraction |
FSTTCS
2009
Springer
15 years 1 months ago
2009
Springer
ABSTRACT. Church's Problem asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence I an output sequen...
EUROSPI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents a case study of how a Norwegian company introduced an ISO certified process. By identifying the company's strong and weak sides plus the expectat...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We describe a method for synthesizing reasonable underapproximations to weakest preconditions for termination--a long-standing open problem. The paper provides experiment...
ICALP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
BILDMED
2008
14 years 11 months ago
2008
Abstract We propose an automatic procedure for the correct segmentation of grey and white matter in MR data sets of the human brain. Our method exploits general anatomical knowledg...