Sciweavers

1347 search results - page 256 / 270
» Using Clustering Methods for Discovering Event Structures
Sort
View
POPL
2010
ACM
15 years 7 months ago
A Verified Compiler for an Impure Functional Language
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
Adam J. Chlipala
CVPR
2008
IEEE
15 years 11 months ago
Large-scale manifold learning
This paper examines the problem of extracting lowdimensional manifold structure given millions of highdimensional face images. Specifically, we address the computational challenge...
Ameet Talwalkar, Sanjiv Kumar, Henry A. Rowley
CVPR
2010
IEEE
15 years 5 months ago
A Novel Riemannian Framework for Shape Analysis of 3D Objects
In this paper we introduce a novel Riemannian framework for shape analysis of parameterized surfaces. We derive a distance function between any two surfaces that is invariant to r...
Sebastian Kurtek, Eric Klassen, Anuj Srivastava, Z...
NLDB
2007
Springer
15 years 3 months ago
Combining Vector Space Model and Multi Word Term Extraction for Semantic Query Expansion
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...
Eric SanJuan, Fidelia Ibekwe-Sanjuan, Juan Manuel ...
ICDM
2006
IEEE
152views Data Mining» more  ICDM 2006»
15 years 3 months ago
Application of Graph-based Data Mining to Metabolic Pathways
We present a method for finding biologically meaningful patterns on metabolic pathways using the SUBDUE graph-based relational learning system. A huge amount of biological data t...
Chang Hun You, Lawrence B. Holder, Diane J. Cook