9626 search results - page 481 / 1926 » Invariant Based Programming |
146
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Approximate Linear Programming (ALP) is a reinforcement learning technique with nice theoretical properties, but it often performs poorly in practice. We identify some reasons for...
192
click to vote
STOC
2003
ACM
16 years 7 months ago
2003
ACM
We give efficient algorithms to sample uniformly, and count approximately, the solutions to a zero-one knapsack problem. The algorithm is based on using dynamic programming to pro...
189
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
151
click to vote
ACISICIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Dedicated machine constraint is one of the new challenges introduced in photolithography machinery of the semiconductor manufacturing system due to natural bias. Previous research...
175
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...