4266 search results - page 110 / 854 » Search for More Declarativity |
141
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...
135
click to vote
GPCE
2008
Springer
15 years 5 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
133
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
158
click to vote
AIRWEB
2008
Springer
15 years 6 months ago
2008
Springer
Every day millions of users search for information on the web via search engines, and provide implicit feedback to the results shown for their queries by clicking or not onto them...
126
click to vote
ICAI
2004
15 years 5 months ago
2004
An explicit exploration strategy is necessary in reinforcement learning (RL) to balance the need to reduce the uncertainty associated with the expected outcome of an action and the...