2909 search results - page 320 / 582 » Consistency of the theory of contexts |
179
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
175
click to vote
AR
2004
15 years 6 months ago
2004
This paper presents a method for learning the parameters of rhythmic walking to generate purposive humanoid motions. The controller consists of the two layers: rhythmic walking is...
150
click to vote
COLING
2002
15 years 6 months ago
2002
To support context-based multimodal interpretation in conversational systems, we have developed a semantics-based representation to capture salient information from user inputs an...
167
click to vote
CE
2007
15 years 6 months ago
2007
In this paper, the authors analyse how educational institutions behave in relation with the contents available through the Web. They also reflect on the features of the currently...
109
click to vote
IFE
2002
15 years 6 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...