Sciweavers

4488 search results - page 202 / 898
» Properties of NP-Complete Sets
Sort
View
IPL
2008
77views more  IPL 2008»
13 years 8 months ago
On the coordinator's rule for Fast Paxos
Fast Paxos is an algorithm for consensus that works by a succession of rounds, where each round tries to decide a value v that is consistent with all past rounds. Rounds are start...
Gustavo M. D. Vieira, Luiz Eduardo Buzato
ENTCS
2007
96views more  ENTCS 2007»
13 years 8 months ago
Semantics of Biological Regulatory Networks
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...
Gilles Bernot, Franck Cassez, Jean-Paul Comet, Fra...
OL
2008
56views more  OL 2008»
13 years 8 months ago
Generalized semi-infinite programming: the Symmetric Reduction Ansatz
We introduce the Symmetric Reduction Ansatz at a point from the closure of the feasible set in generalized semi-infinite programming. A corresponding Symmetric Reduction Lemma is s...
Harald Günzel, Hubertus Th. Jongen, Oliver St...
BSL
2005
106views more  BSL 2005»
13 years 8 months ago
Compactness and independence in non first order frameworks
This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...
Itay Ben-Yaacov
CAGD
2005
135views more  CAGD 2005»
13 years 8 months ago
Constrained space curve interpolation with constraint planes
We consider the interpolation of a given set of ordered space data points by a smooth curve in the presence ofa set offinite or infinite constraint planes, where the polyline join...
V. P. Kong, B. H. Ong