A declarative rule inference engine can be very useful for modern distributed or heterogeneous applications, if it can be configured for multiple semantics and evaluation strategi...
Relational world models that can be learned from experience in stochastic domains have received significant attention recently. However, efficient planning using these models rema...
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
Online forums contain valuable human-generated information. End-users looking for information would like to find only those threads in forums where relevant information is present...
Based on the probabilistic reformulation of principal component analysis (PCA), we consider the problem of determining the number of principal components as a model selection prob...
Zhihua Zhang, Kap Luk Chan, James T. Kwok, Dit-Yan...