|
Interactive focus of light fields for 3D displays
|
A framework for verifying service-oriented software systems using Message Sequence Charts
|
| |
|
CAFE: A framework for cell application development
|
Extensions and an explanation module for the iRODS Rule Oriented Verifier
|
| |
|
Remeshing with learned image boundaries
|
A comparison of grid-based techniques for Navier-Stokes fluid simulation in computer graphics
|
| |
|
Task specific image text recognition
|
A physically-based approach for lens flare simulation
|
| |
|
Study of Split Screen in shared-access scenarios: Optimizing value of PCs in resource-constrained classrooms in developing countries
|
Implementation and simulation of the two-level lookup
|
| |
|
A tale of two testing tools
|
Protecting the login session from camera based shoulder surfing attacks
|
| |
|
Bridging the resolution gap: Superimposition of multiple multi-channel volumes
|
OPIUM: Optimal package install/uninstall manager
|
| |
|
Jitblt: Efficient run-time code generation for digital compositing
|
Improving scalability and fault tolerance in an application management infrastructure
|
| |
|
Live debugging of distributed systems
|
Noninvasive cardioneural signal extraction
|
| |
|
Automatic aligning free space communication platform
|
Antarctica: Exploring the capabilites of phased array antennas
|
| |
|
Part of Speech tagging of Levantine
|
Behavior of VNC in high-latency environments and techniques for improvement
|
| |
|
A portable MATLAB front-end for tiled microprocessors
|
Energy and task management in energy harvesting wireless sensor networks for structural health monitoring
|
| |
|
A developer's survey on different cloud platforms
|
MapStoreFS: Developing a file system on MapStore
|
| |
|
A holistic approach to human presence detection on man-portable military ground robots
|
Using sparse CCA for vocabulary selection
|
| |
|
Diffraction gratings in ray tracing
|
Finding the bad in good code: Automated return-oriented programming exploit discovery
|
| |
|
Digital student portfolio
|
Phishingpole: A logo recognition system to detect fraudulent websites
|
| |
|
ASIC life extension through hardware patch interfaces
|
A machine learning framework for classifying vulnerabilities and predicting exploitability
|
| |
|
Rare variant analysis for common diseases
|
LDP: Location Discovery Protocol for data center networks
|
| |
|
Improving disk array reliability and performance
|
Operator and radio resource sharing in multi-carrier environments
|
| |
|
Strategies for sharing a floating point unit between SPEs
|
GPU accelerated cardiac electrophysiology
|
| |
|
Combining the normal hedge algorithm with weighted trees for predicting binary sequences
|
A comparison of methods for learning cost-sensitive classifiers
|
| |
|
BSDF acquisition and analysis of paper
|
A physically-based BSDF for modeling the appearance of paper
|
| |
|
Computer vision techniques for underwater navigation
|
A BRDF analysis of cloth
|
| |
|
Implementation and empirical evaluation of a publish-subscribe framework employing content-based placement of computations
|
An integrated cyberinfrastructure for real-time data acquisition and decision making in smart buildings and coral reef monitoring
|
| |
|
Simulation to scale of the HELIOS system
|
Continuous MapReduce: An architecture for large-scale in-situ data processing
|
| |
|
Real-time fire detection in low quality video
|
A characterization of node lifetime distributions in the PlanetLab test bed
|
| |
|
Verilogo: Proactive phishing detection via logo recognition
|
ShelfScanner: Toward real-time detection of groceries for the visually impaired
|
| |
|
A partitioning approach for GPU accelerated level-based on-chip variation static timing analysis
|
Visualization of time-dependent seismic vector fields with glyphs
|
| |
|
A hybrid network architecture for modular data centers
|
Energy management in wireless healthcare systems using dynamic task assignment
|
| |
|
Learning-Based Trimap Generation for Video Matting
|
Scoring Methods in Information Retrieval: A Linear Algebra Perspective
|
| |
|
Exploiting Label Correlations for Multi-label Classification
|
Detecting malicious Webpages using content based classification
|
| |
|
Packet Pacer: An application over NetBump
|
The Design and Implementation of a Managed Network Fabric
|
| |
|
Using Occupancy to Reduce Energy Consumption of Buildings
|
Efficient Cache-Coherent Migration for Heterogeneous Coprocessors in Dark Silicon Limited Technology
|
| |
|
Understanding the Role of Malicious PDFs in the Malware Ecosystem
|
Visualization software for Data Center Switch Network
|
| |
|
UbiBot: A System for Experimenting with Mobile Devices on a Wireless Network
|
Onyx: A Phase-Change Memory Storage Array
|
| |
|
Capturing Geometry in Real-time using a Tracked Microsoft Kinect
|
Automated Crowd-Counting System upon a Distributed Camera Network
|
| |
|
Green Queue: A Framework for Selecting Energy Optimal DVFS Configurations in Large Scale MPI Applications
|
A Measurement-Based Appearance Model for Fabrics
|
| |
|
Torchestra: Reducing interactive traffic delays over Tor
|
Automatic Grammar Correction: Using PCFGs and Whole Sentence Context
|
| |
|
Analyzing the Flash Crossdomain policies
|
Higher Order Light Propagation Volumes
|
| |
|
Non-Rigid Surface Detection for Gestural Interaction with Applicable Surfaces
|
A Primitive Based Approach for Managing, Deploying and Monitoring In-building Wireless Sensor Networks
|
| |
|
The Arsenal Tool Chain for the GreenDroid Mobile Application Processor
|
On-chip interconnect architectures: Perspectives of layout, circuits, and systems
|
| |
|
Fault-tolerant grid services
|
On the design and worst-case analysis of certain interactive and approximation algorithms
|
| |
|
A model of forensic analysis using goal-oriented logging
|
Tracking multiple mice through severe occlusions
|
| |
|
On compensation of systematic manufacturing variations in physical design
|
Theory and technology for computational narrative: An approach to generative and interactive narrative with bases in algebraic semiotics and cognitive linguistics
|
| |
|
Distributed application management
|
Predicting performance across compilations
|
| |
|
Characterizing time varying program behavior for efficient simulation
|
Distributed fair bandwidth sharing for lambda networks
|
| |
|
Analysis and applications of conserved sequence patterns in proteins
|
Fault localization in backbone networks
|
| |
|
Computational tools for high-throughput discovery in biology
|
The Composite Endpoint Protocol (CEP): High-performance partial content distribution
|
| |
|
Generalized Volterra series model for highly nonlinear optical interconnects, circuits and devices
|
Computational methods for genome-wide non-coding RNA discovery and analysis
|
| |
|
The complexity of the consistency and N-representability problems for quantum states
|
Learning from local image regions
|
| |
|
Sampled simulation for multithreaded processors
|
Deterministic replay using processor support and its applications
|
| |
|
Detecting malicious routers
|
Reproducible user-level simulation of multi-threaded workloads
|
| |
|
Duplications and genome rearrangements
|
Automating cross-layer diagnosis of enterprise 802.11 wireless networks
|
| |
|
Automatic resource specification generation for resource selection in large-scale distributed environments
|
RealityFlythrough: A system for ubiquitous video
|
| |
|
A general probabilistic framework for volumetric articulated body pose estimation and driver gesture, activity and intent analysis for human-centric driver assistance
|
Network adaptation techniques to enhance efficiency and quality of wireless multimedia transmissions
|
| |
|
A Bayesian framework for saliency and a probabilistic model for visual search
|
Private group communication: Two perspectives and a unifying solution
|
| |
|
Predictive modeling of integrated circuit manufacturing variation
|
Modeling probability distributions with Predictive State Representations
|
| |
|
Towards reliable nanoelectronic systems
|
The Chameleon framework: Practical solutions for memory behavior analysis
|
| |
|
Trees for Group Key Management with batch update
|
Characterization, modeling and optimization of fills and stress in semiconductor integrated circuits
|
| |
|
Systems and language support for building correct, high performance distributed systems
|
Pattern recognition techniques for image and video post-processing: Specific application to image interpolation
|
| |
|
Addressing the needs of mobile users
|
Algorithms for tandem mass spectrometry-based proteomics
|
| |
|
Computational methods for analyzing human genetic variation
|
Towards practical lattice-based cryptography
|
| |
|
New proofs of (new) Direct Product Theorems
|
Design and development of a semantic music discovery engine
|
| |
|
On the rate & distortion: Conformity with the statistics of natural images and visual perception in humans
|
XL: A communication-efficient routing algorithm
|
| |
|
Efficient Monte Carlo methods for light transport in scattering media
|
Models and methods for recovering shape, reflectance, and illumination from images
|
| |
|
Demystifying Internet traffic
|
Interconnection networks synthesis and optimization
|
| |
|
Enhancing photographs using content-specific image priors
|
On the power of the basic algorithmic design paradigms
|
| |
|
Embracing diversity: Improving performance for parallel storage systems built with heterogeneous disks
|
Flexible and efficient resource management in a virtual cluster environment
|
| |
|
Image segmentation and contextual modeling for object recognition
|
Beyond dynamic textures: A family of stochastic dynamical models for video with applications to computer vision
|
| |
|
Off-chip wire distribution and signal analysis
|
Modeling musical anticipation: From the time of music to the music of time
|
| |
|
Combinatorial methods in computational genomics: Mammalian phylogenetics using microinversions and fragment assembly with short reads
|
Scalable virtual machine multiplexing
|
| |
|
Enabling rich applications and reliable data collection in embedded wireless networks with low-footprint devices
|
Vision-based head pose estimation and interactivity analysis: Algorithms, systems and evaluation
|
| |
|
Manifold learning techniques for non-rigid structure from motion
|
A computational biologically-plausible model of working memory for serial order, repetition and binding
|
| |
|
Bregman proximity search
|
Public digital note-taking in lectures
|
| |
|
Investigation of neurotransmitter diffusion in three-dimensional reconstructions of hippocampal neuropil
|
Methods for the analysis of human genetic variation in the search for the genetic basis of human disease
|
| |
|
Information-theoretic and hypothesis-based clustering in bioinformatics
|
Enabling eyes-free interaction with tactile messages based on human experience
|
| |
|
Effective design and analysis of systems genetics studies
|
Uncovering the full potential of data services
|
| |
|
A framework for the checking and refactoring of crosscutting concepts
|
Methodology for assessing coastal change using terrestrial laser scanning
|
| |
|
Controlled mobility in sensor networks
|
Toward cheat-proof networking
|
| |
|
A new network architecture for future optical networks: Coarse optical circuit switching by default, rerouting over circuits for adaptation
|
High-level verification of system designs
|
| |
|
Low power high performance interconnect design and optimization
|
From pictures to 3D: Global optimization for scene reconstruction
|
| |
|
Power network analysis and optimization
|
GUSTO: General architecture design utility and synthesis tool for optimization
|
| |
|
Building aggressively duty-cycled platforms to achieve energy efficiency
|
The exponential complexity of satisfiability problems
|
| |
|
Overhearing in 802.11 mesh networks
|
Efficient thermal management for multiprocessor systems
|
| |
|
Machine learning algorithms for independent vector analysis and blind source separation
|
Reconstruction of dynamic articulated 3D models from range scans
|
| |
|
Democratic community-based search with XML full-text queries
|
Automatic improvisation: A study in human/machine collaboration
|
| |
|
Evolutionary sound: A non-symbolic approach to creating sonic art with genetic algorithms
|
Optimization algorithms for biological data
|
| |
|
Practical market-based resource allocation
|
Dataflow analysis for concurrent programs using data-race detection
|
| |
|
The Hybrid Ensemble Smoother (HEnS) & noncartesian computational interconnects
|
Understanding activity from trajectory patterns
|
| |
|
Architectural support for efficient on-chip parallel execution
|
Learning to detect malicious URLs
|
| |
|
On improving communication in emergency response at network and organizational levels
|
Computational drug design applied to neglected disease
|
| |
|
Improving the performance of distributed simulations of wireless sensor networks
|
Physical planning to embrace interconnect dominance in power and performance
|
| |
|
Public-key encryption secure in the presence of randomness failures
|
Pathway-based modeling and diagnosis of cancer development and progression
|
| |
|
Enhancing networking protocols in widely deployed devices
|
Automated planning in very large, uncertain, partially observable environments
|
| |
|
Audio localization in The Automatic Cameraman
|
Building a foundation for human centric multi-dimensional data analysis
|
| |
|
Web application creation made easy: A SQL-driven rapid development framework and a Do-It-Yourself platform
|
Tackling computation uncertainty through fine-grained and predictable execution adaptivity in multicore systems
|
| |
|
Monte Carlo simulation in systems biology
|
The curse of dimension in nonparametric regression
|
| |
|
Reproducing Kernel Space Embeddings and Metrics on Probability Measures
|
Query-based Debugging of Distributed Systems
|
| |
|
Toward Petabyte Digital Content Transfer and Preservation Over Optical Networks
|
PMap: Unlocking the performance genes of HPC applications
|
| |
|
Tarragon: A programming model for latency-hiding scientific computations
|
Anthropocentric data analysis
|
| |
|
Configurable Energy-efficient Co-processors to Scale the Utilization Wall
|
Online Learning of Large Margin Hidden Markov Models for Automatic Speech Recognition
|
| |
|
Dynamic Workload Characterization for Energy Efficient Computing
|
Content-Oriented 3D Reconstruction from Image Streams
|
| |
|
Computational Mass Spectrometry: Algorithms for Identification of Peptides not Present in Protein Databases
|
Augmenting Collocated Interaction: The design of assistive technology to support face-to-face communication
|
| |
|
Controlling the Appearance of Specular Microstructures
|
Lightweight Social Communication using Visual Media and Mobile Phones
|
| |
|
Migrating Enterprise Storage Applications to the Cloud
|
Efficient Use of Execution Resources in Multicore Processor Architectures
|
| |
|
Visual Exploration in Volume Rendering for Multi-Channel Data
|
Visual Analytics in Scalable Visualization Environments
|
| |
|
Using computational alchemy to predict protein-ligand binding free energies
|
Automated Cancer Detection and Drug Discovery: Two Biomedical Vision Systems
|
| |
|
HPC Application Address Stream Compression, Replay and Scaling
|
Robust Light Transport Simulation using Progressive Density Estimation
|
| |
|
Hierarchical Discriminant Saliency Network for Object Recognition
|
Verification of Business Process Specifications With Arithmetic and Data Dependencies
|
| |
|
Policy-Aware Sender Anonymity in Location-based Services
|
Studying Episodic Access to Personal Digital Activity: Activity Trails Prototype
|
| |
|
Equality Saturation: Engineering Challenges and Applications
|
Architectures for Stateful Data-intensive Analytics
|
| |
|
Efficient Gain-Driven Routing-Assisted Mechanisms for Network-wide Traffic Monitoring
|
System Level Design of Power Distribution Network for Mobile Computing Platforms
|
| |
|
Accurate Temperature Sensing and Efficient Dynamic Thermal Management in MPSoCs
|
Biologically Plausible Algorithms for Motion Saliency and Tracking
|
| |
|
Understanding the Role of Outsourced Labor in Web Service Abuse
|
Computational Methods and Analyses in Comparative Genomics and Epigenomics
|
| |
|
A Scalable, Adaptive, and Extensible Data Center Network Architecture
|
Semantic and Spatial Multi-Scale Information Models of the Nervous System
|
| |
|
Domain-Specific Translator and Optimizer for Massive On-Chip Parallelism
|
Competitive Tests and Estimators for Properties of Distributions
|
| |
|
On The Theory and Application of Pattern Maximum Likelihood
|
Enhanced Sampling Development for Accessing Long Time Scale Protein Dynamics
|
| |
|
Low-Level Software Security: Exploiting Memory Safety Vulnerabilities and Assumptions
|
More like this: Machine learning approaches to music similarity
|
| |
|
Kernel Methods for Deep Learning
|
Probabilistic Topic Models for Automatic Harmonic Analysis of Music
|
| |
|
The Networked Device Driver Architecture: A Solution for Remote I/O
|
Diffusion and Clustering on Large Graphs
|
| |
|
Characterizing Internet Scams through underground Infrastructure Infiltration
|
List Decoding of Subspace Codes and Rank-Metric Codes
|
| |
|
A Computational Approach to the Study of Social Interaction
|
Tackling Nanoscale IC Failures through Noise-aware Testing and Silicon Debugging
|
| |
|
A Practical Oracle for Sequential Code Parallelization
|
Equality Saturation: Using Equational Reasoning to Optimize Imperative Functions
|
| |
|
Enabling Efficiency in Data Center Systems
|
Scalable, Efficient, and Fault-Tolerant Data Center Networking
|
| |
|
Composing Crosscutting Concerns: A Service-Oriented View
|
Liquid Types
|
| |
|
Human Machine Interactivity using Vision-based Posture Analysis at Multiple Levels
|
Learning From Data With Low Intrinsic Dimension
|
| |
|
Compile-time Optimization of a Scientific Library through Domain-Specific Source-to-Source Translation
|
A Stochastic Optimal Control Perspective on Affect-Sensitive Teaching
|
| |
|
Algorithmic Modeling of Decision Making over Networks
|
Optics in Data Center Network Architecture
|
| |
|
Policy Driven Development: SOA Evolvability through Late Binding
|
Adaptive Architectures for Peak Power Management
|
| |
|
Exploiting Non-Traditional Parallelization for Application Performance and Energy Efficiency in Parallel Systems
|
Navigation of Time-Coded Data
|
| |
|
Latent feature models for dyadic prediction
|
I/O-Efficient Data-Intensive Computing
|
| |