Now showing items 1-3 of 3
The Theory of Correlation Formulas and Their Application to Discourse Coherence
The Winograd Schema Challenge (WSC) was proposed as a measure of machine intelligence. It boils down to anaphora resolution, a task familiar from computational linguistics. Research in linguistics and AI has coalesced ...
Scaling Leader-Based Agreement Protocols for State Machine Replication
State machine replication is a technique used to guarantee the availability of a system even in the presence of faults. Agreement protocols are often used to implement state machine replication. However, the throughput of ...