1581 search results - page 210 / 317 » Mechanizing Inductive Reasoning |
WSC
2008
15 years 5 months ago
2008
Flight disruptions due to events such as inclement weather or mechanical failure are an increasing occurrence in today's air travel. It is important to develop flight schedul...
134
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
A network of cooperating agents must be able to reach rough consensus on a set of topics for cooperation. With highly heterogeneous agents, however, incommensurable measures and i...
ASPDAC
2005
ACM
15 years 4 months ago
2005
ACM
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
109
click to vote
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes a camera-based observation system for football games that is used for the automatic analysis of football games and reasoning about multi-agent activity. The o...
138
click to vote
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...