Sciweavers

2623 search results - page 251 / 525
» Universal Learning Theory
Sort
View
CALCO
2009
Springer
115views Mathematics» more  CALCO 2009»
16 years 1 months ago
Relating Coalgebraic Notions of Bisimulation
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
Sam Staton
CALCO
2009
Springer
176views Mathematics» more  CALCO 2009»
16 years 1 months ago
Complementation of Coalgebra Automata
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
Christian Kissig, Yde Venema
IJCNN
2007
IEEE
16 years 28 days ago
Computational Templates, Neural Network Dynamics, and Symbolic Logic
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
Otto Lappi
SAC
2006
ACM
16 years 17 days ago
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
Alexandre Goldsztejn
ACRI
2004
Springer
16 years 21 hour ago
Heredity, Complexity, and Surprise: Embedded Self-Replication and Evolution in CA
Abstract. This paper reviews the history of embedded, evolvable selfreplicating structures implemented as cellular automata systems. We relate recent advances in this field to the...
Chris Salzberg, Hiroki Sayama