Sciweavers

651 search results - page 49 / 131
» Decisions in thesaurus construction and use
Sort
View
LICS
2012
IEEE
13 years 2 months ago
Countermodels from Sequent Calculi in Multi-Modal Logics
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
Deepak Garg, Valerio Genovese, Sara Negri
ESWA
2008
128views more  ESWA 2008»
14 years 12 months ago
Mining the data from a hyperheuristic approach using associative classification
Associative classification is a promising classification approach that utilises association rule mining to construct accurate classification models. In this paper, we investigate ...
Fadi A. Thabtah, Peter I. Cowling
WSC
2004
15 years 1 months ago
An Architecture for Distributed Simulation Games
In this paper we present an architecture for internet-mediated simulation games. The challenge was to use today's state of the art technologies to provide a simulated environ...
Stijn-Pieter A. van Houten, Peter H. M. Jacobs
EXACT
2008
15 years 2 months ago
Explaining recommendations generated by MDPs
There has been little work in explaining recommendations generated by Markov Decision Processes (MDPs). We analyze the difculty of explaining policies computed automatically and id...
Omar Zia Khan, Pascal Poupart, James P. Black
SIGIR
2011
ACM
14 years 2 months ago
Functional matrix factorizations for cold-start recommendation
A key challenge in recommender system research is how to effectively profile new users, a problem generally known as cold-start recommendation. Recently the idea of progressivel...
Ke Zhou, Shuang-Hong Yang, Hongyuan Zha