3116 search results - page 529 / 624 » Positively dependent types |
158
click to vote
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...
143
click to vote
HPCA
2004
IEEE
16 years 5 months ago
2004
IEEE
As microprocessors become increasingly complex, the techniques used to analyze and predict their behavior must become increasingly rigorous. This paper applies wavelet analysis te...
165
Voted
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. Asymmetric functional divergence of paralogues is a key aspect of the traditional model of evolution following duplication. If one gene continues to perform the ancestral...
218
click to vote
PODS
2001
ACM
16 years 5 months ago
2001
ACM
The dimensionality curse has profound e ects on the effectiveness of high-dimensional similarity indexing from the performance perspective. One of the well known techniques for im...
133
click to vote
PODS
2007
ACM
16 years 5 months ago
2007
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. Two operators on schema mappings, namely the composition operator and th...