7121 search results - page 1152 / 1425 » Functions as Session-Typed Processes |
115
Voted
NIPS
2003
15 years 6 months ago
2003
We study an approach to policy selection for large relational Markov Decision Processes (MDPs). We consider a variant of approximate policy iteration (API) that replaces the usual...
145
click to vote
AAAI
2000
15 years 6 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
139
click to vote
AAAI
1998
15 years 6 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
147
click to vote
SGP
2003
15 years 6 months ago
2003
Point sets become an increasingly popular shape representation. Most shape processing and rendering tasks require the approximation of a continuous surface from the point data. We...
123
click to vote
AIPS
2000
15 years 6 months ago
2000
Thefocus of this workis the computationof efficient strategies for commoditytrading in a multi-marketenvironment. In today's "global economy"commodities are often b...