2286 search results - page 101 / 458 » Algorithms for Categorical Equivalence |
COSIT
2009
Springer
15 years 4 months ago
2009
Springer
Movement patterns of individual entities at the geographic scale are becoming a prominent research focus in spatial sciences. One pertinent question is how cognitive and formal cha...
CIE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
NIPS
2007
14 years 11 months ago
2007
Assessing similarity between features is a key step in object recognition and scene categorization tasks. We argue that knowledge on the distribution of distances generated by sim...
DCC
2007
IEEE
15 years 9 months ago
2007
IEEE
Many data compression methods cannot remove all redundancy from a file that they compress because it can be encoded to many compressed files. In particular, we consider the redund...
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...