Sciweavers

1888 search results - page 155 / 378
» Proof theory and computational analysis
Sort
View
180
Voted
DATAMINE
1998
175views more  DATAMINE 1998»
15 years 6 months 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...
189
Voted
ACL2
2006
ACM
16 years 1 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
PERCOM
2009
ACM
16 years 1 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...
181
Voted
ICA
2007
Springer
16 years 1 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...
197
Voted
JMIV
2010
78views more  JMIV 2010»
15 years 5 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...