Results 11  20
of
22,151
Value Locality and Load Value Prediction
, 1996
"... Since the introduction of virtual memory demandpaging and cache memories, computer systems have been exploiting spatial and temporal locality to reduce the average latency of a memory reference. In this paper, we introduce the notion of value locality, a third facet of locality that is frequently p ..."
Abstract

Cited by 391 (18 self)
 Add to MetaCart
are frequently predictable as well. Furthermore, we show that simple microarchitectural enhancements to two modern microprocessor implementations (based on the PowerPC 620 and Alpha 21164) that enable load value prediction can effectively exploit value locality to collapse true dependencies, reduce average
Metric Learning by Collapsing Classes
"... We present an algorithm for learning a quadratic Gaussian metric (Mahalanobis distance) for use in classification tasks. Our method relies on the simple geometric intuition that a good metric is one under which points in the same class are simultaneously near each other and far from points in th ..."
Abstract

Cited by 230 (2 self)
 Add to MetaCart
in the other classes. We construct a convex optimization problem whose solution generates such a metric by trying to collapse all examples in the same class to a single point and push examples in other classes infinitely far away. We show that when the metric we learn is used in simple classifiers
Rapid worldwide depletion of predatory fish communities.
 Nature,
, 2003
"... Serious concerns have been raised about the ecological effects of industrialized fishing Ecological communities on continental shelves and in the open ocean contribute almost half of the planet's primary production 9 , and sustain threequarters of global fishery yields 1 . The widespread dec ..."
Abstract

Cited by 367 (7 self)
 Add to MetaCart
decline and collapse of major fish stocks has sparked concerns about the effects of overfishing on these communities. Historical data from coastal ecosystems suggest that losses of large predatory fishes, as well as mammals and reptiles, were especially pronounced, and precipitated marked changes
Face recognition by elastic bunch graph matching,
 IEEE Trans. Patt. Anal. Mach. Intell.
, 1997
"... Abstract We present a system for recognizing human faces from single images out of a large database containing one image per person. The task is difficult because of image variation in terms of position, size, expression, and pose. The system collapses most of this variance by extracting concise fa ..."
Abstract

Cited by 367 (9 self)
 Add to MetaCart
Abstract We present a system for recognizing human faces from single images out of a large database containing one image per person. The task is difficult because of image variation in terms of position, size, expression, and pose. The system collapses most of this variance by extracting concise
Trading Group Theory for Randomness
, 1985
"... In a previous paper [BS] we proved, using the elements of the Clwory of nilyotenf yroupu, that some of the /undamcnla1 computational problems in mat & proup, belong to NP. These problems were also ahown to belong to CONP, assuming an unproven hypofhedi.9 concerning finilc simple Q ’ oup,. The a ..."
Abstract

Cited by 353 (9 self)
 Add to MetaCart
prove th:rt. in spite of their analogy with the polynomial time hierarchy, the finite levrls of this hierarchy collapse t,o Afsf=Ah42). Using a combinatorial lemma on finite groups [IIE], we construct a game by whirh t.he nondeterministic player (Merlin) is able to coavlnre the random player (Arthur
Biological identifications through DNA barcodes
 Proc. Biol. Sci
, 2003
"... Although much biological research depends upon species diagnoses, taxonomic expertise is collapsing. We are convinced that the sole prospect for a sustainable identification capability lies in the construction of systems that employ DNA sequences as taxon ‘barcodes’. In this study, we establish that ..."
Abstract

Cited by 335 (3 self)
 Add to MetaCart
Although much biological research depends upon species diagnoses, taxonomic expertise is collapsing. We are convinced that the sole prospect for a sustainable identification capability lies in the construction of systems that employ DNA sequences as taxon ‘barcodes’. In this study, we establish
Reactive Modules
 FORMAL METHODS IN SYSTEM DESIGN
, 1996
"... We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assumeguarantee) and hierarchical (stepwiserefinement) design and verification. While synchronous models are based on a notion of at ..."
Abstract

Cited by 324 (38 self)
 Add to MetaCart
of atomic computation step, and asynchronous models remove that notion by introducing stuttering, our model is based on a flexible notion of what constitutes a computation step: by applying an abstraction operator to a system, arbitrarily many consecutive steps can be collapsed into a single step
Relational Queries Computable in Polynomial Time
 Information and Control
, 1986
"... We characterize the polynomial time computable queries as those expressible in relational calculus plus a least fixed point operator and a total ordering on the universe. We also show that even without the ordering one application of fixed point suffices to express any query expressible with several ..."
Abstract

Cited by 318 (17 self)
 Add to MetaCart
with several alternations of fixed point and negation. This proves that the fixed point query hierarchy suggested by Chandra and Harel collapses at the first fixed point level. It is also a general result showing that in finite model theory one application of fixed point suffices. Introduction and Summary
Collapse
, 2011
"... The problem of checking whether a given tower of bricks is stable can be easily answered by checking whether a system of linear inequalities has a feasible solution. A more challenging problem is to determine how an unstable tower of bricks collapses. We use Gauß’ principle of least restraint to sho ..."
Abstract
 Add to MetaCart
The problem of checking whether a given tower of bricks is stable can be easily answered by checking whether a system of linear inequalities has a feasible solution. A more challenging problem is to determine how an unstable tower of bricks collapses. We use Gauß’ principle of least restraint
Collapse
, 909
"... of the fractional quantum Hall state by a unidirectional periodic potential modulation ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
of the fractional quantum Hall state by a unidirectional periodic potential modulation
Results 11  20
of
22,151