Results 1  10
of
1,040,381
Separation of NPcompleteness notions
 SIAM JOURNAL ON COMPUTING
, 2001
"... We use hypotheses of structural complexity theory to separate various NPcompleteness notions. In particular, we introduce an hypothesis from which we describe a set in NP that is ¡ P Tcomplete but not ¡ P ttcomplete. We provide fairly thorough analyses of the hypotheses that we introduce. ..."
Abstract

Cited by 19 (11 self)
 Add to MetaCart
We use hypotheses of structural complexity theory to separate various NPcompleteness notions. In particular, we introduce an hypothesis from which we describe a set in NP that is ¡ P Tcomplete but not ¡ P ttcomplete. We provide fairly thorough analyses of the hypotheses that we introduce.
Biimmunity separates strong NPcompleteness notions
 Information and Computation
, 2004
"... Abstract. We prove that if for some ɛ> 0, NP contains a set that is DTIME(2 nɛ)biimmune, then NP contains a set that is 2Turing complete for NP (hence 3truthtable complete) but not 1truthtable complete for NP. Thus this hypothesis implies a strong separation of completeness notions for NP. ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
Abstract. We prove that if for some ɛ> 0, NP contains a set that is DTIME(2 nɛ)biimmune, then NP contains a set that is 2Turing complete for NP (hence 3truthtable complete) but not 1truthtable complete for NP. Thus this hypothesis implies a strong separation of completeness notions for NP
A Behavioral Notion of Subtyping
 ACM Transactions on Programming Languages and Systems
, 1994
"... The use of hierarchy is an important component of objectoriented design. Hierarchy allows the use of type families, in which higher level supertypes capture the behavior that all of their subtypes have in common. For this methodology to be effective, it is necessary to have a clear understanding of ..."
Abstract

Cited by 514 (18 self)
 Add to MetaCart
is easy for programmers to use. The subtype relation is based on the specifications of the sub and supertypes; the paper presents a way of specifying types that makes it convenient to define the subtype relation. The paper also discusses the ramifications of this notion of subtyping on the design of type
Relations among notions of security for publickey encryption schemes
, 1998
"... Abstract. We compare the relative strengths of popular notions of security for public key encryption schemes. We consider the goals of privacy and nonmalleability, each under chosen plaintext attack and two kinds of chosen ciphertext attack. For each of the resulting pairs of definitions we prove e ..."
Abstract

Cited by 514 (68 self)
 Add to MetaCart
either an implication (every scheme meeting one notion must meet the other) or a separation (there is a scheme meeting one notion but not the other, assuming the first notion can be met at all). We similarly treat plaintext awareness, a notion of security in the random oracle model. An additional
N Degrees of Separation: MultiDimensional Separation of Concerns
 IN PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
, 1999
"... Done well, separation of concerns can provide many software engineering benefits, including reduced complexity, improved reusability, and simpler evolution. The choice of boundaries for separate concerns depends on both requirements on the system and on the kind(s) of decompositionand composition a ..."
Abstract

Cited by 514 (8 self)
 Add to MetaCart
Done well, separation of concerns can provide many software engineering benefits, including reduced complexity, improved reusability, and simpler evolution. The choice of boundaries for separate concerns depends on both requirements on the system and on the kind(s) of decompositionand composition a
Separation of ownership and control
 JOURNAL OF LAW AND ECONOMICS
, 1983
"... This paper analyzes the survival of organizations in which decision agents do not bear a major share of the wealth effects of their decisions. This is what the literature on large corporations calls separation of âownershipâ and âcontrol.â Such separation of decision and risk bearing functio ..."
Abstract

Cited by 1564 (7 self)
 Add to MetaCart
This paper analyzes the survival of organizations in which decision agents do not bear a major share of the wealth effects of their decisions. This is what the literature on large corporations calls separation of âownershipâ and âcontrol.â Such separation of decision and risk bearing
NPcompleteness of the Planar Separator Problems
, 2001
"... For a given graph G, the Separator Problem asks whether a vertex or edge set of small cardinality (or weight) exists whose removal partitions G into two disjoint graphs of approximately equal sizes. Called the Vertex Separator Problem when the removed set is a vertex set, and the Edge Separator Prob ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Problem when it is an edge set, both problems are NPcomplete for general unweighted graphs [6]. Despite the significance of planar graphs, it has not been known whether the Planar Separator Problem, which considers a planar graph and a threshold as an input, is NPcomplete or not. In this paper, we prove
Blind Signal Separation: Statistical Principles
, 2003
"... Blind signal separation (BSS) and independent component analysis (ICA) are emerging techniques of array processing and data analysis, aiming at recovering unobserved signals or `sources' from observed mixtures (typically, the output of an array of sensors), exploiting only the assumption of mut ..."
Abstract

Cited by 522 (4 self)
 Add to MetaCart
Blind signal separation (BSS) and independent component analysis (ICA) are emerging techniques of array processing and data analysis, aiming at recovering unobserved signals or `sources' from observed mixtures (typically, the output of an array of sensors), exploiting only the assumption
The separation of ownership and control in East Asian Corporations
 Journal of Financial Economics
, 2000
"... We examine the separation of ownership and control for 2,980 corporations in nine East Asian countries. In all countries, voting rights frequently exceed cash#ow rights via pyramid structures and crossholdings. The separation of ownership and control is most pronounced among familycontrolled &quo ..."
Abstract

Cited by 573 (17 self)
 Add to MetaCart
We examine the separation of ownership and control for 2,980 corporations in nine East Asian countries. In all countries, voting rights frequently exceed cash#ow rights via pyramid structures and crossholdings. The separation of ownership and control is most pronounced among family
Where the REALLY Hard Problems Are
 IN J. MYLOPOULOS AND R. REITER (EDS.), PROCEEDINGS OF 12TH INTERNATIONAL JOINT CONFERENCE ON AI (IJCAI91),VOLUME 1
, 1991
"... It is well known that for many NPcomplete problems, such as KSat, etc., typical cases are easy to solve; so that computationally hard cases must be rare (assuming P != NP). This paper shows that NPcomplete problems can be summarized by at least one "order parameter", and that the hard p ..."
Abstract

Cited by 681 (1 self)
 Add to MetaCart
It is well known that for many NPcomplete problems, such as KSat, etc., typical cases are easy to solve; so that computationally hard cases must be rare (assuming P != NP). This paper shows that NPcomplete problems can be summarized by at least one "order parameter", and that the hard
Results 1  10
of
1,040,381