503 search results - page 16 / 101 » Probabilistic Weighted Automata |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
This report defines various operations and describes algorithms for weighted multi-tape automata (WMTAs). It presents, among others, a new approach to multi-tape intersection, mea...
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
FSMNLP
2005
Springer
14 years 2 months ago
2005
Springer
TAGH is a system for automatic recognition of German word forms. It is based on a stem lexicon with allomorphs and a concatenative mechanism for inflection and word formation. Wei...
RP
2009
Springer
14 years 3 months ago
2009
Springer
CAI
2007
Springer
14 years 2 months ago
2007
Springer
