Search
Now showing items 3951-3960 of 4210
Symbolic Execution for (Almost) Free: Hijacking an Existing Implementation to Perform Symbolic Execution
(2014-04-22)
Symbolic execution of a language is traditionally achieved by replacing the language s interpreter with an entirely new interpreter. This may be an unnecessary burden, and it is tempting instead to try to use as much of ...
Sloth: Being Lazy is a Virtue (When Issuing Database Queries)
(2014-04-14)
Many web applications store persistent data in databases. During execution, such applications spend a significant amount of time communicating with the database for retrieval and storing of persistent data over the network. ...
PIKA: A Network Service for Multikernel Operating Systems
(2014-01-28)
PIKA is a network stack designed for multikernel operating systems that target potential future architectures lacking cache-coherent shared memory but supporting message passing. PIKA splits the network stack into several ...
An Architecture for Online Affordance-based Perception and Whole-body Planning
(2014-03-16)
The DARPA Robotics Challenge Trials held in December 2013 provided a landmark demonstration of dexterous mobile robots executing a variety of tasks aided by a remote human operator using only data from the robot's sensor ...
Multi-Person Motion Tracking via RF Body Reflections
(2014-04-26)
Recently, we have witnessed the emergence of technologies that can localize a user and track her gestures based purely on radio reflections off the person's body. These technologies work even if the user is behind a wall ...
The N2 Corpus v1.0
(MIT CSAIL, 2014-03-22)
The N2 Corpus (Narrative Networks Corpus) comprises 100 story texts (42,480 words) relevant to Islamist Extremism, drawn from religious stories, online material, and promotional magazines. The corpus has been annotated for ...
Moebius Language Reference, Version 1.2
(2014-04-09)
Moebius is a representation and interface language based on a subset of English. It is designed for use as a means of encoding information and as a means of conveying information between software components and other ...
VRBridge: A constructivist approach to supporting interaction design and end-user authoring in virtual reality
(2010)
For any technology to become widely-used and accepted, it must support end-user authoring and customisation. This means making the technology accessible by enabling understanding of its design issues and reducing its ...
Comparison of layered surface visualization through animated particles and rocking
(2010)
Visualizations that show the shape of and spatial relationships between layers of surfaces are useful to oceanographers studying water masses or oncologists planning radiation treatments. The shape of and distances between ...
Emergent Communication: The evolution of simplistic machines using different communication types
(2009)
The methods of transmitting information may be divided as follows: direct; and, indirect. The âdirectâ method occurs when a creature transmits a signal that other creatures in its local environment can receive. Word of ...