|
System support for end-to-end performance management
|
Identifying testing requirements for modified software
|
| |
|
Annealing and tempering for sampling and counting
|
Tamper-resilient methods for Web-based open systems
|
| |
|
Efficient algorithms for market equilibria
|
Real-time and reliable communication in wireless sensor and actor networks
|
| |
|
Documenting and understanding everyday activities through the selective archiving of live experiences
|
Geometric prediction for compression
|
| |
|
Layered deformotion with radiance: A model for appearance, segmentation, registration, and tracking
|
Environment analysis of higher-order languages
|
| |
|
End-to-end security of information flow in Web-based applications
|
Robot tool behavior: A developmental approach to autonomous tool use
|
| |
|
Topology control of volumetric data
|
Correlation-based cross-layer communication in wireless sensor networks
|
| |
|
Energy-efficient communication strategies for wireless sensor networks
|
Modeling and simulations of worms and mitigation techniques
|
| |
|
Dynamic optimal fragmentation with rate adaptation in wireless mobile networks
|
Improving the efficiency and robustness of intrusion detection systems
|
| |
|
Interdomain traffic engineering for multi-homed networks
|
Power management in Disruption Tolerant Networks
|
| |
|
Estimation of a coronary vessel wall deformation with high-frequency ultrasound elastography
|
Algorithm-based efficient approaches for motion estimation systems
|
| |
|
Separation and analysis of multichannel signals
|
Using graphical context to reduce the effects of registration error in Augmented Reality
|
| |
|
Analyzing cross-layer interaction in overlay networks
|
Efficient verification of bit-level pipelined machines using refinement
|
| |
|
Efficient proactive security for sensitive data storage
|
Virtual Rear Projection: Improving the user experience with multiple redundant projectors
|
| |
|
Automatically proving the termination of functional programs
|
From shape to function: Acquisition of teleological models from design drawings by compositional analogy
|
| |
|
Towards ideal network traffic measurement: A statistical algorithmic approach
|
Risk-based proactive availability management---attaining high performance and resilience with dynamic self-management in enterprise distributed systems
|
| |
|
User-activity aware strategies for mobile information access
|
Investigating learning with web lectures
|
| |
|
ROSENET: A remote server-based network emulation system
|
Semi-automatic fault localization
|
| |
|
Development of a knowledge model for the computer-aided design for reliability of electronic packaging systems
|
Electromagnetic band gap (EBG) synthesis and its application in analog-to-digital converter load boards
|
| |
|
An evolutionary approach to improve end-to-end performance in TCP/IP networks
|
Virtualization services: Scalable methods for virtualizing multicore systems
|
| |
|
Probabilistic topological maps
|
Application of information theory and learning to network and biological tomography
|
| |
|
A variational approach for viewpoint-based visibility maximization
|
Algorithmic aspects of connectivity, allocation and design problems
|
| |
|
Combining over- and under-approximating program analyses for automatic software testing
|
Correlation-based botnet detection in enterprise networks
|
| |
|
A computational framework for unsupervised analysis of everyday human activities
|
Decision support for caregivers through embedded capture and access
|
| |
|
New abstractions and mechanisms for virtualizing future many-core systems
|
Enabling scalable self-management for enterprise-scale systems
|
| |
|
A high-performance framework for analyzing massive complex networks
|
Unsupervised discovery of activity primitives from multivariate sensor data
|
| |
|
Mechanisms for coordinated power management with application to cooperative distributed systems
|
Infrastructure mediated sensing
|
| |
|
Intractability results for some computational problems
|
Active management of cache resources
|
| |
|
Middleware-based services for virtual cooperative mobile platforms
|
Seamless mobility in ubiquitous computing environments
|
| |
|
Object categorization for affordance prediction
|
Exploring a technological hermeneutic: Understanding the interpretation of computer-mediated messaging systems
|
| |
|
Exploring user interface challenges in supporting activity-based knowledge work practices
|
Establishing trust in encrypted programs
|
| |
|
Visualized decision making: Development and applications of information visualization techniques to improve decision quality of nursing home choice
|
Supporting learning about games
|
| |
|
Information retrieval via universal source coding
|
Knowledge composition methodology for effective analysis problem formulation in simulation-based design
|
| |
|
Probabilistic Boolean logic, arithmetic and architectures
|
Understanding user engagement in immersive and interactive stories
|
| |
|
The Buzz: Supporting extensively customizable information awareness applications
|
Countering Murphy's Law: The use of anticipation and improvisation via an episodic memory in support of intelligent robot behavior
|
| |
|
Is a robot an appliance, teammate, or friend? Age-related differences in expectations of and attitudes towards personal home-based robots
|
Design of cognitive work support systems for airline operations
|
| |
|
The design and implementation of a robust, cost-conscious peer-to-peer lookup service
|
Incremental smoothing and mapping
|
| |
|
Video analysis and compression for surveillance applications
|
Capsules: Expressing composable computations in a parallel programming model
|
| |
|
The application of advanced inventory techniques in urban inventory data development to earthquake risk modeling and mitigation in mid-America
|
Architectural support for improving security and performance of memory sub-systems
|
| |
|
Random dot product graphs: A flexible model for complex networks
|
Efficiently mapping high-performance early vision algorithms onto multicore embedded platforms
|
| |
|
Provider and peer selection in the evolving Internet ecosystem
|
Microarchitectural techniques to reduce energy consumption in the memory hierarchy
|
| |
|
Framework for botnet emulation and analysis
|
Sequential optimal design of neurophysiology experiments
|
| |
|
Designing ubiquitous computing for reflection and learning in diabetes management
|
Master/worker parallel discrete event simulation
|
| |
|
Automatic coordination and deployment of multi-robot systems
|
Improving processor efficiency by exploiting common-case behaviors of memory instructions
|
| |
|
Isometry and convexity in dimensionality reduction
|
Extensions of Principal Components Analysis
|
| |
|
Visual search interfaces for online digital repositories
|
Understanding the social navigation user experience
|
| |
|
Algorithms for budgeted auctions and multi-agent covering problems
|
Structural abstraction A mechanism for modular program construction
|
| |
|
Switching linear dynamic systems with higher-order temporal structure
|
Exploring and visualizing the impact of multiple shared displays on collocated meeting practices
|
| |
|
Supporting human interpretation and analysis of activity captured through overhead video
|
Intractability results for problems in computational learning and approximation
|
| |
|
A parallel geometric multigrid method for finite elements on octree meshes applied to elastic image registration
|
Enhancing availability in large scale storage systems and services: Architectures and techniques
|
| |
|
Visual place categorization
|
Preserving privacy with user-controlled sharing of verified information
|
| |
|
On the security and efficiency of encryption
|
The tribulations of adventure games: Integrating story into simulation through performance
|
| |
|
Temporal streams programming abstractions for distributed live stream analysis applications
|
Storytelling for digital photographs: Supporting the practice, understanding the benefit
|
| |
|
Localized statistical models in computer vision
|
Estimating the discriminative power of time varying features for EEG BMI
|
| |
|
Cross-layer optimization for spectral and energy efficiency
|
Assessing operational impact in enterprise systems with dependency discovery and usage mining
|
| |
|
Artificial neural networks based subgrid chemistry model for turbulent reactive flow simulations
|
Large scale group network optimization
|
| |
|
Low-cost and efficient architectural support for correctness and performance debugging
|
Practical water animation using physics and image based methods
|
| |
|
Improving operating systems security: Two case studies
|
Tangent-ball techniques for shape processing
|
| |
|
Countering kernel malware in virtual execution environments
|
Eden: An interactive home network management system
|
| |
|
Enabling mobile microinteractions
|
Carrier Ethernet network solutions: Transport protocol and optical backplane design
|
| |
|
Forensic framework for honeypot analysis
|
Subset selection in hierarchical recursive pattern assemblies and relief feature instancing for modeling geometric patterns
|
| |
|
Empirically-based self-diagnosis and repair of domain knowledge
|
Communication and alignment of grounded symbolic knowledge among heterogeneous robots
|
| |
|
Trusted data path protecting shared data in virtualized distributed systems
|
Statistical methods for feature extraction in shape analysis and bioinformatics
|
| |
|
A physics based investigation of Gurney flaps for enhancement of rotorcraft flight characteristics
|
Worst-case robot navigation in deterministic environments
|
| |
|
Certificate revocation list distribution in vehicular ad hoc networks
|
Applying inter-layer conflict resolution to hybrid robot control architectures
|
| |
|
Efficient numerical method for solution of L2 optimal mass transport problem
|
Facilitating communication for deaf individuals with mobile technologies
|
| |
|
Modeling performance of Internet-based services using causal reasoning
|
Segmental discriminative analysis for American Sign Language recognition and verification
|
| |
|
Dynamic pointer tracking and its applications
|
Multi-tree Monte Carlo methods for fast, scalable machine learning
|
| |
|
Reframing interactive digital narrative: Toward an inclusive open-ended iterative process for research and practice
|
Automated checking of building requirements on circulation over a range of design phases
|
| |
|
Intentional systems and the artificial intelligence (AI) hermeneutic network: Agency and intentionality in expressive computational systems
|
Algorithm design on multicore processors for massive-data analysis
|
| |
|
Resource management for data streaming applications
|
Scaling location-based services with location privacy constraints: Architecture and algorithms
|
| |
|
Improving the efficacy of automated sign language practice tools
|
Algorithms for large graphs
|
| |
|
High-performance direct solution of finite element problems on multi-core processors
|
Toward perpetual wireless networks: Opportunistic large arrays with transmission thresholds and energy harvesting
|
| |
|
Direct numerical simulation and analysis of saturated deformable porous media
|
Kernel service outsourcing: An approach to improve performance and reliability of virtualized systems
|
| |
|
Toward accurate and efficient outlier detection in high dimensional and large data sets
|
Improving host-based computer security using secure active monitoring and memory analysis
|
| |
|
Unlocking the urban photographic record through 4D scene modeling
|
An analysis of the domestic power line infrastructure to support indoor real-time localization
|
| |
|
A secure communication framework for wireless sensor networks
|
Social game retrieval from unstructured videos
|
| |
|
Child's play: Activity recognition for monitoring children's developmental progress with augmented toys
|
Measurement and resource allocation problems in data streaming systems
|
| |
|
Contextualized web search: Query-dependent ranking and social media search
|
Kitchen science investigators: Promoting identity development as scientific reasoners and thinkers
|
| |
|
Multi-dimensional optimization for cloud based multi-tier applications
|
Algorithms and mechanism design for multi-agent systems
|
| |
|
Extreme scale data management in high performance computing
|
Stronger security notions for trapdoor functions and applications
|
| |
|
Statistical methods for 2D image segmentation and 3D pose estimation
|
Robust and efficient malware analysis and host-based monitoring
|
| |
|
Assessing fundamental introductory computing concept knowledge in a language independent manner
|
Supporting advice sharing for technical problems in residential settings
|
| |
|
Animating physical phenomena with embedded surface meshes
|
Designing heterogeneous many-core processors to provide high performance under limited chip power budget
|
| |
|
An exemplar-based approach to search-assisted computer-aided diagnosis of pigmented skin lesions
|
Application acceleration for wireless and mobile data networks
|
| |
|
Capture, analysis and synthesis of photorealistic crowds
|
Buzzwear: Supporting multitasking with wearable tactile displays on the wrist
|
| |
|
Visual summaries augmenting memory recall of repetitive actions
|
Domain knowledge, uncertainty, and parameter constraints
|
| |
|
Reliable middleware framework for RFID system
|
Enabling and supporting the debugging of software failures
|
| |
|
Lattice reduction for MIMO detection: From theoretical analysis to hardware realization
|
On the design of architecture-aware algorithms for emerging applications
|
| |
|
Simultaneous cooperative exploration and networking
|
Design and implementation of an attribute based authorization management system
|
| |
|
An integrative framework of time-varying affective robotic behavior
|
Data analytics for networked and possibly private sources
|
| |
|
Brain-Computer Interfaces for Inducing Brain Plasticity and Motor Learning: Implications for Brain-Injury Rehabilitation
|
Making infrastructure visible: A case study of home networking
|
| |
|
Hierarchical Motion Planning for Autonomous Aerial and Terrestrial Vehicles
|
New support vector machine formulations and algorithms with application to biomedical data analysis
|
| |
|
Community resource messenger: A mobile system and design exploration in support of the urban homeless
|
Mixed-initiative multimedia for mobile devices: Design of a semantically relevant low latency system for news video recommendations
|
| |
|
Graph and geometric algorithms on distributed networks and databases
|
Tectonic smoothing and mapping
|
| |
|
A cultural, community-based approach to health technology design
|
Understanding a large-scale IPTV network via system logs
|
| |
|
Mitigating spam using network-level features
|
Designing security policies and frameworks for web applications
|
| |
|
Robust and secure monitoring and attribution of malicious behaviors
|
Supporting cognitive engagement in a learning-by-doing learning environment: Case studies of participant engagement and social configurations in Kitchen Science Investigators
|
| |
|
Data services: Bringing I/O processing to petascale
|
Target tracking using residual vector quantization
|
| |
|
Programming models for speculative and optimistic parallelism based on algorithmic properties
|
Harmony: An execution model for heterogeneous systems
|
| |
|
Stochastic m-estimators: Controlling accuracy-cost tradeoffs in machine learning
|
Hardware assisted memory checkpointing and applications in debugging and reliability
|
| |
|
Coordinated system level resource management for heterogeneous many-core platforms
|
Algorithms and protocols for multi-channel wireless networks
|
| |
|
Turing machine algorithms and studies in quasi-randomness
|
Nonnegative matrix and tensor factorizations, least squares problems, and applications
|
| |
|
Multi-layer syntactical model transformation for model based systems engineering
|
Cooperative communication in wireless networks: Algorithms, protocols and systems
|
| |
|
Stabilization and carbonization studies of polyacrylonitrile/carbon nanotube composite fibers
|
Construction and adaptation of AI behaviors in computer games
|
| |
|
Leveraging distribution and heterogeneity in robot systems architecture
|
Scalable video communications: Bitstream extraction algorithms for streaming, conferencing and 3DTV
|
| |
|
Socio-semantic conversational information access
|
Data-driven transform optimization for next generation multimedia applications
|
| |
|
Optimistic semantic synchronization
|
Realizable paths and the NL vs L problem
|
| |
|
Some approximation algorithms for multi-agent systems
|
Scaling solutions to Markov decision problems
|
| |
|
An architecture for network path selection
|
Techniques to facilitate symbolic execution of real-world programs
|
| |
|
Improving Internet security via large-scale passive and active DNS monitoring
|
New approaches to integer programming
|
| |
|
Analysis of the subsequence composition of biosequences
|
Practical authentication in large-scale Internet applications
|
| |
|
Integer programming, lattice algorithms, and deterministic volume estimation
|
Physical-layer security: Practical aspects of channel coding and cryptography
|
| |
|
Space-efficient data sketching algorithms for network applications
|
Preventing abuse of online communities
|
| |
|
Informing design of visual analytics systems for intelligence analysis: Understanding users, user tasks, and tool usage
|
A distributed kernel summation framework for machine learning and scientific applications
|
| |
|
Non-asymptotic bounds for prediction problems and density estimation
|
Robot-based haptic perception and telepresence for the visually impaired
|
| |
|
Science-centric sampling approaches of geo-physical environments for realistic robot navigation
|
Change-effects analysis for effective testing and validation of evolving software
|
| |
|
Valid motion estimation for super-resolution image reconstruction
|
Allocation problems with partial information
|
| |
|
Tightening and blending subject to set-theoretic constraints
|
Using ubiquitous communication technology to improve pediatric asthma management
|
| |
|
Facilitating the authoring of multimedia social problem solving skills instructional modules
|
On discriminative semi-supervised incremental learning with a multi-view perspective for image concept modeling
|
| |
|
Glitch game testers: The design and study of a learning environment for computational production with young African American males
|
On algorithm design and programming model for multi-threaded computing
|
| |
|
Network-based visual analysis of tabular data
|
Mobile music touch: Using haptic stimulation for passive rehabilitation and learning
|
| |
|
Monitoring-as-a-Service in the Cloud
|
Depth-based 3D videos: Quality measurement and synthesized view enhancement
|
| |
|
Markov chains at the interface of combinatorics, computing, and statistical physics
|
A neural network construction method for surrogate modeling of physics-based analysis
|
| |
|
Wide-area route control for online services
|
Predictive models for online human activities
|
| |
|
Supporting remote synchronous communication between parents and young children
|
Statistical causal analysis for fault localization
|
| |
|
Non-photorealistic rendering with coherence for augmented reality
|
Informed storage management for mobile platforms
|
| |
|
Supporting and transforming leadership in online creative collaboration
|
Safeguarding health data with enhanced accountability and patient awareness
|
| |
|
Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theory
|
Dynamic monitoring, modeling and management of performance and resources for applications in the Cloud
|
| |
