Sciweavers

1399 search results - page 153 / 280
» Multi-party Finite Computations
Sort
View
AAAI
2008
15 years 6 months ago
Generalized Point Based Value Iteration for Interactive POMDPs
We develop a point based method for solving finitely nested interactive POMDPs approximately. Analogously to point based value iteration (PBVI) in POMDPs, we maintain a set of bel...
Prashant Doshi, Dennis Perez
ECAI
2008
Springer
15 years 6 months ago
Generating Diagnoses from Conflict Sets with Continuous Attributes
Abstract. Many techniques in model-based diagnosis and other research fields find the hitting sets of a group of sets. Existing techniques apply to sets of finite elements only. Th...
Emmanuel Benazera, Louise Travé-Massuy&egra...
DLT
2006
15 years 5 months ago
On Critical Exponents in Fixed Points of Non-erasing Morphisms
Let be an alphabet of size t, let f : be a non-erasing morphism, let w be an infinite fixed point of f, and let E(w) be the critical exponent of w. We prove that if E(w) is fi...
Dalia Krieger
FECS
2006
142views Education» more  FECS 2006»
15 years 5 months ago
CFD Graphical Interface in Matlab
- The use of computational methods for solving partial differential equations in the field of Heat Transfer is crucial. However, the actual user friendly commercial applications, f...
Tiago Pinho, Senhorinha Teixeira
COLING
2000
15 years 5 months ago
Modelling Speech Repairs in German and Mandarin Chinese Spoken Dialogues
Results presented in this paper strongly support the notion that similarities as well as differences in language systems can be empirically investigated by looking into the lingui...
Shu-Chuan Tseng