388 search results - page 2 / 78 » Quantifying Similarities Between Timed Systems |
APLAS
2009
ACM
13 years 10 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
ICONIP
2008
13 years 7 months ago
2008
A variety of (dis)similarity measures for one-dimensional point processes (e.g., spike trains) are investigated, including the Victor-Purpura distance metric, the van Rossum distan...
WWW
2009
ACM
14 years 6 months ago
2009
ACM
Measuring the similarity between semantic relations that hold among entities is an important and necessary step in various Web related tasks such as relation extraction, informati...
EWCBR
2008
Springer
13 years 7 months ago
2008
Springer
Textual-case based reasoning (TCBR) systems where the problem and solution are in free text form are hard to evaluate. In the absence of class information, domain experts are neede...
AINA
2009
IEEE
14 years 18 days ago
2009
IEEE
One of the novel benefits of virtualization is the ability to emulate many hosts with a single physical machine. This approach is often used to support at-scale testing for large...