Sciweavers

3818 search results - page 172 / 764
» Word Problems on Compressed Words
Sort
View
JPDC
2008
115views more  JPDC 2008»
15 years 6 months ago
On Byzantine generals with alternative plans
This paper proposes a variation of the Byzantine generals problem (or Byzantine consensus). Each general has a set of good plans and a set of bad plans. The problem is to make all...
Miguel Correia, Alysson Neves Bessani, Paulo Ver&i...
135
Voted
MOR
2006
93views more  MOR 2006»
15 years 6 months ago
Optimization of Convex Risk Functions
We consider optimization problems involving convex risk functions. By employing techniques of convex analysis and optimization theory in vector spaces of measurable functions we d...
Andrzej Ruszczynski, Alexander Shapiro
SIAMCOMP
2008
84views more  SIAMCOMP 2008»
15 years 6 months ago
Resolution Is Not Automatizable Unless W[P] Is Tractable
We show that neither Resolution nor tree-like Resolution is automatizable unless the class W[P] from the hierarchy of parameterized problems is fixed-parameter tractable by randomi...
Michael Alekhnovich, Alexander A. Razborov
AMC
2005
127views more  AMC 2005»
15 years 6 months ago
The identification of nondominated and efficient paths on a network
In this paper, we present an application of 0-1 linear programming problem in the indentification of the nondominated paths on a network. To find efficient paths, an adaptationof t...
Gholam Reza Jahanshahloo, F. Hosseinzadeh Lotfi, N...
146
Voted
IPL
2007
94views more  IPL 2007»
15 years 6 months ago
A note on emptiness for alternating finite automata with a one-letter alphabet
We present a new proof of PSPACE-hardness of the emptiness problem for alternating finite automata with a singleton alphabet. This result was shown by Holzer (1995) who used a pr...
Petr Jancar, Zdenek Sawa