569 search results - page 27 / 114 » Intent Specifications: An Approach to Building Human-Centere... |
108
click to vote
VL
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
SYBEN
1998
15 years 1 months ago
1998
This paper presents an approach for authoring training applications. In this approach we think an author can undertake two roles: the meta-authoring role and the authoring role. A...
100
click to vote
CGF
2008
14 years 12 months ago
2008
In traditional illustration the choice of appropriate styles and rendering techniques is guided by the intention of the artist. For illustrative volume visualizations it is diffic...
102
click to vote
CHI
1995
ACM
15 years 3 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
125
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...