Search Sciweavers | Sciweavers

1140 search results - page 10 / 228

» Progress on Certifying Algorithms

click to vote

ECSQARU
2001
Springer

118views Automated Reasoning» more ECSQARU 2001»

Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs

14 years 2 months ago

Download www.cs.ust.hk

Abstract. Finding optimal policies for general partially observable Markov decision processes (POMDPs) is computationally difﬁcult primarily due to the need to perform dynamic-pr...

Nevin Lianwen Zhang, Weihong Zhang

claim paper

Read More »

click to vote

KR
2004
Springer

93views Automated Reasoning» more KR 2004»

Precondition Control and the Progression Algorithm

14 years 3 months ago

Download www.aaai.org

Alfredo Gabaldon

claim paper

Read More »

click to vote

CACM
2010

64views more CACM 2010»

Recent progress in quantum algorithms

13 years 10 months ago

Download lazowska.cs.washington.edu

Dave Bacon, Wim van Dam

claim paper

Read More »

click to vote

CGF
2004

82views more CGF 2004»

A Progressive Rendering Algorithm Using an Adaptive Perceptually Based Image Metric

13 years 9 months ago

Download liris.cnrs.fr

Jean-Philippe Farrugia, Bernard Péroche

claim paper

Read More »

click to vote

INFORMS
2000

91views more INFORMS 2000»

Progress in Linear Programming-Based Algorithms for Integer Programming: An Exposition

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers