Sciweavers

1516 search results - page 214 / 304
» Generalizing Indexical-Functional Reference
Sort
View
IJMMS
2008
153views more  IJMMS 2008»
14 years 9 months ago
Physiology-based affect recognition for computer-assisted intervention of children with Autism Spectrum Disorder
Generally, an experienced therapist continuously monitors the affective cues of the children with Autism Spectrum Disorders (ASD) and adjusts the course of the intervention accord...
Changchun Liu, Karla Conn, Nilanjan Sarkar, Wendy ...
JAIR
2008
145views more  JAIR 2008»
14 years 9 months ago
Communication-Based Decomposition Mechanisms for Decentralized MDPs
Multi-agent planning in stochastic environments can be framed formally as a decentralized Markov decision problem. Many real-life distributed problems that arise in manufacturing,...
Claudia V. Goldman, Shlomo Zilberstein
IJSYSC
2006
92views more  IJSYSC 2006»
14 years 9 months ago
Adaptive control of distributed collector solar fields
: Distributed collector solar fields are spatially distributed engineering systems which aim at collecting and storing energy from solar radiation. They are formed by mirrors which...
J. M. Lemos
JCIT
2008
100views more  JCIT 2008»
14 years 9 months ago
Basic Portal System with the Function of Communication Control for Each User
The Personal Portal is generally used as a communication mean and serves as an entrance to users where they can acquire interested information on the network. We have several prob...
Kazuya Odagiri, Rihito Yaegashi, Masaharu Tadauchi...
JIIS
2008
104views more  JIIS 2008»
14 years 9 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato