Sciweavers

1379 search results - page 171 / 276
» codes 2009
Sort
View
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
15 years 1 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
HOTSWUP
2009
ACM
15 years 1 months ago
Migrating Protocols in Multi-Threaded Message-Passing Systems
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
Austin Anderson, Julian Rathke
ICASSP
2009
IEEE
15 years 1 months ago
Enhanced error resilience of video communications for burst losses using an extended ROPE algorithm
Video communications over wireless networks suffers various patterns of losses, including burst losses that cause great degradation in video quality. In this paper, we propose an ...
Yiting Liao, Jerry D. Gibson
145
Voted
ICB
2009
Springer
197views Biometrics» more  ICB 2009»
15 years 1 months ago
Dynamic Texture Based Gait Recognition
Abstract. We present a novel approach for human gait recognition that inherently combines appearance and motion. Dynamic texture descriptors, Local Binary Patterns from Three Ortho...
Vili Kellokumpu, Guoying Zhao, Stan Z. Li, Matti P...
146
Voted
ICC
2009
IEEE
143views Communications» more  ICC 2009»
15 years 1 months ago
Throughput Improvement through Precoding in OFDMA Systems with Limited Feedback
In this paper, we study the possibility of throughput improvement through precoding in OFDMA based wireless systems with limited channel feedback. Precoding can increase the overal...
Sameh Sorour, Amin Alamdar Yazdi, Shahrokh Valaee,...