Sciweavers

911 search results - page 82 / 183
» Combining programs and state machines
Sort
View
FPL
2007
Springer
101views Hardware» more  FPL 2007»
14 years 3 months ago
Formal Modeling of Process Migration
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
Aric D. Blumer, Henning S. Mortveit, Cameron D. Pa...
WWW
2001
ACM
14 years 9 months ago
Integrating Software Agents into the HTTP Caching Infrastructure
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
Jesse Greenwald, Daniel Andresen
ICML
2009
IEEE
14 years 9 months ago
Optimal reverse prediction: a unified perspective on supervised, unsupervised and semi-supervised learning
Training principles for unsupervised learning are often derived from motivations that appear to be independent of supervised learning. In this paper we present a simple unificatio...
Linli Xu, Martha White, Dale Schuurmans
ICML
2008
IEEE
14 years 9 months ago
Confidence-weighted linear classification
We introduce confidence-weighted linear classifiers, which add parameter confidence information to linear classifiers. Online learners in this setting update both classifier param...
Mark Dredze, Koby Crammer, Fernando Pereira
ECML
2007
Springer
14 years 3 months ago
Safe Q-Learning on Complete History Spaces
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
Stephan Timmer, Martin Riedmiller