1712 search results - page 111 / 343 » Assistive technology in computer science |
199
click to vote
Lecture Notes
These lecture notes have been developed over several semesters with the assistance of students in the course. For many (most) results, only incomplete proofs are given. Gaps in the...
157
click to vote
ICALT
2006
IEEE
16 years 9 days ago
2006
IEEE
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...
149
click to vote
AAAI
2010
15 years 7 months ago
2010
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
139
click to vote
HCI
2007
15 years 7 months ago
2007
This paper presents a “persistent chat” extension to the ePresence Interactive Media webcasting infrastructure to support real-time commenting on and discussing of issues that ...
152
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veri...