Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
Sketch maps are an important spatial representation used in many geospatial reasoning tasks. This paper describes techniques we have developed that enable software to perform huma...
Kenneth D. Forbus, Jeffrey M. Usher, Vernell Chapm...
: Digital computation is a powerful source of functional support. However, it has been confined to the augmentation of single objects only. In this article, we are interested in th...
As computers become ubiquitous in our every day lives, providing a means for true user empowerment will become crucial. Techniques which allow dynamic reuse and composition of exi...