Previous research on cluster-based retrieval has been inconclusive as to whether it does bring improved retrieval effectiveness over document-based retrieval. Recent developments ...
A number of Non-Photorealistic Rendering methods for producing artistic style images have been developed. Recently, a method called “Image Analogies” was proposed. This method...
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B...
With the exponential development of e-commerce in recent years, there is an emerging demand for effective negotiation support tools. This paper addresses the possible influence of...
In recent years, a number of algorithms have been developed for learning the structure of Bayesian networks from data. In this paper we apply some of these algorithms to a realist...
Xiaofeng Wu, Peter J. F. Lucas, Susan Kerr, Roelf ...