Sciweavers

5945 search results - page 413 / 1189
» A Model for Projection and Action
Sort
View
UAI
2007
15 years 8 months ago
Indirectly Visible Bayesian Student Models
Inspectable Bayesian student models have been used to support student reflection, knowledge awareness and communication among teacher, students and parents. This paper presents a...
Juan-Diego Zapata-Rivera
RAS
2006
111views more  RAS 2006»
15 years 7 months ago
Planning under uncertainty using model predictive control for information gathering
This paper considers trajectory planning problems for autonomous robots in information gathering tasks. The objective of the planning is to maximize the information gathered withi...
Cindy Leung, Shoudong Huang, Ngai Ming Kwok, Gamin...
WRLA
2010
15 years 6 months ago
The Linear Temporal Logic of Rewriting Maude Model Checker
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
Kyungmin Bae, José Meseguer
ISIPTA
2005
IEEE
161views Mathematics» more  ISIPTA 2005»
16 years 1 months ago
Decision making under incomplete data using the imprecise Dirichlet model
The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
Lev V. Utkin, Thomas Augustin
ACII
2005
Springer
16 years 1 months ago
An Adaptive Personality Model for ECAs
Curtin University’s Talking Heads (TH) combine an MPEG-4 compliant Facial Animation Engine (FAE), an Text To Emotional Speech Synthesiser (TTES), a multi-modal Dialogue Manager (...
He Xiao, Donald Reid, Andrew Marriott, E. K. Gulla...