3070 search results - page 366 / 614 » Evaluating digital libraries |
162
click to vote
IV
2007
IEEE
16 years 26 days ago
2007
IEEE
Previous research has shown that Alphasliders are an effective tool for searching an alphabetically sorted list when only limited screen space is available for the graphical user ...
167
click to vote
INEX
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The goal of the INEX 2009 Book Track is to evaluate approaches for supporting users in reading, searching, and navigating the full texts of digitized books. The investiga...
147
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
{ Hierarchy plays a signi cant role in the design of digital and analog circuits. At each level of the hierarchy it becomes essential to evaluate if a sub-block design is feasible ...
169
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
We describe a digital circuit synthesis algorithm specialized for the domain of pattern matching circuits implemented in reconfigurable logic. We propose to use this algorithm as ...
155
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...