5122 search results - page 2 / 1025 » Comparing Consequence Relations |
OTM
2009
Springer
13 years 11 months ago
2009
Springer
Natural language-based conceptual modelling as well as the use of diagrams have been essential components of fact-oriented modelling from its inception. However, transforming natur...
SYNTHESE
2008
13 years 5 months ago
2008
The interest of epistemic comparative conditionals comes from the fact that they represent genuine `comparative epistemic relations' between propositions, situations, evidence...
ACSC
2008
IEEE
13 years 11 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
CVPR
2008
IEEE
14 years 7 months ago
2008
IEEE
Histograms represent a popular means for feature representation. This paper is concerned with the problem of exhaustive histogram-based image search. Several standard histogram co...
JOLLI
2010
13 years 3 months ago
2010
We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between simple preferential struct...