Sciweavers

720 search results - page 60 / 144
» Incremental XPath evaluation
Sort
View
ENTCS
2008
64views more  ENTCS 2008»
13 years 7 months ago
Model-based Theory Combination
Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
ICML
2003
IEEE
14 years 8 months ago
Relational Instance Based Regression for Relational Reinforcement Learning
Relational reinforcement learning (RRL) is a Q-learning technique which uses first order regression techniques to generalize the Qfunction. Both the relational setting and the Q-l...
Kurt Driessens, Jan Ramon
VTC
2008
IEEE
14 years 2 months ago
Techno-Economical Viability of Deployment Strategies for Cellular-Relaying Networks
— The ability of an operator to respond to changes in demand by incrementally deploying additional network infrastructure is essential. This paper1 presents a method for evaluati...
Bogdan Timus, Johan Hultell, Mats Nilson
ATAL
2004
Springer
14 years 1 months ago
Effectiveness of Query Types and Policies for Preference Elicitation in Combinatorial Auctions
Combinatorial auctions, where agents can bid on bundles of items (resources, tasks, etc.), are desirable because the agents can express complementarity and substitutability among ...
Benoît Hudson, Tuomas Sandholm
CIKM
2003
Springer
14 years 27 days ago
Tracking changes in user interests with a few relevance judgments
Keeping track of changes in user interests from a document stream with a few relevance judgments is not an easy task. To tackle this problem, we propose a novel method that integr...
Dwi H. Widyantoro, Thomas R. Ioerger, John Yen