System-level design requires behavioral models of its complex components in order to validate the designs, synthesize implementations and generate tests. Descriptions of these components are often only available as English descriptions. Developing behavioral models from natural language descriptions has been a tedious and time consuming task. This paper describes the semiautomatic generation of...

A data warehouse is an integrated and timevarying collection of data derived from operational data and primarily used in strategic decision making by means of online analytical processing (OLAP) techniques. Although it is generally agreed that warehouse design is a non-trivial problem and that multidimensional data models and star or snowflake schemata are relevant in this context, hardly any m...

Computational models of semantic memory exploit information about cooccurrences of words in naturally-occurring text to extract information about the meaning of the words that are present in the language. Such models implicitly specify a representation of temporal context. Depending on the model, words are said to have occurred in the same context if they are presented within a moving window, w...

This paper discusses proportional odds model and similarity on the construction of Traditional Chinese Medicine (TCM) chronic gastritis syndrome model. The syndromes explain the true relationships among a set of symptoms, which can be characterized by marginal probabilities and conditional probabilities. The former represents the distribution of levels of the syndrome across the symptoms. The l...

We address the problem of modeling trust network evolution through social communications among users in a social media site. In particular, we focus on a social trust-link created between two users having mediating-objects such as mediating-users and mediating-items, and analyze the time-decay effects of mediating-objects on social trust-link creation. To this end, we first introduce the basic ...

With a very long history, traditional Chinese medicine (TCM) has a rich knowledge about human health and disease by its special way. To avoid losing lots of precious knowledge of TCM masters, endeavors have been engaged to keep down those knowledge of TCM masters, such as their growth experiences, effective practical cases toward sickness and typical treating methods and principles. In this pap...

Traditional Chinese medicine (TCM) has been practiced for over 5000 years. Different from western medicine which has its origin from anatomy, TCM is based on the ancient Chinese perception of humans as part of the environment and universe, subject to nature and its forces, therefore, health and diseases are direct result of the interaction of humans with the environment and the balance of disti...

Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way to achieve efficiency is to consider only the relevant instances that may violate an integrity constraint instead of the whole population of the information base. This is the approach we follow in this paper to autom...

Some microblog services encourage users to annotate themselves with multiple tags, indicating their attributes and interests. User tags play an important role for personalized recommendation and information retrieval. In order to better understand the semantics of user tags, we propose Tag Correspondence Model (TCM) to identify complex correspondences of tags from the rich context of microblog ...

Conceptual modeling aims at establishing the conceptual knowledge necessary for proper communication between a development team and users. This paper presents an executable visual formalism for object-oriented conceptual modeling of information systems. This formalism is an integration of the Entity-Relationship approach, Petri nets, relational calculus, and time temporal logic. It supports int...