Sciweavers

276 search results - page 8 / 56
» Video Time Encoding Machines
Sort
View
FOSSACS
2008
Springer
14 years 11 months ago
Robust Analysis of Timed Automata via Channel Machines
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
ICIP
1997
IEEE
15 years 1 months ago
Real-Time Very Low Bit Rate Video Coding with Adaptive Mean-Removed Vector Quantization
This is a contribution for very low bit rate video coding in real-time and software only on computers of PC class. It is based on frame replenishment with block coding using mean-...
Dietmar Saupe, B. Butz
EVOW
2009
Springer
15 years 2 months ago
Evolving Teams of Cooperating Agents for Real-Time Strategy Game
We apply gene expression programing to evolve a player for a real-time strategy (RTS) video game. The paper describes the game, evolutionary encoding of strategies and the technica...
Pawel Lichocki, Krzysztof Krawiec, Wojciech Jaskow...
DCC
2009
IEEE
15 years 10 months ago
H.264/MPEG-4 AVC Encoder Parameter Selection Algorithms for Complexity Distortion Tradeoff
The H.264 encoder has input parameters that determine the bit rate and distortion of the compressed video and the encoding complexity. A set of encoder parameters is referred to a...
Rahul Vanam, Eve A. Riskin, Richard E. Ladner
ICIP
2009
IEEE
15 years 10 months ago
Parallel Rate-distortion Optimized Intra Mode Decision On Multi-core Graphics Processors Using Greedy-based Encoding Orders
Rate-distortion (RD) optimized intra-prediction mode selection can lead to significant improvement in coding efficiency in intraframe encoding. However, it would incur considerabl...