2635 search results - page 237 / 527 » Computing multihomogeneous resultants using straight-line pr... |
112
click to vote
HPCA
2005
IEEE
16 years 1 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...
104
click to vote
BIBE
2005
IEEE
15 years 6 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...
121
click to vote
DSN
2005
IEEE
15 years 6 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...
113
Voted
MICCAI
1999
Springer
15 years 4 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...
98
Voted
GI
2009
Springer
15 years 5 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, ...