Sciweavers

5075 search results - page 837 / 1015
» Model-based interface development
Sort
View
TACAS
1998
Springer
98views Algorithms» more  TACAS 1998»
15 years 9 months ago
Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
Miroslav N. Velev, Randal E. Bryant
CHI
1997
ACM
15 years 9 months ago
The Magic Carpet: Physical Sensing for Immersive Environments
measured together with upper-body and hand motion. This data would be used to create a truly “immersive”, tetherless musical environment, where any kind of body motion would be...
Joseph A. Paradiso, Craig Abler, Kai-yuh Hsiao, Ma...
119
Voted
DAC
1997
ACM
15 years 9 months ago
Structured Design of Microelectromechanical Systems
In order to efficiently design complex microelectromechanical systems (MEMS) having large numbers of multi-domain components, a hierarchically structured design approach that is ...
Tamal Mukherjee, Gary K. Fedder
HT
1997
ACM
15 years 9 months ago
Structuring and Visualising the WWW by Generalised Similarity Analysis
This paper describes a generic approach to structuring and visualising a hypertext-based information space on the WWW. This approach, called Generalised Similarity Analysis (GSA),...
Chaomei Chen
AGENTS
1997
Springer
15 years 9 months ago
SAIRE - A Scalable Agent-Based Information Retrieval Engine
The information access and retrieval capabilities provided by several conventional search engines, while improving upon traditional techniques, are lacking in supporting conceptua...
Jidé B. Odubiyi, David J. Kocur, Stuart M. ...