2968 search results - page 347 / 594 » Network Programming Using PLAN |
159
click to vote
CIMCA
2008
IEEE
15 years 11 months ago
2008
IEEE
Research in reinforcement learning has produced algorithms for optimal decision making under uncertainty that fall within two main types. The first employs a Bayesian framework, ...
138
click to vote
ERLANG
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
126
click to vote
AIPR
2004
IEEE
15 years 8 months ago
2004
IEEE
The Intelligent Systems Division of the National Institute of Standards and Technology has been engaged for several years in developing real-time systems for autonomous driving. A...
128
click to vote
ICDCSW
2000
IEEE
15 years 8 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
122
click to vote
PDPTA
2007
15 years 5 months ago
2007
Abstract In this paper we investigate the composition of cheap network storage resources to meet specific availability and capacity requirements. We show that the problem of find...