Sciweavers

8228 search results - page 379 / 1646
» Structural Logical Relations
Sort
View
CLA
2007
15 years 8 months ago
Representing Numeric Values in Concept Lattices
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
John L. Pfaltz
WOLLIC
2007
Springer
16 years 27 days ago
Interval Valued QL-Implications
Abstract: The aim of this work is to analyze the relationship between interval QL-implications and interval D-implications, studying some properties that relate these concepts. We ...
Renata Hax Sander Reiser, Graçaliz Pereira ...
ECAI
2004
Springer
16 years 6 days ago
Consistency and Constrained Optimisation for Conditional Preferences
TCP-nets are an extension of CP-nets which allow the expression of conditional relative importance of pairs of variables. In this paper it is shown that a simple logic of condition...
Nic Wilson
EWSA
2004
Springer
16 years 6 days ago
Constraints of Behavioural Inheritance
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design a...
Ella E. Roubtsova, Serguei A. Roubtsov
BIRTHDAY
2006
Springer
15 years 10 months ago
Proving Behavioral Refinements of COL-specifications
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
Michel Bidoit, Rolf Hennicker