Sciweavers

4488 search results - page 329 / 898
» Properties of NP-Complete Sets
Sort
View
ECCC
2002
68views more  ECCC 2002»
15 years 6 months ago
Bi-Immunity Separates Strong NP-Completeness Notions
We prove that if for some > 0, NP contains a set that is DTIME(2n )-bi-immune, then NP contains a set that is 2-Turing complete for NP (hence 3-truth-table complete) but not 1-t...
Aduri Pavan, Alan L. Selman
ENTCS
2002
80views more  ENTCS 2002»
15 years 6 months ago
Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited
In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data struct...
Alain Finkel, Jean-François Raskin, Mathias...
NECO
2000
88views more  NECO 2000»
15 years 6 months ago
Practical Identifiability of Finite Mixtures of Multivariate Bernoulli Distributions
The class of finite mixtures of multivariate Bernoulli distributions is known to be nonidentifiable, i.e., different values of the mixture parameters can correspond to exactly the...
Miguel Á. Carreira-Perpiñán, ...
TC
1998
15 years 6 months ago
Resilient Authentication Using Path Independence
—Authentication using a path of trusted intermediaries, each able to authenticate the next in the path, is a well-known technique for authenticating channels in a large distribut...
Michael K. Reiter, Stuart G. Stubblebine
RTS
2008
74views more  RTS 2008»
15 years 6 months ago
Quantifying and suppressing the measurement disturbance in feedback controlled real-time systems
In the control of continuous and physical systems, the controlled system is sampled sufficiently fast to capture the dynamics of the system. In general, this property cannot be app...
Mehdi Amirijoo, Jörgen Hansson, Svante Gunnar...