2328 search results - page 121 / 466 » Causal Relation Extraction |
IMR
2004
Springer
15 years 4 months ago
2004
Springer
Generating large 3D unstructured meshes with over 1 billion elements has been a challenging task. Fortunately, for a large class of applications with relatively simple geometries,...
ISMIR
2004
Springer
15 years 4 months ago
2004
Springer
The realisation and evaluation of a musical key extraction algorithm that works directly on raw audio data is presented. Its implementation is based on models of human auditory pe...
102
click to vote
TYPES
2004
Springer
15 years 4 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
ICDAR
2003
IEEE
15 years 4 months ago
2003
IEEE
We are concerned with the extraction of tables from exchange format representations of very diverse composite documents. We put forward a flexible representation scheme for comple...
103
click to vote
ICANN
2001
Springer
15 years 3 months ago
2001
Springer
Support vector machines have gotten wide acceptance for their high generalization ability for real world applications. But the major drawback is slow training for classification p...