Sciweavers

11561 search results - page 102 / 2313
» A Language for Biochemical Systems
Sort
View
SAC
2006
ACM
15 years 11 months ago
A UML 2-compatible language and tool for formal modeling real-time system architectures
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
Pietro Colombo, Matteo Pradella, Matteo Rossi
DAGSTUHL
2001
15 years 7 months ago
A Language and System for Constructing and Presenting Low Fidelity Algorithm Visualizations
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
Christopher D. Hundhausen, Sarah A. Douglas
EACL
2006
ACL Anthology
15 years 7 months ago
Generating Statistical Language Models from Interpretation Grammars in Dialogue Systems
In this paper, we explore statistical language modelling for a speech-enabled MP3 player application by generating a corpus from the interpretation grammar written for the applica...
Rebecca Jonson
ICFP
1999
ACM
15 years 10 months ago
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
Matthew Flatt, Robert Bruce Findler, Shriram Krish...
INTERSPEECH
2010
15 years 20 days ago
Language model cross adaptation for LVCSR system combination
State-of-the-art large vocabulary continuous speech recognition (LVCSR) systems often combine outputs from multiple subsystems developed at different sites. Cross system adaptatio...
Xunying Liu, Mark J. F. Gales, Philip C. Woodland