Sciweavers

433 search results - page 17 / 87
» On stabilizers of infinite words
Sort
View
LPAR
2010
Springer
13 years 5 months ago
On the Satisfiability of Two-Variable Logic over Data Words
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...
Claire David, Leonid Libkin, Tony Tan
ICARCV
2008
IEEE
151views Robotics» more  ICARCV 2008»
14 years 2 months ago
Model-Based Networked Control System stability based on packet drop distributions
Abstract—This paper studies the system stability of a ModelBased Networked Control System in the cases where packet losses follow a certain distributions. In this study, the unre...
Lanzhi Teng, Peng Wen, Wei Xiang
ICMAS
1998
13 years 9 months ago
Heterogeneity, Stability, and Efficiency in Distributed Systems
This paper explores the increasing the heterogeneity of an agent population to stabilize decentralized systems by adding bias terms to each agent's expected payoffs. Two appr...
James D. Thomas, Katia P. Sycara
MOR
2007
109views more  MOR 2007»
13 years 7 months ago
Solution and Forecast Horizons for Infinite-Horizon Nonhomogeneous Markov Decision Processes
We consider the problem of solving a nonhomogeneous infinite horizon Markov Decision Process (MDP) problem in the general case of potentially multiple optimal first period polic...
Torpong Cheevaprawatdomrong, Irwin E. Schochetman,...
SIAMJO
2010
136views more  SIAMJO 2010»
13 years 2 months ago
A New Exchange Method for Convex Semi-Infinite Programming
In this paper we propose a new exchange method for solving convex semi-infinite programming (CSIP) problems. We introduce a new dropping-rule in the proposed exchange algorithm, wh...
Liping Zhang, Soon-Yi Wu, Marco A. López