6608 search results - page 991 / 1322 » On the Completeness of Model Checking |
172
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We present a general framework to model strategic aspects and stable and fair resource allocations in networks via variants and generalizations of path coalitional games. In these ...
207
click to vote
EMNLP
2011
14 years 6 months ago
2011
Conversations provide rich opportunities for interactive, continuous learning. When something goes wrong, a system can ask for clarification, rewording, or otherwise redirect the...
203
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
We present a novel approach to constraintbased causal discovery, that takes the form of straightforward logical inference, applied to a list of simple, logical statements about ca...
161
click to vote
AAAI
2012
13 years 9 months ago
2012
In many mechanisms (especially online mechanisms), a strategic agent can influence the outcome by creating multiple false identities. We consider voting settings where the mechan...
239
click to vote
AAAI
2012
13 years 9 months ago
2012
We present the first real-world benchmark for sequentiallyoptimal team formation, working within the framework of a class of online football prediction games known as Fantasy Foo...