9532 search results - page 1567 / 1907 » Logic, Graphs, and Algorithms |
179
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
168
click to vote
JAIR
2010
15 years 5 months ago
2010
Narrative, and in particular storytelling, is an important part of the human experience. Consequently, computational systems that can reason about narrative can be more effective...
223
click to vote
PODS
2011
ACM
14 years 9 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
153
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
234
click to vote
TMC
2012
13 years 9 months ago
2012
Abstract—We consider the problem of relay-assisted transmission for cellular networks. In the considered system, a source node together with n relay nodes are selected in a propo...