Sciweavers

1728 search results - page 243 / 346
» Formal Modeling of Process Migration
Sort
View
95
Voted
JMLR
2010
125views more  JMLR 2010»
14 years 7 months ago
Variational methods for Reinforcement Learning
We consider reinforcement learning as solving a Markov decision process with unknown transition distribution. Based on interaction with the environment, an estimate of the transit...
Thomas Furmston, David Barber
92
Voted
ASIAN
2003
Springer
111views Algorithms» more  ASIAN 2003»
15 years 6 months ago
Unreliable Failure Detectors via Operational Semantics
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
Uwe Nestmann, Rachele Fuzzati
104
Voted
GIS
2010
ACM
14 years 10 months ago
Tolerance geometry: Euclid's first postulate for points and lines with extension
Object representation and reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclidean geometry is built upon Euclid's first postu...
Gwen Wilke, Andrew U. Frank
ISCA
1997
IEEE
137views Hardware» more  ISCA 1997»
15 years 5 months ago
A Language for Describing Predictors and Its Application to Automatic Synthesis
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
Joel S. Emer, Nicholas C. Gloy
100
Voted
BTW
2007
Springer
123views Database» more  BTW 2007»
15 years 7 months ago
Data Provenance: A Categorization of Existing Approaches
: In many application areas like e-science and data-warehousing detailed information about the origin of data is required. This kind of information is often referred to as data pro...
Boris Glavic, Klaus R. Dittrich