Sciweavers

2655 search results - page 488 / 531
» LT Network Codes
Sort
View
ICC
2007
IEEE
130views Communications» more  ICC 2007»
15 years 3 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...
101
Voted
HICSS
2009
IEEE
126views Biometrics» more  HICSS 2009»
15 years 3 months ago
Specifying and Analyzing Workflows for Automated Identification and Data Capture
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, An...
ADS
2004
Springer
15 years 3 months ago
Neural Architecture for Temporal Emotion Classification
Abstract. In this pilot study, a neural architecture for temporal emotion recognition from image sequences is proposed. The investigation aims at the development of key principles ...
Roland Schweiger, Pierre Bayerl, Heiko Neumann
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 3 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
FORMATS
2006
Springer
15 years 3 months ago
Adding Invariants to Event Zone Automata
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
Peter Niebert, Hongyang Qu