2452 search results - page 87 / 491 » On Reduction of Lagrange Systems |
157
click to vote
LFP
1990
15 years 7 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
306
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
The notorious "dimensionality curse" is a well-known phenomenon for any multi-dimensional indexes attempting to scale up to high dimensions. One well known approach to o...
149
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Determining cortical functional areas is an important goal for neurosciences and clinical neurosurgery. This paper presents a method for connectivity-based parcellation of the enti...
145
click to vote
HPCA
2005
IEEE
16 years 6 months ago
2005
IEEE
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling sy...
181
click to vote
ICASSP
2009
IEEE
16 years 16 days ago
2009
IEEE
We propose a new active learning algorithm to address the problem of selecting a limited subset of utterances for transcribing from a large amount of unlabeled utterances so that ...