1022 search results - page 30 / 205 » Relators and Metric Bisimulations |
ICMCS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we present an improved method of anchor models for speaker verification. Anchor model is the method that represent a speaker by his relativity of a set of other sp...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Here is proposed a review of the different choices to structure spike trains, using deterministic metrics. Temporal constraints observed in biological or computational spike train...
ICML
2003
IEEE
16 years 18 days ago
2003
IEEE
In this paper we analyze the most popular evaluation metrics for separate-and-conquer rule learning algorithms. Our results show that all commonly used heuristics, including accur...
CONCUR
1991
Springer
15 years 3 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
LREC
2008
15 years 1 months ago
2008
Recent years have seen increasing attention in temporal processing of texts as well as a lot of standardization effort of temporal information in natural language. A central part ...