4421 search results - page 255 / 885 » Libraries |
137
click to vote
DL
1999
Springer
15 years 8 months ago
1999
Springer
In this paper, we present methods of information visualization that applies to the discovery of patterns in World-Wide Web sites. We hope to use techniques of information visualiz...
110
Voted
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
99
Voted
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
The paper describes an immunogenetic approach to recognize spectra for chemical analysis. In particular, an immunological model for chemical reactions is introduced in which a pop...
122
Voted
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
Domino logic is a popular con guration for implementing high-speed circuits. An algorithm for domino logic mapping, under a parameterized library style, is presented here. Practic...
122
Voted
VLSID
1998
IEEE
15 years 7 months ago
1998
IEEE
Emerging "systems-on-a-chip" will require a design environment that allows distributed access to libraries, models and design tools. In this paper we present a framework...