A computational model of human blood clottings: Simulation, analysis, control, and validation
|
A dynamic theory of learning
|
| |
A framework for compositional design and analysis of systems
|
A framework for the development of traffic control systems
|
| |
A hierarchical coordination language for reliable real-time tasks
|
A multi-tier network architecture for long distance rural wireless networks in developing regions
|
| |
A practical theory of micro-solar power sensor networks
|
A syllable, articulatory-feature, and stress-accent model of speech recognition
|
| |
A unifying link abstraction for wireless sensor networks
|
Actor-oriented programming for wireless sensor networks
|
| |
Adapting learning techniques for visual recognition
|
An activity based approach to context-aware computing
|
| |
An architecture for privacy-sensitive ubiquitous computing
|
Anonymous routing in structured peer-to-peer overlays
|
| |
Application driven sensor network architecture
|
Application specific virtual machines: Operating system support for user-level Sensornet programming
|
| |
Audio segmentation for meetings speech processing
|
Augmenting ultrasound data
|
| |
Authentication for humans: The design and evaluation of usable security systems
|
Auto-tuning performance on multicore computers
|
| |
Automated music analysis using dynamic graphical models
|
Automatic action advisor for storage system performance management
|
| |
Automating malware detection by inferring intent
|
BORPH: An operating system for FPGA-based reconfigurable computers
|
| |
Belief propagation algorithms for constraint satisfaction problems
|
Best-fit constructional analysis
|
| |
Black-box complexity of encryption and commitment
|
Bridging the gap between people and policies in security and privacy
|
| |
Building and optimizing declarative networked systems
|
Building interpolating and approximating implicit surfaces using moving least squares
|
| |
Building reliable voting machine software
|
Calculations of quantum error correction and fault tolerance thresholds
|
| |
Combinatorics of Viterbi sequences
|
Comparative and evolutionary analysis of cellular pathways
|
| |
Compile time task and resource allocation of concurrent applications to multiprocessor platforms
|
Compile-time schedulability analysis of communicating concurrent programs
|
| |
Complex program transformations via simple online dynamic analyses
|
Complexity of game dynamics
|
| |
Compositionality in deterministic real-time embedded systems
|
Computational analyses of eukaryotic gene evolution
|
| |
Concurrent hierarchical reinforcement learning
|
Conditional Bayes Nets and their applications
|
| |
Constructing abelian varieties for pairing-based cryptography
|
Constructing grammar: A computational model of the emergence of early constructions
|
| |
Contextual bootstrapping for grammar learning
|
Cooperative bug isolation
|
| |
D-Trigger: A general framework for efficient online detection
|
Data Triage
|
| |
Data compression for maskless lithography systems: Architecture, algorithms and implementation
|
Data-centric scientific workflow management systems
|
| |
Decentralized security mechanisms for routing protocols
|
Dependent types for assembly code safety
|
| |
Dependent types for safe systems software
|
Deploying concurrent applications on heterogeneous multiprocessors
|
| |
Design and evaluation of distributed wide-area on-line archival storage systems
|
Design automation for streaming systems
|
| |
Design collaboration as a framework for building intelligent environments
|
Design methodology for run-time management of reconfigurable digital signal processor systems
|
| |
Design of a multi-channel medium access control protocol for ad-hoc wireless networks
|
Designing and evaluating glanceable peripheral displays
|
| |
Designing distributed systems for heterogeneity
|
Designing networks for innovation
|
| |
Designing sustainable rural wireless networks for developing regions
|
Development and evaluation of a haptic rendering system for virtual design environments
|
| |
Distributed OS for sensor networks
|
Easily adaptable handwriting recognition in historical manuscripts
|
| |
Efficient filtering support for high-speed network intrusion detection
|
Efficient motor control learning
|
| |
Electro micro-metrology
|
End-user program analysis
|
| |
End-user service composition in ubiquitous computing environments
|
Ensemble feature selection for multi-stream automatic speech recognition
|
| |
Ensuring data integrity in sensor-based networked systems
|
Error-detection-based quantum fault tolerance against discrete Pauli noise
|
| |
Evaluating the security of machine learning algorithms
|
Evolution, modularity, and dynamics of gene regulatory networks
|
| |
Exceptional situations and program reliability
|
Expensive functions in continuous queries: Opening up the 'black box'
|
| |
Exploiting words and pictures
|
Extraction of semantic relations from bioscience text
|
| |
Finding good features for object recognition
|
Floating-point to fixed-point conversion
|
| |
Fluid animation from simulation on tetrahedral meshes
|
From range images to three-dimensional models
|
| |
Games for the verification of timed systems
|
Generating surface crack patterns
|
| |
Geometric embeddings, geometric algorithms, and combinatorial optimization
|
Head-mounted displays and new technologies for firefighting and rescue in a post 9/11 world
|
| |
High speed deep packet inspection with hardware support
|
High-speed Rapid-Single-Flux-Quantum multiplexer and demultiplexer design and testing
|
| |
Human factors in web authentication
|
Hybrid artist- and data-driven techniques for character animation
|
| |
Identity-based routing
|
Image registration and statistical analysis for quantitative in vivo spin-lock magnetic resonance imaging of the intervertebral disc response to compression
|
| |
Implementations of the pseudoflow algorithm for maximum flow, bipartite matching, flows in unit capacity networks, and parametric maximum flow
|
Implementing certified programming language tools in dependent type theory
|
| |
Improving access to remote storage for weakly connected users
|
Improving dependability of commodity operating systems with program analysis
|
| |
Improving distributed application reliability with end-to-end datapath tracing
|
Improving tetrahedral meshes
|
| |
Improving the robustness, manageability, and performance of Internet-scale applications via query and actuation
|
Improving visibility of distributed systems through execution tracing
|
| |
K-Sketch: A kinetic sketch pad for novice animators
|
Kernel optimization for support vector machines: Application to speaker verification
|
| |
Learning blind source separation
|
Learning data driven representations from large collections of multidimensional patterns with minimal supervision
|
| |
Learning discriminant narrow-band temporal patterns for automatic recognition of conversational telephone speech
|
Learning distance functions for exemplar-based object recognition
|
| |
Learning in decentralized systems: A nonparametric approach
|
Limits on efficient computation in the physical world
|
| |
Local computation and reducibility
|
Low-complexity vector microprocessor extension
|
| |
MILLEE: Mobile and immersive learning for literacy in emerging economies
|
Maximizing performance in long distance wireless networks for developing regions
|
| |
Measuring the ecological validity of grouping and figure-ground cues
|
Minimizing curvature variation for aesthetic surface design
|
| |
Model selection through sparse maximum likelihood estimation for multivariate Gaussian or binary data
|
Model transformation with hierarchical discrete-event control
|
| |
Modeling cloth from examples
|
Multipath unicast and multicast video communication over wireless ad hoc networks
|
| |
New approximation algorithms and structural results for oblivious multicommodity flow and zero-extension
|
Nonparametric Bayesian models for machine learning
|
| |
On algorithms for technology mapping
|
On efficient software realization of sequential machines
|
| |
OpenDHT: A public DHT service
|
Operational semantics of hybrid systems
|
| |
Optimization and reconstruction over graphs
|
Optimizing partitioned global address space programs for cluster architectures
|
| |
P4P: A practical framework for privacy-preserving distributed computation
|
PIER: Internet scale P2P query processing with distributed hash tables
|
| |
Packet classification as a fundamental network primitive
|
Partial evaluation for optimized compilation of actor-oriented models
|
| |
Pay-as-you-go data cleaning and integration
|
Planning and optimization algorithms for image-guided medical procedures
|
| |
Policies in routing
|
Posterior decoding methods for optimization and accuracy control of multiple alignments
|
| |
Practical fault tolerance for quantum circuits
|
Predicting protein molecular function
|
| |
Privacy preserving joins on secure coprocessors
|
Probabilistic models for mid-level vision
|
| |
Probabilistic models of text and images
|
Probabilistic models with unknown objects
|
| |
Probabilistic reachability for Stochastic Hybrid Systems: Theory, computations, and applications
|
Program analysis using random interpretation
|
| |
Program analysis with regularly annotated constraints
|
Program manipulation via interactive transformations
|
| |
Program synthesis by sketching
|
Psychophysics & computational modeling of visual motion perception
|
| |
Quality of service in ad-hoc networks
|
Quantum algorithms and the Fourier transform
|
| |
Quantum communication and information processing
|
Query processing for large-scale XML message brokering
|
| |
Query processing over live and archived data streams
|
Refinement-based program analysis tools
|
| |
Reinforcement learning in large or unknown MDPs
|
Replay debugging for distributed applications
|
| |
Resampling methods for protein structure prediction
|
Revenue maximization in online auctions
|
| |
Robust peer-to-peer protocols via randomized forwarding
|
Robust reputations for peer-to-peer markets
|
| |
Scheduling and fairness in multi-hop wireless networks
|
Security inference from noisy data
|
| |
Self-organizing algorithms for controlling network feature map probability distributions, and synthesizing multiple robust controllers
|
Semantic foundation of the tagged signal model
|
| |
Shape matching and object recognition
|
Shared query processing in data streaming systems
|
| |
Single and multi-CPU performance modeling for embedded systems
|
Sound synthesis from shape-changing geometric models
|
| |
Spoken language support for software development
|
Statistical approach to structural monitoring using scalable wireless sensor networks
|
| |
Statistical software debugging
|
Stochastic o-regular games
|
| |
Streaming source coding with delay
|
Structured and parameter-dependent eigensolvers for simulation-based design of resonant MEMS
|
| |
Supporting asynchronous collaboration for interactive visualization
|
Supporting early-stage ubicomp experimentation
|
| |
Synchronous reactive communication: Generalization, implementation, and optimization
|
TIPI: Tiny Instruction Processors and Interconnect
|
| |
Task allocation and scheduling of concurrent applications to multiprocessor systems
|
Tetrahedral mesh generation with good dihedral angles using point lattices
|
| |
The Integrated Communication 2 Draw
|
The complexity of Nash equilibria
|
| |
The complexity of massive data set computations
|
The design and evaluation of a query processing architecture for sensor networks
|
| |
The design and evaluation of network power scheduling for sensor networks
|
The design and implementation of declarative networks
|
| |
The design, implementation, and evaluation of a multicast session layer
|
The relation between worst case and average case complexity for NP
|
| |
Theory and practice of non-intrusive active network measurements
|
This might be a game: Ubiquitous play and performance at the turn of the twenty-first century
|
| |
Three variations on the theme of comparative genomics: Metagenomics, mitochondrial gene rearrangements and microRNAs
|
Topics in Random Forests
|
| |
Towards efficient distribution of high-volume content
|
Towards robust overlay networks
|
| |
Tracking and texturing liquid surfaces
|
Tracking people and recognizing their activities
|
| |
Types for deterministic concurrency
|
Understanding the prediction gap in multi-hop localization
|
| |
Upper and lower bounds for recursive Fourier sampling
|
User-extensible natural language spoken interfaces for environment and device control
|
| |
Using criticality to attack performance bottlenecks
|
Using design patterns and layers to support the early-stage design and prototyping of cross-device user interfaces
|
| |
Using the Web as an implicit training set: Application to noun compound syntax and semantics
|
Verification of pointer-intensive programs
|
| |
Verifying security properties in electronic voting machines
|
Verifying security properties using type-qualifier inference
|
| |
Visually dependent nonverbal cues and video communication
|
Whole-genome alignments and polytopes for comparative genomics
|
| |
Wireless Sensor Networks for High Fidelity Sampling
|
Wireless network information flow: A deterministic approach
|
| |
Wireless sensor network metrics for real-time systems
|
Wireless sensor networks: Energy efficiency, delay guarantee and fault tolerance
|
| |
| |
.gif){kind=spacer}
