This paper presents a new approach to mapping student contributions to curriculum guidelines through the use of Latent Semantic Analysis and information visualization techniques. A new information visualization technique – differential term clouds – is introduced as a means to make clear changes in semantic fields over time.

Recently, hybrid-time flow systems have been introduced as an extension to timed transition systems, hybrid automata, continuous time evolutions of differential equations etc. Furthermore, a number of notions of bisimulation have been defined on these flow systems reflecting abstraction from certain timing properties. In this paper, we research the difference in abstraction level between this n...

The Brandeis Semantic Ontology (BSO) is a new English resource in the generative lexicon tradition. Although still in development, the BSO is a sizable resource containing both a type system and a network of qualia relations. In this paper, we demonstrate that the BSO tends to contain correct qualia relationships by matching the current progress on the BSO with two different sources for qualia ...

Semantic Networks (SN) are a knowledge representation paradigm especially suited for the meaning representation of natural language expressions. In order to clearly define their basic constructs, the relations and functions used in a semantic network must be given a logical characterization. The paper exemplifies this strategy for Multilayered Extended Semantic Networks (the so-called MultiNet ...