Sciweavers

4814 search results - page 742 / 963
» Combining abstract interpreters
Sort
View
LPAR
2005
Springer
14 years 4 months ago
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti G...
MATES
2005
Springer
14 years 4 months ago
CASCOM: Context-Aware Service Co-ordination in Mobile P2P Environments
Abstract. The research project CASCOM (Context-aware Business Application Service Co-ordination in Mobile Computing Environments) will implement, validate, and trial value-added su...
Heikki Helin, Matthias Klusch, António Lope...
MFCS
2005
Springer
14 years 4 months ago
Coloring Sparse Random k-Colorable Graphs in Polynomial Expected Time
Abstract. Feige and Kilian [5] showed that finding reasonable approximative solutions to the coloring problem on graphs is hard. This motivates the quest for algorithms that eithe...
Julia Böttcher
MICAI
2005
Springer
14 years 4 months ago
Analysis of Performance of Fuzzy Logic-Based Production Scheduling by Simulation
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
Alejandra Duenas, Dobrila Petrovic, Sanja Petrovic
MICCAI
2005
Springer
14 years 4 months ago
Automatic Segmentation of Intra-treatment CT Images for Adaptive Radiation Therapy of the Prostate
Abstract. We have been developing an approach for automatically quantifying organ motion for adaptive radiation therapy of the prostate. Our approach is based on deformable image r...
B. C. Davis, Mark Foskey, Julian Rosenman, L. Goya...