Sciweavers

977 search results - page 69 / 196
» An Algebraic Approach to Data Mining: Some Examples
Sort
View
FLOPS
2008
Springer
15 years 7 months ago
On-Demand Refinement of Dependent Types
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
Hiroshi Unno, Naoki Kobayashi
ICFP
2006
ACM
16 years 6 months ago
A pattern for almost compositional functions
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
Aarne Ranta, Björn Bringert
KDD
2006
ACM
167views Data Mining» more  KDD 2006»
16 years 6 months ago
Identifying "best bet" web search results by mining past user behavior
The top web search result is crucial for user satisfaction with the web search experience. We argue that the importance of the relevance at the top position necessitates special h...
Eugene Agichtein, Zijian Zheng
JMIV
2000
125views more  JMIV 2000»
15 years 6 months ago
Recognizing 3D Objects Using Tactile Sensing and Curve Invariants
A general paradigm for recognizing 3D objects is offered, and applied to some geometric primitives (spheres, cylinders, cones, and tori). The assumption is that a curve on the surf...
Daniel Keren, Ehud Rivlin, Ilan Shimshoni, Isaac W...
PAMI
2008
216views more  PAMI 2008»
15 years 6 months ago
Annotating Images by Mining Image Search Results
Although it has been studied for years by the computer vision and machine learning communities, image annotation is still far from practical. In this paper, we propose a novel atte...
Xin-Jing Wang, Lei Zhang 0001, Xirong Li, Wei-Ying...