7167 search results - page 294 / 1434 » A Technique for Invariant Generation |
178
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract-- Reinforcement Programming (RP) is a new approach to automatically generating algorithms, that uses reinforcement learning techniques. This paper describes the RP approac...
206
Voted
MP
2006
15 years 7 months ago
2006
Decomposition algorithms such as Lagrangian relaxation and Dantzig-Wolfe decomposition are well-known methods that can be used to generate bounds for mixed-integer linear programmi...
230
click to vote
PC
2006
15 years 7 months ago
2006
Tiling is a well known loop transformation used to reduce communication overhead in distributed memory machines. Although a lot of theoretical research has been done concerning th...
218
Voted
TSMC
2008
15 years 7 months ago
2008
Recent studies have shown that the perception of natural movements--in the sense of being "humanlike"--depends on both joint and task space characteristics of the movemen...
159
Voted
LRE
2007
15 years 7 months ago
2007
Humans are known to use a wide range of non-verbal behaviour while speaking. Generating naturalistic embodied speech for an artificial agent is therefore an application where tech...