1022 search results - page 22 / 205 » Relators and Metric Bisimulations |
ICFP
2010
ACM
15 years 25 days ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
ICML
2003
IEEE
16 years 17 days ago
2003
IEEE
We address the problem of learning distance metrics using side-information in the form of groups of "similar" points. We propose to use the RCA algorithm, which is a sim...
101
click to vote
SNPD
2010
15 years 1 months ago
2010
Abstract--A method for explaining results of a regressionbased classifier is proposed. The data is clustered using a metric extracted from the classifier. This way, clusters found ...
107
click to vote
JOLLI
2007
14 years 11 months ago
2007
This paper investigates whether the model of local rhetorical coherence suggested in Knott et al. (2001) can boost the performance of the Centering-based metrics of entity coheren...