Sciweavers

11797 search results - page 114 / 2360
» Recent Developments in the Experimental
Sort
View
SIGIR
2004
ACM
15 years 11 months ago
Cluster-based retrieval using language models
Previous research on cluster-based retrieval has been inconclusive as to whether it does bring improved retrieval effectiveness over document-based retrieval. Recent developments ...
Xiaoyong Liu, W. Bruce Croft
CGI
2003
IEEE
15 years 11 months ago
Creating Various Styles of Animations Using Example-Based Filtering
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...
Ryota Hashimoto, Henry Johan, Tomoyuki Nishita
CAV
2003
Springer
107views Hardware» more  CAV 2003»
15 years 11 months ago
Theorem Proving Using Lazy Proof Explication
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...
HICSS
2002
IEEE
109views Biometrics» more  HICSS 2002»
15 years 11 months ago
Influence of Culture and Explanation Facility on Performance of Negotiation Agents
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...
Binhua Han, John Lim
ISMDA
2001
Springer
15 years 10 months ago
Learning Bayesian-Network Topologies in Realistic Medical Domains
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 ...