3954 search results - page 265 / 791 » Image-based Model Completion |
157
click to vote
KBS
2006
15 years 6 months ago
2006
Recent research has recognised that multicriteria decision making (MCDM) should take account of uncertainty, risk and confidence. This paper takes this research forward by using l...
132
click to vote
MLQ
2006
15 years 6 months ago
2006
We define the concept of a logic frame, which extends the concept stract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the...
164
click to vote
SLOGICA
2008
15 years 6 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
215
click to vote
ASE
2005
15 years 6 months ago
2005
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
134
click to vote
MLQ
2007
15 years 6 months ago
2007
It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w.r.t. the class of all finite MTL-chains. In order to reach a deeper understanding ...