Sciweavers

3070 search results - page 366 / 614
» Evaluating digital libraries
Sort
View
IV
2007
IEEE
136views Visualization» more  IV 2007»
16 years 26 days ago
Dynamic Text Filtering for Improving the Usability of Alphasliders on Small Screens
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 ...
Thorsten Büring, Jens Gerken, Harald Reiterer
INEX
2009
Springer
15 years 11 months ago
Overview of the INEX 2009 Book Track
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...
Gabriella Kazai, Antoine Doucet, Marijn Koolen, Mo...
ICCAD
1994
IEEE
80views Hardware» more  ICCAD 1994»
15 years 10 months ago
Macromodeling of analog circuits for hierarchical circuit design
{ 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 ...
Jianfeng Shao, Ramesh Harjani
CASES
2001
ACM
15 years 10 months ago
Pattern matching in reconfigurable logic for packet classification
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 ...
Adam Johnson, Kenneth Mackenzie
ASPDAC
2005
ACM
99views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Implication of assertion graphs in GSTE
- 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...
Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu S...