Sciweavers

1996 search results - page 32 / 400
» Financial Theory 2
Sort
View
ENTCS
2002
95views more  ENTCS 2002»
13 years 9 months ago
Deriving Bisimulation Congruences: A 2-categorical Approach
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for p...
Vladimiro Sassone, Pawel Sobocinski
ICPR
2004
IEEE
14 years 11 months ago
Regression Analysis and Automorphic Orbits in Free Groups of Rank 2
The main goal of this paper is to show that pattern recognition techniques can be successfully used in abstract algebra. We introduce a pattern recognition system to recognize wor...
Alexei D. Miasnikov, Robert M. Haralick
COMPGEOM
2001
ACM
14 years 1 months ago
Hierarchical morse complexes for piecewise linear 2-manifolds
We present algorithms for constructing a hierarchy of increasingly coarse Morse complexes that decompose a piecewise linear 2-manifold. While Morse complexes are defined only in t...
Herbert Edelsbrunner, John Harer, Afra Zomorodian
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 7 months ago
1D Effectively Closed Subshifts and 2D Tilings
Michael Hochman showed that every 1D effectively closed subshift can be simulated by a 3D subshift of finite type and asked whether the same can be done in 2D. It turned out that t...
Bruno Durand, Alexander Shen, Andrei E. Romashchen...
BIRTHDAY
2003
Springer
14 years 3 months ago
Towards a Brain Compatible Theory of Syntax Based on Local Testability
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
Stefano Crespi-Reghizzi, Valentino Braitenberg