21342 search results - page 4010 / 4269 » A Structured Language Model |
119
click to vote
CHI
2000
ACM
15 years 7 months ago
2000
ACM
We can reliably build “second generation” intelligent computer tutors that are approximately half as effective as human tutors. This paper evaluates two interface enhancements...
123
click to vote
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...
141
click to vote
AGP
1999
IEEE
15 years 6 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
149
Voted
CHI
1999
ACM
15 years 6 months ago
1999
ACM
Interactive software is currently used for learning and entertainment purposes. This type of software is not very common among blind children because most computer games and elect...
157
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...