Sciweavers

6218 search results - page 81 / 1244
» Similarity of Semantic Relations
Sort
View
IUI
2006
ACM
16 years 3 days ago
SWISH: semantic analysis of window titles and switching history
Information workers are often involved in multiple tasks and activities that they must perform in parallel or in rapid succession. In consequence, task management itself becomes y...
Nuria Oliver, Greg Smith, Chintan Thakkar, Arun C....
196
Voted
ICFP
2012
ACM
13 years 8 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens
125
Voted
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 6 months ago
A finiteness structure on resource terms
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
Thomas Ehrhard
162
Voted
DMIN
2006
151views Data Mining» more  DMIN 2006»
15 years 7 months ago
Rough Set Theory: Approach for Similarity Measure in Cluster Analysis
- Clustering of data is an important data mining application. One of the problems with traditional partitioning clustering methods is that they partition the data into hard bound n...
Shuchita Upadhyaya, Alka Arora, Rajni Jain
131
Voted
GRC
2007
IEEE
16 years 14 days ago
Granulation with Indistinguishability, Equivalence, or Similarity
Abstract— One of the relations used with granularity is indistinguishability, where distinguishable entities in a finer-grained granule are indistinguishable in a coarser-graine...
C. Maria Keet