Sciweavers

5075 search results - page 377 / 1015
» Model-based interface development
Sort
View
144
Voted
JAR
2007
80views more  JAR 2007»
15 years 4 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
CGA
2004
15 years 4 months ago
Interactive Color Palette Tools
Color is fundamental in computer graphics imagery. But despite the importance of good color selection and the difficulty most people have making those color selections, current gr...
Barbara J. Meier, Anne Morgan Spalter, David B. Ka...
CORR
2002
Springer
96views Education» more  CORR 2002»
15 years 4 months ago
Models and Tools for Collaborative Annotation
The Annotation Graph Toolkit (AGTK) is a collection of software which facilitates development of linguistic annotation tools. AGTK provides a database interface which allows appli...
Xiaoyi Ma, Haejoong Lee, Steven Bird, Kazuaki Maed...
JECR
2000
123views more  JECR 2000»
15 years 4 months ago
Knowledgeable Agents for Search and Choice Support in E-commerce: A Decision Support Systems Approach
Software agents are a major innovation in how people use information systems, and they have parallels with how Decision Support Systems (DSS) support human decision-making. A DSS ...
Susan Sproule, Norman P. Archer
CN
1999
102views more  CN 1999»
15 years 4 months ago
Web-Enabled Smart Card for Ubiquitous Access of Patient's Medical Record
The combined benefits of smart card to support mobility in a pocket coupled with the ubiquitous access of Web technology, present a new paradigm for medical information access sys...
Alvin T. S. Chan