Efficient algorithms for temporal reasoning are essential in knowledge-based systems. This is central in many areas of Artificial Intelligence including scheduling, planning, plan recognition, and natural language understanding. As such, scalability is a crucial consideration in temporal reasoning. While reasoning in the interval algebra is NPcomplete, reasoning in the less expressive point alg...

Smalltalk is not only an object-oriented programming language; it is also known for its extensive integrated development environment supporting interactive and dynamic programming. While the default tools are adequate for browsing the code and developing applications, it is often cumbersome to extend the environment to support new language constructs or to build additional tools supporting new ...

The complexity of metabolic networks in microbial communities poses an unresolved visualization and interpretation challenge. We address this challenge in the newly expanded version of a software tool for the analysis of biological networks, VisANT 5.0. We focus in particular on facilitating the visual exploration of metabolic interaction between microbes in a community, e.g. as predicted by CO...

Agile manufacturing, fast-response micromarketing, and the rise of the virtual organization have led managers to focus on cross-functional business processes that link various divisions and organizations. These processes may be realized as one or more workflows, each of which is an instantiation of a process under certain conditions. Because an ability to adapt processes to workflow conditions ...

Academic literature retrieval is concerned with the selection of papers that are most likely to match a user’s information needs. Most of the retrieval systems are limited to list-output models, in which the retrieval results are isolated from each other. In this work, we aim to uncover the relationships of the retrieval results and propose a method for building structural retrieval results for...

Reasoning about temporal information is an important task in many areas of Artiicial Intelligence. In this paper we address the problem of scal-ability in temporal reasoning by providing a collection of new algorithms for eeciently managing large sets of qualitative temporal relations. We focus on the class of relations forming the Point Algebra (PA-relations) and on a major extension to includ...

Content representation is a fundamental task in information retrieval. Representation learning aimed at capturing features of an object low-dimensional space. Most research on for heterogeneous networks (HINs) focuses static HINs. In practice, however, are dynamic and subject to constant change. this article, we propose novel scalable model, M-DHIN , explore the evolution HIN. We regard HIN as ...

We address the problem of implementing general, qualitative, point-based temporal reasoning. Given a database of assertions concerning relative occurrences of points in time, we are interested in various operations on this database, including compiling the assertions into a representation that supports eecient reasoning, determining whether a database is consistent, and computing the strongest ...

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers formalism architectures supporting model-based requirement elicitation, specification, design, development, testing, fielding, etc. However, modeling languages and techniques are heterogeneous, even within same enterprise system, which leads to difficulties ...

This book consists of the papers that were presented at a workshop held in June 1991 at the University of Illinois at Urbana-Champaign to celebrate the twenty-fth anniversary of the UIUC Department of Linguistics. The purpose of the workshop was to bring together both computational and more traditional linguists, e.g., syntacticians, morphologists, and phonologists, to discuss important issues ...