1082 search results - page 21 / 217 » tools 2000 |
FASE
2000
Springer
14 years 1 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, we propose a web-based learning tool for assisting and enhancing radiology education. Central to the learning tool is our recently developed content-based image ret...
ERCIMDL
2000
Springer
14 years 1 months ago
2000
Springer
This paper presents a research proposal on user -oriented evaluation method to compar e the usability of Internet search tools. Cognitive style and problem solving style are identi...
KBS
2000
13 years 9 months ago
2000
: In this paper we present an interaction-oriented approach to the process of designing a document for the end-user. We emphasize exchange between subjects and the subjects' r...
JILP
2000
13 years 9 months ago
2000
A major challenge of applying profile-based optimization on large real-world applications is how to capture adequate profile information. A large program, especially a GUI-based a...