478 search results - page 81 / 96 » Monads of Regular Theories |
DLT
2008
15 years 9 days ago
2008
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
NIPS
2001
15 years 7 days ago
2001
Abstract--Kernel-based algorithms such as support vector machines have achieved considerable success in various problems in batch setting, where all of the training data is availab...
UAI
2004
15 years 6 days ago
2004
We present new MCMC algorithms for computing the posterior distributions and expectations of the unknown variables in undirected graphical models with regular structure. For demon...
ISMB
2000
15 years 6 days ago
2000
A novel description of protein structure in terms of the generalized secondary structure elements (GSSE) is proposed. GSSE's are defined as fragments of the protein structure...
WEBNET
1998
15 years 6 days ago
1998
: Since 1994 the DIALECT project produces multimedia based lectures. An interdisciplinary production team together with university professors develops digital applications used in ...