Sciweavers

865 search results - page 135 / 173
» Uncertainty Reduction Using Dynamics
Sort
View
CVPR
2010
IEEE
15 years 10 months ago
Beyond Active Noun Tagging: Modeling Contextual Interactions for Multi-Class Active Learning
We present an active learning framework to simultaneously learn appearance and contextual models for scene understanding tasks (multi-class classification). Existing multi-class a...
Behjat Siddiquie, Abhinav Gupta
MICRO
2008
IEEE
131views Hardware» more  MICRO 2008»
15 years 8 months ago
Token flow control
As companies move towards many-core chips, an efficient onchip communication fabric to connect these cores assumes critical importance. To address limitations to wire delay scala...
Amit Kumar 0002, Li-Shiuan Peh, Niraj K. Jha
ISLPED
2005
ACM
122views Hardware» more  ISLPED 2005»
15 years 8 months ago
A simple mechanism to adapt leakage-control policies to temperature
Leakage power reduction in cache memories continues to be a critical area of research because of the promise of a significant pay-off. Various techniques have been developed so fa...
Stefanos Kaxiras, Polychronis Xekalakis, Georgios ...
PPOPP
2009
ACM
16 years 2 months ago
Formal verification of practical MPI programs
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Gan...
173
Voted
FOCS
2000
IEEE
15 years 6 months ago
Stable Distributions, Pseudorandom Generators, Embeddings and Data Stream Computation
In this article, we show several results obtained by combining the use of stable distributions with pseudorandom generators for bounded space. In particular: —We show that, for a...
Piotr Indyk