Sciweavers

433 search results - page 48 / 87
» On stabilizers of infinite words
Sort
View
SIAMCO
2008
70views more  SIAMCO 2008»
13 years 8 months ago
Duality in Linear Programming Problems Related to Deterministic Long Run Average Problems of Optimal Control
It has been established recently that, under mild conditions, deterministic long run average problems of optimal control are "asymptotically equivalent" to infinite-dimen...
Luke Finlay, Vladimir Gaitsgory, Ivan Lebedev
SIAMJO
2008
92views more  SIAMJO 2008»
13 years 8 months ago
A Trust Region Spectral Bundle Method for Nonconvex Eigenvalue Optimization
We present a nonsmooth optimization technique for nonconvex maximum eigenvalue functions and for nonsmooth functions which are infinite maxima of eigenvalue functions. We prove glo...
Pierre Apkarian, Dominikus Noll, O. Prot
CLIMA
2010
13 years 9 months ago
Exploring the Boundary of Half Positionality
Half positionality is the property of a language of infinite words to admit positional winning strategies, when interpreted as the goal of a two-player game on a graph. Such proble...
Alessandro Bianco, Marco Faella, Fabio Mogavero, A...
DM
1999
101views more  DM 1999»
13 years 7 months ago
Characterizations of bipartite Steinhaus graphs
We characterize bipartite Steinhaus graphs in three ways by partitioning them into four classes and we describe the color sets for each of these classes. An interesting recursion ...
Gerard J. Chang, Bhaskar DasGupta, Wayne M. Dym&ag...
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
13 years 6 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem