We present an interactive translation method to support non-professional users to write an original document. The method, combining dictionary lookup function and user-guided step...
We describe a multiresolution representation for meshes based on subdivision, which is a natural extension of the existing patch-based surface representations. Combining subdivisi...
This paper contains several results regarding the communication complexity model and the 2-prover games model, which are based on interaction between the two models:
In this paper, we address the feature interaction problem as a software composition problem. We show the applicability of a new programming style, feature-oriented programming (FO...
The obvious advantages of prototyping and incremental development for interactive systems lead some people to believe that specifications of such systems are unnecessary or even ha...