Sciweavers

3818 search results - page 251 / 764
» Word Problems on Compressed Words
Sort
View
NETWORKS
2006
15 years 6 months ago
A bidirected generalization of network matrices
We define binet matrices, which furnish a direct generalization of totally unimodular network matrices and arise from the node-edge incidence matrices of bidirected graphs in the ...
Gautam Appa, Balázs Kotnyek
SCL
2008
89views more  SCL 2008»
15 years 6 months ago
Cascade estimators for systems on a partial order
In this work, the problem of estimating the state in systems with continuous and discrete variables is considered. A cascade state estimator on a partial order is constructed and ...
Domitilla Del Vecchio
AUTOMATICA
2005
92views more  AUTOMATICA 2005»
15 years 6 months ago
Control of manufacturing systems with a two-value, production-dependent failure rate
In this paper we consider a failure prone, single machine, single part-type, limited inventory, manufacturing system subject to a non-homogeneous Markov failure/repair process wit...
Francesco Martinelli
IPL
2007
69views more  IPL 2007»
15 years 6 months ago
On the fixed-parameter tractability of the equivalence test of monotone normal forms
We consider the problem Monet—given two monotone formulas ϕ in DNF and ψ in CNF, decide whether they are equivalent. While Monet is probably not coNPhard, it is a long standin...
Matthias Hagen
TCS
2008
15 years 6 months ago
Finding a minimum medial axis of a discrete shape is NP-hard
The medial axis is a classical representation of digital objects widely used in many applications. However, such a set of balls may not be optimal: subsets of the medial axis may ...
David Coeurjolly, Jérôme Hulin, Isabe...