In this paper, we present the Philips large vocabulary continuous Mandarin speech recognition system developed for the 2000 Taiwan Speech Input Technology Assessment. We systematically integrated key Mandarin components with up-todate Western-language techniques to build up a state-of-the-art Mandarin speech recognition system. These technologies include robust pitch extraction/tone modeling, c...

We present an approach to explicit, statistical, lexical-level out-of-vocabulary (OOV) word modeling for direct integration into the search space of a one-stage speech interpretation system. For this purpose, a generic pronunciation model for unknown words is derived from large pronunciation lexica and, optionally, word frequency knowledge. Known statistical language modeling (LM) methods are u...

The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints. In the development process for formal models, it is important to make sure that these models are (a) correct, i.e. consistent and complete, and (b...

We present a domain-specific embedded language that allows the definition of rule systems in Haskell. As one particular example, we consider the modeling of type systems, which is an important part of programming language design. Type systems are most conveniently described using rule systems. Our approach is well integrated into Haskell’s type system and thus facilitates the convenient modelin...

Designing a software system’s architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of the term “software architecture” and no standard software architecture description language (ADL). This paper discusses whether the standard OO modeling language UML is a standard ADL, explains some deficiencies if used for...

In this paper we present integrated MOF compliant metamodels and UML profiles for OWL DL, the Semantic Web Rule Language (SWRL) and Ontology Mappings. Based on these metamodels and profiles, UML tools can be used for visual modeling of rule-extended ontologies and ontology mappings.

The process of specifying an embedded system involves capturing complex interrelationships between the hardware domain, the software domain, and the engineering domain used to describe the environment in which the system will be embedded. Developers increasingly turn to domain-specific modeling techniques to manage this complexity, through such approaches as Model Integrated Computing and Model...

In this paper, an OCR post-processing method that combines a language model, OCR hypothesis information and an error model is proposed. The approach can be seen as a flexible and efficient way to perform Stochastic Error-Correcting Language Modeling. We use Weighted Finite-State Transducers (WFSTs) to represent the language model, the complete set of OCR hypotheses interpreted as a sequence of ...

Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain specific issues such as management of signals, the integration of isolated logical functions or the deployment of functions to distributed networks of ECUs. A fundamental prerequisite of such approaches is the existence of a...

One of the primary objectives of supply chain (SC) information support system is to develop a conceptual design of organizational and process knowledge models which facilitate optimal SC management (SCM). The SC knowledge modeling consists of two components: (1) modeling SC workflows and (2) capturing and organizing knowledge necessary for managing them. Workflow modeling deals with handling ac...