Sciweavers

2446 search results - page 209 / 490
» Choiceless Polynomial Time
Sort
View
ACTA
2006
154views more  ACTA 2006»
13 years 8 months ago
Solving HPP and SAT by P Systems with Active Membranes and Separation Rules
The P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type, where membrane division is the frequently investigated way for obta...
Linqiang Pan, Artiom Alhazov
NETWORKS
2011
13 years 3 months ago
Earliest arrival flows on series-parallel graphs
We present an exact algorithm for computing an earliest arrival flow in a discrete time setting on series-parallel graphs. In contrast to previous results for the earliest arrival...
Stefan Ruzika, Heike Sperber, Mechthild Steiner
DLOG
2011
12 years 11 months ago
Module Extraction via Query Inseparability in OWL 2 QL
We show that deciding conjunctive query inseparability for OWL 2 QL ontologies is PSpace-hard and in ExpTime. We give polynomial-time (incomplete) algorithms and demonstrate by exp...
Boris Konev, Roman Kontchakov, Michel Ludwig, Thom...
ISSAC
1997
Springer
142views Mathematics» more  ISSAC 1997»
14 years 13 days ago
The Structure of Sparse Resultant Matrices
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
Ioannis Z. Emiris, Victor Y. Pan
CISC
2006
Springer
103views Cryptology» more  CISC 2006»
14 years 12 hour ago
Dynamic Threshold and Cheater Resistance for Shamir Secret Sharing Scheme
In this paper, we investigate the problem of increasing the threshold parameter of the Shamir (t, n)-threshold scheme without interacting with the dealer. Our construction will re...
Christophe Tartary, Huaxiong Wang