Sciweavers

4581 search results - page 744 / 917
» Computing Transformation Semigroups
Sort
View
PERCOM
2007
ACM
16 years 6 months ago
A Cooperative MAC Protocol for Ad Hoc Wireless Networks
Cooperative communications fully leverages the broadcast nature of the wireless channel and spatial diversity, thereby achieving tremendous improvements in system capacity and dela...
Thanasis Korakis, Zhifeng Tao, Yevgeniy Slutskiy, ...
SDM
2009
SIAM
217views Data Mining» more  SDM 2009»
16 years 3 months ago
A Framework for Exploring Categorical Data.
In this paper, we present a framework for categorical data analysis which allows such data sets to be explored using a rich set of techniques that are only applicable to continuou...
Shyam Boriah, Varun Chandola, Vipin Kumar
ECIR
2009
Springer
16 years 3 months ago
Risk-Aware Information Retrieval
Probabilistic retrieval models usually rank documents based on a scalar quantity. However, such models lack any estimate for the uncertainty associated with a document’s rank. Fu...
Jianhan Zhu, Jun Wang, Michael J. Taylor, Ingemar ...
ICCAD
2007
IEEE
143views Hardware» more  ICCAD 2007»
16 years 3 months ago
TIP-OPC: a new topological invariant paradigm for pixel based optical proximity correction
—As the 193nm lithography is likely to be used for 45nm and even 32nm processes, much more stringent requirement will be posed on Optical Proximity Correction (OPC) technologies....
Peng Yu, David Z. Pan
ICCAD
2005
IEEE
90views Hardware» more  ICCAD 2005»
16 years 3 months ago
Scalable compositional minimization via static analysis
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz