Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
View source
View history
Discussion
English
Log in

Tiburon

From MaRDI portal
Jump to:navigation, search



swMATH1312MaRDI QIDQ14052FDOQ14052


Author name not available (Why is that?)

Official website: http://www.isi.edu/licensed-sw/tiburon/



Described by source

  • Tiburon: A Weighted Tree Automata Toolkit


Cited In (21)

  • Compositions of extended top-down tree transducers
  • Minimizing Deterministic Weighted Tree Automata
  • Tree parsing for tree-adjoining machine translation
  • From generic partition refinement to weighted tree automata minimization
  • Backward and forward bisimulation minimization of tree automata
  • Weighted extended tree transducers
  • Input products for weighted extended top-down tree transducers
  • Simulations of weighted tree automata
  • From tree automata to rational tree expressions
  • Forest FIRE
  • OpenFst
  • FIRE station
  • Survey: finite-state technology in natural language processing
  • FSA
  • Carmel
  • DRAGON
  • QUB
  • Minimizing deterministic weighted tree automata
  • Bisimulation Minimisation for Weighted Tree Automata
  • Weighted automata
  • Backward and Forward Bisimulation Minimisation of Tree Automata


This page was built for software: Tiburon

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Tiburon&oldid=56527002"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 March 2026, at 12:07. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki