Sciweavers

54 search results - page 7 / 11
» jirs 2010
Sort
View
ENTCS
2002
121views more  ENTCS 2002»
13 years 10 months ago
Modal Predicates and Co-equations
We show how coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category X, namely where X is...
Alexander Kurz, Jirí Rosický
ENTCS
2010
90views more  ENTCS 2010»
13 years 10 months ago
Recursive Program Schemes and Context-Free Monads
Solutions of recursive program schemes over a given signature were characterized by Bruno Courcelle as precisely the context-free (or algebraic) -trees. These are the finite and ...
Jirí Adámek, Stefan Milius, Jiri Vel...
CAGD
2010
116views more  CAGD 2010»
13 years 10 months ago
On rational Minkowski Pythagorean hodograph curves
Minkowski Pythagorean hodograph curves are polynomial curves with polynomial speed, measured with respect to Minkowski norm. Curves of this special class are particularly well sui...
Jirí Kosinka, Miroslav Lávicka
ENTCS
2002
136views more  ENTCS 2002»
13 years 10 months ago
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
Every endofunctor F of Set has an initial algebra and a final coalgebra, but they are classes in general. Consequently, the endofunctor F of the category of classes that F induces...
Jirí Adámek, Stefan Milius, Jiri Vel...
INTERSPEECH
2010
13 years 5 months ago
Enhancements of viterbi search for fast unit selection synthesis
The paper describes the optimisation of Viterbi search used in unit selection TTS, since with a large speech corpus necessary to achieve a high level of naturalness, the performan...
Daniel Tihelka, Jirí Kala, Jindrich Matouse...