Sciweavers

1953 search results - page 199 / 391
» codes 2010
Sort
View
ACMSE
2010
ACM
15 years 4 months ago
Generating three binary addition algorithms using reinforcement programming
Reinforcement Programming (RP) is a new technique for automatically generating a computer program using reinforcement learning methods. This paper describes how RP learned to gene...
Spencer K. White, Tony R. Martinez, George L. Rudo...
ICIP
2010
IEEE
15 years 4 months ago
Probabilistic human pose recovery from 2D images
Image based human pose recovery has many applications in different industries such as games, entertainment, physiological rehabilitation and biometrics. This paper presents a new ...
Farid Flitti, Mohammed Bennamoun, Du Q. Huynh, Rob...
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
CLEIEJ
2010
15 years 3 months ago
High Throughput and Low Cost Architecture for the Forward Quantization of the H.264/AVC Video Compression Standard
This work presents a dedicated hardware design for the Forward Quantization Module (Q module) of the H.264/AVC Video Coding Standard, using optimized multipliers. The goal of this...
Felipe Sampaio, Daniel Palomino, Robson Dornelles,...
COMSIS
2010
15 years 3 months ago
Annotation based parser generator
Abstract--The paper presents innovative parser construction method and parser generator prototype which generates a computer language parser from a set of annotated classes in cont...
Jaroslav Porubän, Michal Forgac, Miroslav Sab...