Sciweavers

IANDC
2010
107views more  IANDC 2010»
13 years 19 days ago
Equational properties of iterative monads
Iterative monads of Calvin Elgot were introduced to treat the semantics of recursive equations purely algebraically. They are Lawvere theories with the property that all ideal sys...
Jirí Adámek, Stefan Milius, Jiri Vel...
INFORMATICALT
2000
82views more  INFORMATICALT 2000»
13 years 3 months ago
Recursive Algorithms of Time Series Observations Recognition
Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of...
Edward Shpilewski
JMLR
2006
78views more  JMLR 2006»
13 years 3 months ago
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
Emanuel Kitzelmann, Ute Schmid
IANDC
2006
63views more  IANDC 2006»
13 years 3 months ago
Distributive laws for the coinductive solution of recursive equations
This paper illustrates the relevance of distributive laws for the solution of recursive equations, and shows that one approach for obtaining coinductive solutions of equations via...
Bart Jacobs
ARTS
1997
Springer
13 years 7 months ago
Regular Processes and Timed Automata
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
Pedro R. D'Argenio
GLOBECOM
2007
IEEE
13 years 9 months ago
An Exact Solution to an Approximated Model of RED
— In this paper, we propose an analytical model to capture the dynamics of the RED algorithm. We first develop a system of recursive equations that describes the packet dropping...
Claus Bauer, Homayoun Yousefi'zadeh, Hamid Jafarkh...