Sciweavers

5066 search results - page 295 / 1014
» Spectra of structures and relations
Sort
View
SIGIR
2004
ACM
15 years 12 months ago
Design of an e-book user interface and visualizations to support reading for comprehension
Current e-Book browsers provide minimal support for comprehending the organization, narrative structure, and themes, of large complex books. In order to build an understanding of ...
Yixing Sun, David J. Harper, Stuart N. K. Watt
WADT
2004
Springer
15 years 12 months ago
Theoroidal Maps as Algebraic Simulations
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
Narciso Martí-Oliet, José Meseguer, ...
ISPD
1997
ACM
105views Hardware» more  ISPD 1997»
15 years 10 months ago
Regular layout generation of logically optimized datapaths
The inherent distortion of the structural regularity of VLSI datapaths after logic optimization has until now precluded dense regular layouts of optimized datapaths despite their ...
R. X. T. Nijssen, C. A. J. van Eijk
APCHI
2004
IEEE
15 years 10 months ago
Extending Tree-Maps to Three Dimensions: A Comparative Study
This paper presents StepTree, an information visualization tool designed for depicting hierarchies, such as directory structures. StepTree is similar to the hierarchy-visualization...
Thomas Bladh, David A. Carr, Jeremiah Scholl
FP
1995
110views Formal Methods» more  FP 1995»
15 years 10 months ago
Using Types to Parse Natural Language
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
Mark P. Jones, Paul Hudak, Sebastian Shaumyan