511 search results - page 55 / 103 » More Precise Partition Abstractions |
FM
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
AAAI
1992
13 years 10 months ago
1992
models require the identi cation of abstractions and approximations that are well suited to the task at hand. In this paper we analyze the problem of automatically selecting adequ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Model transformations operate on models conforming to precisely defined metamodels. Consequently, it often seems relatively easy to chain them: the output of a transforma...
VISAPP
2010
13 years 6 months ago
2010
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
AI
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Today’s case based reasoning applications face several challenges. In a typical application, the case bases grow at a very fast rate and their contents become increasin...