Archives

Lorrie Cranor – “User Interfaces for Privacy: Design and Evaluation of the AT&T Privacy Bird P3P User Agent”

April 23, 2014
When: February 20, 2003 @ 10:30 am

When: February 20, 2003 @ 10:30 am Categories: Seminar LocationShaffer 3AbstractThe Platform for Privacy Preferences (P3P), developed by the World Wide Web Consortium (W3C), provides a standard computer-readable (XML) format for privacy policies and a protocol that enables web browsers to read and process privacy policies automatically (http://www.w3.org/P3P/). P3P has been built into the Internet [...]

Read More

Brigitte Pientka – “Overcoming performance barriers: efficient proof search in logical frameworks”

April 23, 2014
When: April 3, 2003 @ 11:00 am

When: April 3, 2003 @ 11:00 am Categories: Seminar LocationShaffer 3AbstractThe logical framework Twelf provides an experimental platform to specify, implement and execute formal systems. One of its applications is in proof-carrying code and proof-carrying authentication, where it is successfully used to specify and verify formal guarantees about the run-time behavior of programs. These real-world [...]

Read More

Daniel Aliaga – “Capturing and Rendering Real-World Environments”

April 23, 2014
When: April 10, 2003 @ 11:00 am

When: April 10, 2003 @ 11:00 am Categories: Seminar LocationShaffer 3AbstractComputer simulation of real-world environments is one of the grand challenges of computer graphics. Applications for this technology include remote education, virtual heritage, specialist training, electronic commerce, and entertainment. Unfortunately, current computer graphics techniques fall far short of providing solutions for this challenge. In this [...]

Read More

Seth Hutchinson, University of Illinois in Urbana-Champaign – “Real-time Path Planning in Changing Environments”

April 23, 2014
When: April 11, 2003 @ 11:00 am

When: April 11, 2003 @ 11:00 am Categories: Seminar LocationShaffer 3AbstractWe present a new method for generating collision-free paths for robots operating in changing environments. Our approach is closely related to recent probabilistic roadmap approaches. These planners use preprocessing and query stages, and are aimed at planning many times in the same environment. In contrast, [...]

Read More

Back to top