Sciweavers

1888 search results - page 155 / 378
» Proof theory and computational analysis
Sort
View
90
Voted
DATAMINE
1998
175views more  DATAMINE 1998»
15 years 11 days ago
A Microeconomic View of Data Mining
We present a rigorous framework, based on optimization, for evaluating data mining operations such as associations and clustering, in terms of their utility in decisionmaking. Thi...
Jon M. Kleinberg, Christos H. Papadimitriou, Prabh...
118
Voted
ACL2
2006
ACM
15 years 6 months ago
Phylogenetic trees in ACL2
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
Warren A. Hunt Jr., Serita M. Nelesen
80
Voted
PERCOM
2009
ACM
15 years 7 months ago
Tracking and Annotation in Skills-Based Learning Environments
This paper outlines a series of experiments looking at the annotation and subsequent analysis of skills-based learning and teaching in the domain of Nursing. The experiments used ...
Mark J. Weal, Danius T. Michaelides, Kevin R. Page...
ICA
2007
Springer
15 years 6 months ago
Is the General Form of Renyi's Entropy a Contrast for Source Separation?
Abstract. Renyi’s entropy-based criterion has been proposed as an objective function for independent component analysis because of its relationship with Shannon’s entropy and i...
Frédéric Vrins, Dinh-Tuan Pham, Mich...
116
Voted
JMIV
2010
78views more  JMIV 2010»
14 years 11 months ago
Mathematical Modeling of Textures: Application to Color Image Decomposition with a Projected Gradient Algorithm
: In this paper, we are interested in texture modeling with functional analysis spaces. We focus on the case of color image processing, and in particular color image decomposition....
Vincent Duval, Jean-François Aujol, Luminit...