1236 search results - page 143 / 248 » Patron-augmented digital libraries |
138
click to vote
CANDC
2009
ACM
16 years 20 hour ago
2009
ACM
The RiTa Toolkit for Computation Literature is a suite of open-source components, tutorials, and examples, providing support for a range of tasks related to the practice of creati...
154
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
152
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
This paper addresses several key issues in extraction and mining of an academic social network: 1) extraction of a researcher social network from the existing Web; 2) integration ...
154
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Name ambiguity problem has been a challenging issue for a long history. In this paper, we intend to make a thorough investigation of the whole problem. Specifically, we formalize ...
177
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
The ontology development process is typically led by single or small groups of experts, with users mostly playing a passive role. Such an elitist approach in building ontologies h...