3630 search results - page 231 / 726 » How to Compare Treebanks |
183
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
212
click to vote
ACSC
2009
IEEE
16 years 2 months ago
2009
IEEE
1 This paper compares the CORE rankings of computing conferences and journals to the frequency of citation of those journals and conferences in the Australasian Computer Science Co...
181
click to vote
CGO
2009
IEEE
16 years 2 months ago
2009
IEEE
The development of high-performance libraries has become extraordinarily difficult due to multiple processor cores, vector instruction sets, and deep memory hierarchies. Often, t...
187
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Software practitioners experience pressure to compromise their work and their reasonable care for others. Even as software becomes more beneficial, pervasive, and interconnected, ...
146
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Abstract— This article describes how to accelerate the convergence of Preconditioned Conjugate Gradient (PCG) type eigensolvers for the computation of several states around the b...