Sciweavers

1385 search results - page 169 / 277
» Natural Rewriting for General Term Rewriting Systems
Sort
View
FOAL
2009
ACM
16 years 1 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
ATAL
2005
Springer
16 years 15 hour ago
Coordinated exploration in multi-agent reinforcement learning: an application to load-balancing
This paper is concerned with how multi-agent reinforcement learning algorithms can practically be applied to real-life problems. Recently, a new coordinated multi-agent exploratio...
Katja Verbeeck, Ann Nowé, Karl Tuyls
CIKM
2010
Springer
15 years 5 months ago
Ranking under temporal constraints
This paper introduces the notion of temporally constrained ranked retrieval, which, given a query and a time constraint, produces the best possible ranked list within the specifi...
Lidan Wang, Donald Metzler, Jimmy Lin
INLG
2010
Springer
15 years 4 months ago
Comparing Rating Scales and Preference Judgements in Language Evaluation
Rating-scale evaluations are common in NLP, but are problematic for a range of reasons, e.g. they can be unintuitive for evaluators, inter-evaluator agreement and self-consistency...
Anja Belz, Eric Kow
CIKM
2010
Springer
15 years 3 months ago
Research proposal for distributed deep web search
This proposal identifies two main problems related to deep web search, and proposes a step by step solution for each of them. The first problem is about searching deep web content...
Kien-Tsoi T. E. Tjin-Kam-Jet