2152 search results - page 388 / 431 » On Automating the Calculus of Relations |
163
click to vote
HICSS
2011
IEEE
14 years 8 months ago
2011
IEEE
Is happiness contagious online? To answer this question, this paper investigates the posting behavior of users on Twitter.com, a popular online service for sharing short messages....
174
Voted
AIED
2011
Springer
14 years 8 months ago
2011
Springer
Both human and automated tutors must infer what a student knows and plan future actions to maximize learning. Though substantial research has been done on tracking and modeling stu...
148
Voted
CHI
2011
ACM
14 years 8 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...
165
Voted
DGO
2011
14 years 4 months ago
2011
The past few years have experienced an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous...
163
click to vote
VSTTE
2012
Springer
14 years 4 days ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...