6881 search results - page 168 / 1377 » Motivation |
140
click to vote
EPIA
1999
Springer
15 years 10 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
168
click to vote
ERCIMDL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
133
click to vote
ESSLLI
1999
Springer
15 years 10 months ago
1999
Springer
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....
194
Voted
GW
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The use of gesture as a natural interface serves as a motivating force for research in modeling, analyzing and recognition of gestures. In particular, human computer inte...
179
click to vote
GW
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper presents a technical approach for temporal symbol integration aimed to be generally applicable in unimodal and multimodal user interfaces. It draws its strengt...