13306 search results - page 2353 / 2662 » Theoretical Computer Science |
231
click to vote
ASSETS
2007
ACM
15 years 11 months ago
2007
ACM
We address the practical problem of automating the process of translating figures from mathematics, science, and engineering textbooks to a tactile form suitable for blind student...
145
click to vote
APGV
2010
ACM
15 years 11 months ago
2010
ACM
The dynamic range of the human visual system should be an important parameter in the design of high dynamic range (HDR) display devices. A good display should at least approximate...
190
click to vote
ESEM
2007
ACM
15 years 11 months ago
2007
ACM
In 2005, we studied the development effort and effect of quality comparisons between software development with Fagan's inspection and pair development. Three experiments were...
215
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
199
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
The context-free language (CFL) reachability problem is well known and studied in computer science, as a fundamental problem underlying many important static analyses such as point...