Best Conference Papers

Best and award-winning papers from academic conferences, by year.
Showing 3,931-3,960 of 5,817 items.
YearConferencesBest Papers
2013SOSPTowards optimization-safe systems: analyzing the impact of undefined behavior
2013SOSPNaiad: A Timely Dataflow System
2013SOSPThe Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
2013SPAAFast Greedy Algorithms in MapReduce and Streaming
2013SPAAIRIS: A Robust Information System Against Insider DoS-Attacks
2013STOCApproximation Resistance from Pairwise Independent Subgroups
2013STOCLow Rank Approximation and Regression in Input Sparsity Time
2013TACASAn integrated specification and verification technique for highly concurrent data structures
2013TACASDeriving probability density functions from probabilistic functional programs
2013TACASeVolCheck: incremental upgrade checker for C
2013The Web ConferenceNo Country for Old Members: User Lifecycle and Linguistic Change in Online Communities
2013UbicompExploring Capturable Everyday Memory for Autobiographical Authentication
2013UbicompInstant Inkjet Circuits: Lab-based Inkjet Printing to Support Rapid Prototyping of UbiComp Devices
2013UbicompThere's No Such Thing as Gaining a Pound: Reconsidering the Bathroom Scale User Interface
2013UbicompIt Takes a Network to Get Dinner: Designing Location-based Systems to Address Local Food Needs
2013UbicompMACH: My Automated Conversation coacH
2013UbicompInferring High-Level Behavior from Low-Level Sensors
2013UISTPneUI: Pneumatically Actuated Soft Composite Materials for Shape Changing Interfaces
2013UISTTouch & Activate: Adding Interactivity to Existing Objects using Active Acoustic Sensing
2013UISTFiberio: A Touchscreen that Senses Fingerprints
2013USENIX ATCCopysets: Reducing the Frequency of Data Loss in Cloud Storage
2013USENIX ATCI/O Stack Optimization for Smartphones
2013VASTA Partition-Based Framework for Building and Validating Regression Models
2013VISAPPSocial Cues in Group Formation and Local Interactions for Collective Aativity Analysis
2013VISAPPAutomated Classification of Therapeutic Face Exercises Using the Kinect
2013VLDBDisC Diversity: Result Diversification based on Dissimilarity and Coverage
2012AAAIDocument Summarization Based on Data Reconstruction
2012AAAILearning SVM Classiiers with Indeinite Kernels
2012ACLString Re-writing Kernel
2012ACLBayesian Symbol-Refined Tree Substitution Grammars for Syntactic Parsing