1090 search results - page 174 / 218 » Type-Directed Partial Evaluation |
CSL
2010
Springer
2010
Springer
The Hidden Information State model: A practical framework for POMDP-based spoken dialogue management
13 years 7 months ago
This paper explains how Partially Observable Markov Decision Processes (POMDPs) can provide a principled mathematical framework for modelling the inherent uncertainty in spoken di...
ENTCS
2010
13 years 7 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
IJAR
2008
13 years 7 months ago
2008
This paper presents a family of algorithms for approximate inference in credal networks (that is, models based on directed acyclic graphs and set-valued probabilities) that contai...
GRID
2006
Springer
13 years 7 months ago
2006
Springer
Abstract Parallel asynchronous iterative algorithms relax synchronization and communication requirements, and can potentially extend Desktop Grids beyond embarrassingly parallel ap...