Sciweavers

813 search results - page 32 / 163
» desire 2010
Sort
View
ALT
2010
Springer
13 years 9 months ago
Consistency of Feature Markov Processes
We are studying long term sequence prediction (forecasting). We approach this by investigating criteria for choosing a compact useful state representation. The state is supposed t...
Peter Sunehag, Marcus Hutter
FORMATS
2010
Springer
13 years 5 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
WINE
2010
Springer
124views Economy» more  WINE 2010»
13 years 5 months ago
A Novel Approach to Propagating Distrust
Trust propagation is a fundamental topic of study in the theory and practice of ranking and recommendation systems on networks. The Page Rank [9] algorithm ranks web pages by propa...
Christian Borgs, Jennifer T. Chayes, Adam Tauman K...
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
13 years 2 months ago
Adaptive reservations for feedback control
In this paper, we start from an assigned control law with known probability distributions of its execution time. Our goal is to identify an optimised scheduling policy that allows ...
Daniele Fontanelli, Luca Greco, Luigi Palopoli
ECAI
2010
Springer
13 years 8 months ago
A unified interaction-aware goal framework
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
Michael Winikoff, Mehdi Dastani, M. Birna van Riem...