2940 search results - page 350 / 588 » Relational Parametricity and Control |
150
click to vote
AIED
2005
Springer
16 years 24 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...
169
click to vote
AIME
2005
Springer
16 years 24 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...
188
click to vote
BIRTHDAY
2005
Springer
16 years 24 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...
209
click to vote
CONTEXT
2005
Springer
16 years 24 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 ...
213
click to vote
DSVIS
2005
Springer
16 years 24 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 ...