1974 search results - page 159 / 395 » A Library System for Small-Scale Library |
137
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
For CMOS technologies below 65nm, gate oxide direct tunneling current is a major component of the total power dissipation. This paper presents a simulated annealing based algorith...
139
click to vote
ACL2
2006
ACM
15 years 8 months 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...
118
click to vote
ASPLOS
2006
ACM
15 years 8 months 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 ...
112
click to vote
JCDL
2006
ACM
15 years 8 months 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...
121
click to vote
JCDL
2006
ACM
15 years 8 months 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...