4421 search results - page 332 / 885 » Libraries |
210
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
164
click to vote
APLAS
2006
ACM
16 years 10 days ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
174
click to vote
ASPLOS
2006
ACM
16 years 10 days ago
2006
ACM
GPUs are difficult to program for general-purpose uses. Programmers can either learn graphics APIs and convert their applications to use graphics pipeline operations or they can ...
171
click to vote
JCDL
2006
ACM
16 years 10 days ago
2006
ACM
Measurements of the impact and history of research literature provide a useful complement to scientific digital library collections. Bibliometric indicators have been extensively...
169
click to vote
JCDL
2006
ACM
16 years 10 days ago
2006
ACM
This paper describes a system to support humanities scholars in their interpretation of literary work. It presents a user interface and web architecture that integrates text minin...