2940 search results - page 350 / 588 » Relational Parametricity and Control |
132
click to vote
AIED
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents the EarthTutor authoring tool, a multi-layered system designed to remove the technical hurdles preventing teachers from having full control over the structure o...
149
click to vote
AIME
2005
Springer
16 years 3 days ago
2005
Springer
The National Cancer Institute’s Thesaurus (NCIT) has been created with the goal of providing a controlled vocabulary which can be used by specialists in the various sub-domains o...
172
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
183
click to vote
CONTEXT
2005
Springer
16 years 3 days ago
2005
Springer
Object identification via a perceptual-demonstrative mode of presentation has been studied in cognitive science as a particularly direct and context-dependent means of identifying ...
187
click to vote
DSVIS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...