2635 search results - page 237 / 527 » Computing multihomogeneous resultants using straight-line pr... |
141
Voted
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
The use of large instruction windows coupled with aggressive out-oforder and prefetching capabilities has provided significant improvements in processor performance. In this paper...
137
Voted
BIBE
2005
IEEE
15 years 9 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
150
Voted
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
139
Voted
MICCAI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A new information-theoretic approach is presented for analyzing fMRI data to calculate the brain activation map. The method is based on a formulation of the mutualinforma...
126
Voted
GI
2009
Springer
15 years 8 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...