Sciweavers

2765 search results - page 194 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
ICASSP
2010
IEEE
15 years 6 months ago
Using cross-decoder phone coocurrences in phonotactic language recognition
Phonotactic language recognizers are based on the ability of phone decoders to produce phone sequences containing acoustic, phonetic and phonological information, which is partial...
Mikel Peñagarikano, Amparo Varona, Luis Jav...
FMSD
2006
103views more  FMSD 2006»
15 years 6 months ago
Compositional SCC Analysis for Language Emptiness
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita...
EDOC
2003
IEEE
15 years 12 months ago
Addressing Computational Viewpoint Design
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....
David H. Akehurst, John Derrick, A. Gill Waters
TACAS
2007
Springer
91views Algorithms» more  TACAS 2007»
16 years 22 days ago
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs,
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
David Harel, Itai Segall
WSC
2000
15 years 8 months ago
Toward a standard process: the use of UML for designing simulation models
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
Hendrik Richter, Lothar März