Sciweavers

3892 search results - page 473 / 779
» Machine Learning for Intelligent Systems
Sort
View
LFCS
2009
Springer
16 years 1 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller
IJMMS
2007
145views more  IJMMS 2007»
15 years 6 months ago
Automatic prediction of frustration
Predicting when a person might be frustrated can provide an intelligent system with important information about when to initiate interaction. For example, an automated Learning Co...
Ashish Kapoor, Winslow Burleson, Rosalind W. Picar...
RTCSA
2007
IEEE
16 years 29 days ago
Activity Recognition Based on Semi-supervised Learning
Activity recognition is a hot topic in context-aware computing. In activity recognition, machine learning techniques have been widely applied to learn the activity models from lab...
Donghai Guan, Weiwei Yuan, Young-Koo Lee, Andrey G...
SAC
2005
ACM
16 years 7 days ago
Privacy preserving learning in negotiation
Machine learning techniques are widely used in negotiation systems. To get more accurate and satisfactory learning results, negotiation parties have the desire to employ learning ...
Sheng Zhang, Fillia Makedon
GECCO
2000
Springer
143views Optimization» more  GECCO 2000»
15 years 10 months ago
A Genetic Algorithm for Automatically Designing Modular Reinforcement Learning Agents
Reinforcement learning (RL) is one of the machine learning techniques and has been received much attention as a new self-adaptive controller for various systems. The RL agent auto...
Isao Ono, Tetsuo Nijo, Norihiko Ono