Sciweavers

4008 search results - page 223 / 802
» An expressive language of signatures
Sort
View
ICASSP
2008
IEEE
16 years 1 months ago
Extracting clues from human interpreter speech for spoken language translation
In previous work, we reported dramatic improvements in automatic speech recognition (ASR) and spoken language translation (SLT) gained by applying information extracted from spoke...
Matthias Paulik, Alex Waibel
WISE
2007
Springer
16 years 25 days ago
Managing Process Customizability and Customization: Model, Language and Process
One of the fundamental ideas of services and service oriented architecture is the possibility to develop new applications by composing existing services into business processes. Ho...
Alexander Lazovik, Heiko Ludwig
FROCOS
2007
Springer
16 years 22 days ago
Languages Modulo Normalization
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
Hitoshi Ohsaki, Hiroyuki Seki
CSMR
2006
IEEE
16 years 19 days ago
A Language Independent Framework for Context-sensitive Formatting
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
M. G. J. van den Brand, A. Taeke Kooiker, Jurgen J...
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 11 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...