1280 search results - page 167 / 256 » Soft Typing with Conditional Types |
VLSID
2008
IEEE
14 years 9 months ago
2008
IEEE
Negative Bias Temperature Instability (NBTI) has been identified as a major and critical reliability issue for PMOS devices in nano-scale designs. It manifests as a negative thres...
CHI
2001
ACM
14 years 9 months ago
2001
ACM
In this paper we present a system that electromagnetically tracks the positions and orientations of multiple wireless objects on a tabletop display surface. The system offers two ...
RECOMB
2005
Springer
14 years 9 months ago
2005
Springer
An accurate scoring function for database search is crucial for peptide identification using tandem mass spectrometry. Although many mathematical models have been proposed to scor...
RECOMB
2005
Springer
14 years 9 months ago
2005
Springer
: A series of genome-scale algorithms and high-performance implementations is described and shown to be useful in the genetic analysis of gene transcription. With them it is possib...
MOBIHOC
2004
ACM
14 years 8 months ago
2004
ACM
Smart antennas represent a broad variety of antennas that differ in their performance and transceiver complexity. The superior capabilities of smart antennas, however, can be leve...