We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
An important issue in data warehouse development is the selection of a set of views to materialize in order to accelerate OLAP queries, given certain space and maintenance time co...
We present disputant relation-based method for classifying news articles on contentious issues. We observe that the disputants of a contention are an important feature for underst...
The importance of personalized information services has been increasing. Description of personal preferences needs to be prepared beforehand to realize such services. We propose a...
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...