2722 search results - page 41 / 545 » The Model Evolution Calculus |
CAI
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. This paper discusses schema evolution in software engineering databases. After a study of existing approaches, we show that these approaches do not satisfy software engin...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
In this paper, a hybrid medical image segmentation approach is proposed based on a dual front evolution and fast sweeping evolution. This approach is composed of two stages. In th...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
CLIMA
2007
13 years 9 months ago
2007
Abstract. In this paper we present an implementation of EVOLP under the Evolution Stable Model semantics, based on the transformation defined in [1]. We also discuss optimizations...
UAI
2001
13 years 9 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...