Sciweavers

871 search results - page 160 / 175
» Modular Design of Reactive Systems
Sort
View
CORR
2010
Springer
198views Education» more  CORR 2010»
13 years 8 months ago
Space and the Synchronic A-Ram
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
Alexander Victor Berka
JUCS
2008
172views more  JUCS 2008»
13 years 8 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
TMC
2011
145views more  TMC 2011»
13 years 3 months ago
MAC Layer Throughput Estimation in Impulse-Radio UWB Networks
—The inherent channel characteristics of impulse-based UWB networks affect the MAC layer performance significantly. Most previous studies on evaluating MAC protocols are based o...
Ioannis Broustis, Aggelos Vlavianos, Prashant Kris...
INTERSPEECH
2010
13 years 3 months ago
Combining user intention and error modeling for statistical dialog simulators
Statistical user simulation is an efficient and effective way to train and evaluate the performance of a (spoken) dialog system. In this paper, we design and evaluate a modular da...
Silvia Quarteroni, Meritxell González, Gius...
VIS
2007
IEEE
181views Visualization» more  VIS 2007»
14 years 9 months ago
Shadow-Driven 4D Haptic Visualization
Just as we can work with two-dimensional floor plans to communicate 3D architectural design, we can exploit reduced-dimension shadows to manipulate the higher-dimensional objects ...
Hui Zhang, Andrew J. Hanson