2722 search results - page 103 / 545 » The Model Evolution Calculus |
EXACT
2007
13 years 10 months ago
2007
In a military context, the process of planning operations involves the assessment of the situation, the identification of the most appropriate course of action, the description of...
SPATIALCOGNITION
2004
Springer
14 years 1 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
AIML
2004
13 years 9 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
MVA
2007
13 years 9 months ago
2007
In this paper, we propose a new hybrid model for active contour image segmentation, which is able to segment non-uniform noisy images efficiently. The model is a combination betwe...