Robert L. Givan

Available identifiers

Publication	Date of Publication	Type
Inferring program specifications in polynomial-time	2022-02-16	Paper
Burst-level congestion control using hindsight optimization	2017-06-20	Paper
Polynomial-time computation via local inference relations	2017-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q3096129	2011-11-08	Paper
Automatic Induction of Bellman-Error Features for Probabilistic Planning	2010-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q3623997	2009-04-28	Paper
Sequential inference with reliable observations: Learning to construct force-dynamic models	2007-10-23	Paper
Predictive buffer control in delivering remotely stored video using proxy servers	2006-11-15	Paper
The Complexity of Decentralized Control of Markov Decision Processes	2005-11-11	Paper
Parallel rollout for online solution of partially observable Markov decision processes	2005-01-17	Paper
Online ensemble learning: An empirical study	2004-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4411145	2003-07-07	Paper
Tarskian set constraints	2003-01-14	Paper
Scheduling multiclass packet streams to minimize weighted loss	2002-08-20	Paper
Taxonomic syntax for first order inference	1993-06-29	Paper
Natural language syntax and first-order inference	1992-09-27	Paper

This page was built for person: Robert L. Givan