Sciweavers

838 search results - page 108 / 168
» Modeling skew in data streams
Sort
View
ICSE
2009
IEEE-ACM
14 years 4 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
ICASSP
2011
IEEE
13 years 1 months ago
A multi-stream ASR framework for BLSTM modeling of conversational speech
We propose a novel multi-stream framework for continuous conversational speech recognition which employs bidirectional Long Short-Term Memory (BLSTM) networks for phoneme predicti...
Martin Wöllmer, Florian Eyben, Björn Sch...
VR
2003
IEEE
164views Virtual Reality» more  VR 2003»
14 years 3 months ago
Augmented Virtual Environments (AVE): Dynamic Fusion of Imagery and 3D Models
An Augmented Virtual Environment (AVE) fuses dynamic imagery with 3D models. The AVE provides a unique approach to visualize and comprehend multiple streams of temporal data or im...
Ulrich Neumann, Suya You, Jinhui Hu, Bolan Jiang, ...
ISN
2000
Springer
127views Communications» more  ISN 2000»
14 years 1 months ago
Supporting Advanced Multimedia Telecommunications Services Using the Distributed Component Object Model
The demand for a great variety of sophisticated telecommunications services with multimedia characteristics is increasing. This trend highlights the need for the efficient creation...
Dionisis X. Adamopoulos, George Pavlou, Constantin...
ICMCS
2006
IEEE
125views Multimedia» more  ICMCS 2006»
14 years 4 months ago
Modeling Adaptive Media Processing Workflows
ARIA, ARchitecture for Interactive Arts, is a middleware to process, filter, and fuse sensory inputs and actuate responses in real-time. An ARIA media processing workflow descri...
K. Selçuk Candan, Gisik Kwon, Lina Peng, Ma...