Sciweavers

2075 search results - page 309 / 415
» aime 2007
Sort
View
HASE
2007
IEEE
15 years 4 months ago
Validation Support for Distributed Real-Time Embedded Systems in VDM++
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen...
107
Voted
ICA
2007
Springer
15 years 4 months ago
Compact Representations of Market Securities Using Smooth Component Extraction
Independent Component Analysis (ICA) is a statistical method for expressing an observed set of random vectors as a linear combination of statistically independent components. This...
Hariton Korizis, Nikolaos Mitianoudis, Anthony G. ...
96
Voted
ICASSP
2007
IEEE
15 years 4 months ago
Acoustic Echo Cancellation for Surround Sound using Perceptually Motivated Convergence Enhancement
Acoustic Echo Cancellation (AEC) has become an essential and wellknown enabling technology for hands-free communication and human-machine interfaces. AEC for two or more reproduct...
Jürgen Herre, Herbert Buchner, Walter Kellerm...
105
Voted
ICC
2007
IEEE
127views Communications» more  ICC 2007»
15 years 4 months ago
Joint Capacity, Flow and Rate Allocation for Multiuser Video Streaming Over Wireless Ad-Hoc Networks
Abstract-- Simultaneous support of multiple delay-critical application sessions such as multiuser video streaming require a paradigm shift in the design of ad-hoc wireless networks...
Sachin Adlakha, Xiaoqing Zhu, Bernd Girod, Andrea ...
94
Voted
ICC
2007
IEEE
130views Communications» more  ICC 2007»
15 years 4 months ago
Dynamic Interactive Multimedia Scenes in Mobile Broadcast Environments
Dynamic Interactive Multimedia Scenes (DIMS) is the latest 3GPP multimedia standard aiming at the development and delivery of rich media services over mobile networks, specifically...
Ahmed Younus, Wissam Abdel Samad, Thomas Stockhamm...