420 search results - page 42 / 84 » interact 1997 |
LOPSTR
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
AAAI
1997
13 years 11 months ago
1997
This paper argues that complex, embedded software agent systems are best constructed with parallel, layered architectures. These systems resemble Minskian Societies of Mind and Br...
ANLP
1997
13 years 11 months ago
1997
We describe our experiences building spoken language interfaces to four demonstration applications all involving 2- or 3-D spatial displays or gestural interactions: an air combat...
ANLP
1997
13 years 11 months ago
1997
This paper presents a prototype system for key term manipulation and visualization in a real-world commercial environment. The system consists of two components. A preprocessor ge...
GRAPHICSINTERFACE
1997
13 years 11 months ago
1997
We present a modelling method and graphical user interface for the creation of natural branching structures such as plants. Structural and geometric information is encapsulated in...