New methods and new systems are needed to lter or to selectively distribute the increasing volume of electronic informationbeing produced nowadays. An e ective information ltering...
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...
To support more efficient video database management, this paper explores the concept of video association mining, with which the association patterns are characterized by sequenti...
In this paper, we propose a novel method to infer the web user’s Information Content (IC), which is the information that the user must examine to complete her task. In particula...
We propose a new framework to study properties of consistency in a Constraint Network from the perspective of properties of set intersection. Our framework comes with a proof sche...
Maximum satisfiability (Max-SAT) is more general and more difficult to solve than satisfiability (SAT). In this paper, we first investigate the effectiveness of Walksat, one of th...