Sciweavers

14158 search results - page 463 / 2832
» Generalized switch-setting problems
Sort
View
DM
2002
114views more  DM 2002»
15 years 6 months ago
C4-saturated bipartite graphs
Let H be a graph. A graph G is said to be H-free if it contains no subgraph isomorphic to H. A graph G is said to be an H-saturated subgraph of a graph K if G is an H-free subgrap...
Darryn E. Bryant, Hung-Lin Fu
INFORMATICALT
2000
96views more  INFORMATICALT 2000»
15 years 6 months ago
Computing True Shadow Prices in Linear Programming
It is well known that in linear programming, the optimal values of the dual variables can be interpreted as shadow prices (marginal values) of the right-hand side coefficients. How...
James K. Ho
ENTCS
2002
99views more  ENTCS 2002»
15 years 6 months ago
Greatest Bisimulations for Binary Methods
In previous work [14] I introduced a generalised notion of coalgebra that is capable of modelling binary methods as they occur in object-oriented programming. An important problem...
Hendrik Tews
PR
2000
92views more  PR 2000»
15 years 6 months ago
On the independence of rotation moment invariants
The problem of the independence and completeness of rotation moment invariants is addressed in this paper. First, a general method for constructing invariants of arbitrary orders ...
Jan Flusser
APAL
1999
88views more  APAL 1999»
15 years 6 months ago
A Simple Propositional S5 Tableau System
We give a sound and complete propositional S5 tableau system of a particularly simple sort, having an easy completeness proof. It sheds light on why the satisfiability problem for...
Melvin Fitting