3690 search results - page 528 / 738 » Computation with classical sequents |
172
click to vote
FOCS
2008
IEEE
15 years 12 months ago
2008
IEEE
Learning problems form an important category of computational tasks that generalizes many of the computations researchers apply to large real-life data sets. We ask: what concept ...
167
Voted
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
Linear Discriminant Analysis (LDA) is a widely used technique for pattern classification. It seeks the linear projection of the data to a low dimensional subspace where the data ...
139
click to vote
IMR
2005
Springer
15 years 11 months ago
2005
Springer
The first stage in an adaptive finite element scheme (cf. [CAS95, bor1]) consists in creating an initial mesh of a given domain Ω, which is used to perform an initial computati...
165
click to vote
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...
143
Voted
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
15 years 5 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...