Buscar
Mostrando ítems 1-10 de 872
Bisimilarity is not borel
(Cambridge University Press, 2017-10)
We prove that the relation of bisimilarity between countable labelled transition systems (LTS) is Σ1 1-complete (hence not Borel), by reducing the set of non-well orders over the natural numbers continuously to it. This ...
Labeled polygon triangulations
(Wolfram Demonstration Project, 2013)
Labeled polygon triangulations
(Wolfram Demonstration Project, 2016)
Labels for misbehavior in a population with short-run players
(Centro de Investigación y Docencia Económicas, División de Economía, 2016)
Concept of Matching Parallelepiped and its use in the correspondence problem
(1999-12-01)
In this paper, the concept of Matching Parallelepiped (MP) is presented. It is shown that the volume of the MP can be used as an additional measure of `distance' between a pair of candidate points in a matching algorithm ...
Concept of Matching Parallelepiped and its use in the correspondence problem
(1999-12-01)
In this paper, the concept of Matching Parallelepiped (MP) is presented. It is shown that the volume of the MP can be used as an additional measure of `distance' between a pair of candidate points in a matching algorithm ...
Bayes Clustering Operators for Known Random Labeled Point Processes
(IEEE Acoustics Speech and Signal Processing Society, 2013-05)
There is a widespread belief that clustering is inherently subjective. To quote A. K. Jain, "As a task, clustering is subjective in nature. The same dataset may need to be partitioned differently for different purposes." ...
Analytic Representation of Bayes Labeling and Bayes Clustering Operators for Random Labeled Point Processes
(Institute of Electrical and Electronics Engineers, 2015-03)
Clustering algorithms typically group points based on some similarity criterion, but without reference to an underlying random process to make clustering algorithms rigorously predictive. In fact, there exists a probabilistic ...