1916 search results - page 118 / 384 » Reasoning with class algebra |
103
click to vote
APAL
2010
15 years 27 days ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
113
click to vote
ALP
1992
Springer
15 years 4 months ago
1992
Springer
The paper presents a new schematization of in nite families of terms called the primal grammars, based on the notion of primitive recursive rewrite systems. This schematization is...
131
click to vote
ICCV
2011
IEEE
14 years 23 days ago
2011
IEEE
Rank correlation measures are known for their resilience to perturbations in numeric values and are widely used in many evaluation metrics. Such ordinal measures have rarely been ...
138
click to vote
ATAL
2011
Springer
14 years 22 days ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
110
click to vote
SFP
2004
15 years 2 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...