Difference between revisions of "Publications/claveirole.05.ciaa"
From LRDE
| (4 intermediate revisions by the same user not shown) | |||
| Line 10: | Line 10: | ||
| series = Lecture Notes in Computer Science Series |
| series = Lecture Notes in Computer Science Series |
||
| address = Sophia Antipolis, France |
| address = Sophia Antipolis, France |
||
| − | | urllrde = 200506-Ciaa |
||
| − | | project = Vaucanson |
||
| abstract = This paper presents some features of the Vaucanson platform. We describe some original algorithms on weighted automata and transducers (computation of the quotientconversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to the generic programming are masked from the user and finally we present a proposal for an XML format that allows implicit descriptions for simple types of automata. |
| abstract = This paper presents some features of the Vaucanson platform. We describe some original algorithms on weighted automata and transducers (computation of the quotientconversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to the generic programming are masked from the user and finally we present a proposal for an XML format that allows implicit descriptions for simple types of automata. |
||
| lrdepaper = http://www.lrde.epita.fr/dload/papers/ins-vauc.pdf |
| lrdepaper = http://www.lrde.epita.fr/dload/papers/ins-vauc.pdf |
||
| Line 33: | Line 31: | ||
address = <nowiki>{</nowiki>Sophia Antipolis, France<nowiki>}</nowiki>, |
address = <nowiki>{</nowiki>Sophia Antipolis, France<nowiki>}</nowiki>, |
||
month = jun, |
month = jun, |
||
| − | project = <nowiki>{</nowiki>Vaucanson<nowiki>}</nowiki>, |
||
abstract = <nowiki>{</nowiki>This paper presents some features of the Vaucanson |
abstract = <nowiki>{</nowiki>This paper presents some features of the Vaucanson |
||
platform. We describe some original algorithms on weighted |
platform. We describe some original algorithms on weighted |
||
Latest revision as of 18:56, 4 January 2018
- Authors
- Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, Louis-Noël Pouchet, Jacques Sakarovitch
- Where
- Proceedings of Implementation and Application of Automata10th International Conference (CIAA)
- Place
- Sophia Antipolis, France
- Type
- inproceedings
- Projects
- Vaucanson
- Date
- 2005-05-25
Abstract
This paper presents some features of the Vaucanson platform. We describe some original algorithms on weighted automata and transducers (computation of the quotientconversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to the generic programming are masked from the user and finally we present a proposal for an XML format that allows implicit descriptions for simple types of automata.
Documents
Bibtex (lrde.bib)
@InProceedings{ claveirole.05.ciaa,
author = {Thomas Claveirole and Sylvain Lombardy and Sarah O'Connor
and Louis-No\"el Pouchet and Jacques Sakarovitch},
title = {Inside {V}aucanson},
booktitle = {Proceedings of Implementation and Application of Automata,
10th International Conference (CIAA)},
year = 2005,
pages = {117--128},
editor = {Springer-Verlag},
volume = 3845,
series = {Lecture Notes in Computer Science Series},
address = {Sophia Antipolis, France},
month = jun,
abstract = {This paper presents some features of the Vaucanson
platform. We describe some original algorithms on weighted
automata and transducers (computation of the quotient,
conversion of a regular expression into a weighted
automaton, and composition). We explain how complex
declarations due to the generic programming are masked from
the user and finally we present a proposal for an XML
format that allows implicit descriptions for simple types
of automata.}
}