1292 search results - page 72 / 259 » A Designer's Guide to KEMs |
VISUALIZATION
1998
IEEE
14 years 6 days ago
1998
IEEE
Transfer function design is an integrated component in volume visualization and data exploration. The common trial-and-error approach for transfer function searching is a very dif...
KBSE
1994
IEEE
14 years 2 days ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
ALGORITHMICA
2002
13 years 7 months ago
2002
The implementation of an algorithm is faced with the issues efficiency, flexibility, and ease-of-use. In this paper, we suggest a design concept that greatly increases the flexibi...
TELSYS
2002
13 years 7 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
HAPTICS
2009
IEEE
13 years 5 months ago
2009
IEEE
We present a new framework for information cue rendering on 2D vibrotactile arrays, and we describe an experiment that investigated the feasibility of our approach. The methods ar...