Taxonomic Search: dan OR huttenlocher

Results 1 - 10 of 125



Visible to the public CPS:Medium: Tightly Integrated Perception and Planning in Intelligent Robotics

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.


Visible to the public News Articles about Wyvern

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.


Visible to the public Registration Open: GCTC Tech Jam

Global City Teams Challenge Tech Jam
February 12-13, 2015 | NIST Campus - Gaithersburg, MD


Visible to the public T.S. Kuhn Revisited "Does a field make progress because it is a science, or is it a science because it makes progress?"

Dan Geer, NSF, 6 January 15Dan Geer, Chief Information Security Officer at In-Q-Tel gave the keynote address at the NSF Secure and Trustworthy Cyberspace Principal Investigators' Meeting held January 5-7, 2015 in Arlington, Virginia. Read the complete text version of the keynote address below.

Dan Geer, NSF, 6 January 15


Visible to the public  ASPLOS 2015
Mar 14, 2015 8:00 am - Mar 18, 2015 5:00 pm EDT

20th International Conference on Architectural Support for Programming Languages and Operating Systems

ASPLOS is the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and
compilers, operating systems and networking, as well as applications and user interfaces. The 2015 conference will be held in Istanbul, Turkey, a city where two continents meet on the blue waters of the Bosphorus to offer an abundance of unique natural, historical, cultural, and culinary experiences.