Sciweavers

15614 search results - page 442 / 3123
» The State of State
Sort
View
WDAG
2001
Springer
104views Algorithms» more  WDAG 2001»
15 years 11 months ago
A New Synchronous Lower Bound for Set Agreement
Abstract. We have a new proof of the lower bound that k-set agreement requires f/k + 1 rounds in a synchronous, message-passing model with f crash failures. The proof involves cons...
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
TNN
2010
147views Management» more  TNN 2010»
15 years 1 months ago
State-space analysis of Boolean networks
This paper provides a comprehensive framework for the state space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor produ...
Daizhan Cheng, Hongsheng Qi
ICML
2005
IEEE
16 years 7 months ago
A causal approach to hierarchical decomposition of factored MDPs
We present Variable Influence Structure Analysis, an algorithm that dynamically performs hierarchical decomposition of factored Markov decision processes. Our algorithm determines...
Anders Jonsson, Andrew G. Barto
AIED
2009
Springer
16 years 1 months ago
Motivational Diagnosis in ITSs: Collaborative, Reflective Self-Report
A central challenge in the design of motivationally intelligent tutoring systems lies in defining and diagnosing a learner’s motivational state: in particular, in distinguishing ...
Katerina Avramides, Benedict du Boulay
ISCAS
2005
IEEE
129views Hardware» more  ISCAS 2005»
16 years 14 days ago
Boundary control of a bipolar square-wave generator using second-order switching surface
- This paper presents a boundary control of bipolar square-wave generator using a second-order switching surface. The switching surface is derived by estimating the state trajector...
Kelvin Ka Sing Leung, Y. C. Julian Chiu, Henry Shu...