2343 search results - page 121 / 469 » Structure and Interpretation of Computer Programs |
183
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
139
click to vote
GRAPHICSINTERFACE
2001
15 years 6 months ago
2001
We describe a technique for enhancing a user's ability to manipulate hand-printed symbolic information by automatically improving legibility and simultaneously providing imme...
129
click to vote
ENTCS
2002
15 years 4 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
147
click to vote
CHI
1996
ACM
15 years 9 months ago
1996
ACM
The NewsComm system delivers personalized news and other program material as audio to mobile users through a hand-held playback device. This paper focuses on the iterative design ...
183
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Protein remote homology detection is a central problem in computational biology. Most recent methods train support vector machines to discriminate between related and ...