2649 search results - page 191 / 530 » Argumentation for Decision Support |
189
click to vote
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
187
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
156
click to vote
ALIFE
2006
15 years 6 months ago
2006
An evolutionary system that supports the interaction of neutral and adaptive mutations is investigated. Experimental results on a Boolean function and needle-in-haystack problems s...
179
click to vote
JNS
2008
15 years 6 months ago
2008
We investigate the regularization of Moore's singularities by surface tension in the evolution of vortex sheets and its dependence on Weber number (which is inversely proport...
155
click to vote
JUCS
2008
15 years 6 months ago
2008
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...