Project Gustav is a realistic painting-system prototype that enables artists to become immersed in the digital painting experience. It achieves interactivity and realism by leveraging the computing ...

VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type ...

By Douglas Gantenbein, Senior Writer, Microsoft News Center People love their smartphones—and they love to play games on them. On common smartphone software platforms, including Windows Phone, games ...

A memory abstraction is an abstraction layer between the program execution and the memory that provides a different “view” of a memory location depending on the execution context in which the memory ...

The theory of algebraic data types is a valuable modeling tool for software verification. In the past, decision procedures have been proposed for both the full theory and its universal fragment.

Web tracking is pervasive: the average popular website incorporates over fifty third-party tracking mechanisms. And web tracking is unpopular: a majority of Americans oppose the practice. Do Not Track ...

What makes a platform suitable to both research and development? It is not simply the artifacts that are generated, but the tools that the platform brings to bear on evaluating the usefulness and ...

Current AI software relies increasingly on neural networks (NNs). The universal data structure of NNs is the numerical vector of activity levels of model neurons, typically with activity distributed ...

We present a system and a set of techniques for learning linear predictors with convex losses on terascale datasets, with trillions of features (the number of features here refers to the number of non ...

ChronoZoom is an open-source community project dedicated to visualizing the history of everything. Big History is the attempt to understand, in a unified, interdisciplinary way, the history of cosmos, ...

Many people are working on near-field user-interface devices that detect hover, gesture, and pose. But there is nothing in the space in front of a device to show the user what to do. This project ...

New science and technology will be described for buildings as a resource within an adaptive (“smart”) grid. We consider a holistic definition of a smart grid that begins at the point of generation and ...