4485 search results - page 730 / 897 » Equivalences on Observable Processes |
97
Voted
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
The incremental, “construct by correction” design methodology has become widespread in constraint-dominated DSM design. We study the problem of ECO for physical design domains...
132
Voted
ISMVL
2000
IEEE
15 years 8 months ago
2000
IEEE
We have developed two novel methods of fabricating very small Si single-electron transistors (SETs), called PAtternDependent OXidation (PADOX) and Vertical PAttern-Dependent OXida...
109
Voted
VISUALIZATION
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a computer modeling and simulation system that supports computational steering, which is an effort to make the typical simulation workflow more efficient. O...
116
Voted
CSCW
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes the evolution of a concept, Contact Point, the research process through which it evolved, and the work context and practices which drove its evolution. Contac...
133
Voted
SIGIR
2000
ACM
15 years 8 months ago
2000
ACM
The paper introduces a query translation model that re ects the structure of the cross-language information retrieval task. The model is based on a structured bilingual dictionary...