2152 search results - page 344 / 431 » On Automating the Calculus of Relations |
72
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
This paper examines how different forms of linguistic similarity in a text-chat environment relate to the establishment of interpersonal trust. Sixty-two pairs played an iterative...
KDD
2005
ACM
16 years 1 months ago
2005
ACM
Online information services have grown too large for users to navigate without the help of automated tools such as collaborative filtering, which makes recommendations to users ba...
KDD
2001
ACM
16 years 1 months ago
2001
ACM
In this paper, a multimedia data mining framework for discovering important but previously unknown knowledge such as vehicle identification, traffic flow, and the spatio-temporal ...
225
Voted
POPL
2008
ACM
16 years 28 days ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
85
Voted
CADE
2007
Springer
16 years 28 days ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...