3686 search results - page 105 / 738 » Comprehensive comprehensions |
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Despite the ready availability of digital recording technology and the continually decreasing cost of digital storage, browsing audio recordings remains a tedious task. This paper...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Readers face many obstacles on today’s Web, including distracting content competing for the user’s attention and other factors interfering with comfortable reading. On today...
LFCS
2009
Springer
14 years 3 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
There exist numerous software visualization techniques that aim to facilitate program comprehension. One of the main concerns in every such software visualization is to identify r...
IWPC
2008
IEEE
14 years 3 months ago
2008
IEEE
Modern software systems are typically large and complex, making comprehension of these systems extremely difficult. Experienced programmers comprehend code by seamlessly processi...