119 search results - page 17 / 24 » SmartTools: A Generator of Interactive Environments Tools |
CHI
2005
ACM
15 years 11 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
80
Voted
MKM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
ICMI
2005
Springer
15 years 4 months ago
2005
Springer
The design of an output multimodal system is a complex task due to the richness of today interaction contexts. The diversity of environments, systems and user profiles requires a ...
103
Voted
SFM
2005
Springer
15 years 4 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
BMCBI
2010
14 years 11 months ago
2010
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization a...