Taxonomic Search: dan OR huttenlocher
Results 1 - 10 of 131
The objective of this research is to develop truly intelligent, automated driving through a new paradigm that tightly integrates probabilistic perception and deterministic planning in a formal, verifiable framework.
AGENDA last updated 10 April 2015
2015 Mid-Year Event
C3E 1-Day Event | 19 June 2015 | Arlington, Virginia
Proceedings Begin: 0800 Monday, October 20th
Proceedings End: 1230 Wednesday, October 22nd.
Sunday, October 19, 2014
7:00 pm to 9:00 pm
Participants Arrive at Georgia Tech/Atlanta Midtown Courtyard Marriot
Voting systems have strict security and privacy requirements, which are different from those in many other domains. They must not expose information that connects voters and their votes; moreover, to prevent voter coercion, individual voters must not themselves be able to expose information that proves how they voted. These requirements are fundamentally in tension with exposing enough information to determine that the counted votes match the cast votes, and are difficult to fulfill even in purely physical voting systems.
National Science Foundation - Fifth Annual Cyber-Physical Systems Principal Investigators' Meeting (2014)
This thread is about new articles about the Wyvern project. Wyvern is a new programming language designed to help developers be highly productive when writing high-assurance applications.The Wyvern project is supported by the National Security Agency lablet at Carnegie Mellon University.