1995 search results - page 223 / 399 » What's the Problem |
172
click to vote
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...
121
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
People with chronic health problems use online resources to understand and manage their condition, but many such resources can present competing and confusing viewpoints. We surve...
164
click to vote
SDM
2012
SIAM
13 years 7 months ago
2012
SIAM
Finding latent factors of the data using matrix factorizations is a tried-and-tested approach in data mining. But finding shared factors over multiple matrices is more novel prob...
146
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
141
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...