Sciweavers

478 search results - page 19 / 96
» Monads of Regular Theories
Sort
View
65
Voted
FOCS
1992
IEEE
15 years 3 months ago
Back to the Future: Towards a Theory of Timed Regular Languages
Rajeev Alur, Thomas A. Henzinger
JC
2007
62views more  JC 2007»
14 years 10 months ago
On regularization algorithms in learning theory
Frank Bauer, Sergei V. Pereverzev, Lorenzo Rosasco
70
Voted
NECO
2002
80views more  NECO 2002»
14 years 10 months ago
On Different Facets of Regularization Theory
Zhe Chen, Simon Haykin
97
Voted
POPL
2012
ACM
13 years 6 months ago
Algebraic foundations for effect-dependent optimisations
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
Ohad Kammar, Gordon D. Plotkin