3342 search results - page 477 / 669 » Automating Abstract Interpretation |
120
Voted
CAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We generalize a learning algorithm originally devised for deterministic all-accepting weighted tree automata (wta) to the setting of arbitrary deterministic wta. The lear...
96
Voted
CAIP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a framework for fast and automated initialization of segmentation algorithms in Computed Tomography images. Based on the idea that time-consuming voxel classi...
99
Voted
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
115
Voted
DSOM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Service Level Agreements (SLA) are needed to allow business interactions to rely on Internet services. Service Level Objectives (SLO) specify the committed performance le...
114
Voted
ECSA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....