Sciweavers

2226 search results - page 53 / 446
» Pdk: The System and Its Language
Sort
View
TSD
2004
Springer
15 years 11 months ago
Slovak Text-to-Speech Synthesis in ARTIC System
Abstract. This paper presents a brand-new Slovak text-to-speech system. It was developed within the framework of ARTIC system (primarily designed to synthesize Czech speech) with r...
Jindrich Matousek, Daniel Tihelka
SFM
2004
Springer
15 years 11 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
FMICS
2007
Springer
16 years 8 days ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
APN
2000
Springer
15 years 10 months ago
UML - A Universal Modeling Language?
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to ...
Gregor Engels, Reiko Heckel, Stefan Sauer
EMNLP
2010
15 years 4 months ago
A New Approach to Lexical Disambiguation of Arabic Text
We describe a model for the lexical analysis of Arabic text, using the lists of alternatives supplied by a broad-coverage morphological analyzer, SAMA, which include stable lemma ...
Rushin Shah, Paramveer S. Dhillon, Mark Liberman, ...