Sciweavers

980 search results - page 108 / 196
» A Sequential Reduction Strategy
Sort
View
ATAL
2008
Springer
14 years 12 months ago
Emerging coordination in infinite team Markov games
In this paper we address the problem of coordination in multi-agent sequential decision problems with infinite statespaces. We adopt a game theoretic formalism to describe the int...
Francisco S. Melo, M. Isabel Ribeiro
IKE
2004
14 years 11 months ago
N-Codes: A Computerized Decision Support System for Acute Care Nursing
-. This paper describes the development of N-Codes, a system to deliver current clinical knowledge to the nurse clinician via an off-the-shelf handheld computer using wireless acce...
Howard E. Michel, Nancy M. Dluhy, Paul J. Fortier,...
NIPS
2004
14 years 11 months ago
An Information Maximization Model of Eye Movements
We propose a sequential information maximization model as a general strategy for programming eye movements. The model reconstructs high-resolution visual information from a sequen...
Laura Walker Renninger, James M. Coughlan, Preeti ...
AICOM
2010
127views more  AICOM 2010»
14 years 10 months ago
Interactive verification of concurrent systems using symbolic execution
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
Simon Bäumler, Michael Balser, Florian Nafz, ...
NECO
2008
112views more  NECO 2008»
14 years 9 months ago
Second-Order SMO Improves SVM Online and Active Learning
Iterative learning algorithms that approximate the solution of support vector machines (SVMs) have two potential advantages. First, they allow for online and active learning. Seco...
Tobias Glasmachers, Christian Igel