Sciweavers

4151 search results - page 375 / 831
» Language Driven System Design
Sort
View
ICDAR
2003
IEEE
15 years 10 months ago
N-Gram and N-Class Models for On line Handwriting Recognition
This paper highlights the interest of a language model in increasing the performances of on-line handwriting recognition systems. Models based on statistical approaches, trained o...
Freddy Perraud, Christian Viard-Gaudin, Emmanuel M...
CC
2003
Springer
102views System Software» more  CC 2003»
15 years 10 months ago
Precision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
Christopher League, Zhong Shao, Valery Trifonov
UML
2001
Springer
15 years 9 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
FASE
2009
Springer
15 years 11 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
FEDCSIS
2011
113views more  FEDCSIS 2011»
14 years 4 months ago
Automatic Speech Recognition for Polish in a Computer Game Interface
—The paper describes the process of designing a task-oriented continuous speech recognition system for Polish, based on CMU Sphinx4, to be used in the voice interface of a comput...
Artur Janicki, Dariusz Wawer