Best Conference Papers

Best and award-winning papers from academic conferences, by year.
Showing 4,021-4,050 of 5,817 items.
YearConferencesBest Papers
2012ICALPThe Complexity of Computing the Sign of the Tutte Polynomial (and consequent #P-hardness of Approximation)
2012ICALPRegular Languages are Church-Rosser Congruential
2012ICALPOnline Mechanism Design (Randomized Rounding on the Fly)
2012ICCADStability Assurance and Design Optimization of Large Power Delivery Networks with Multiple On-Chip Voltage Regulators
2012ICMLBayesian Posterior Sampling via Stochastic Gradient Fisher Scoring
2012ICRAHigh Speed Microrobot Actuation in a Microfluidic Chip by Levitated Structure with Riblet Surface
2012ICRATransition from Mechanical Arm to Human Arm with CAREX: a Cable Driven ARm EXoskeleton (CAREX) for Neural Rehabilitation
2012ICRAForce Controlled Robotic Assembly without a Force Sensor
2012ICRAThe RoboEarth Language: Representing and Exchanging Knowledge about Actions, Objects, and Environments
2012ICRAMetal MEMS Tools for Beating-heart Tissue Removal
2012ICRAMechanics and Manipulation of Planar Elastic Kinematic Chains
2012ICRASeqSLAM: Visual Route-Based Navigation for Sunny Summer Days and Stormy Winter Nights
2012ICRAFast Accessible Rescue Device by Using a Flexible Sliding Actuator
2012ICSEUnderstanding Integer Overflow in C/C++
2012ICSEUsing Dynamic Analysis to Discover Polynomial and Array Invariants
2012ICSEAmplifying Tests to Validate Exception Handling Code
2012ICSEPartial Models: Towards Modeling and Reasoning with Uncertainty
2012ICSEHow Do Professional Developers Comprehend Software?
2012ICSEA Tactic-Centric Approach for Automating Traceability of Quality Concerns
2012ICSEAutomated Detection of Client-State Manipulation Vulnerabilities
2012INFOCOMMulti-resource allocation: Fairness-efficiency tradeoffs in a unifying framework
2012InfoVisHow Capacity Limits of Attention Influence Information Visualization Effectiveness
2012INTERSPEECHDiscriminatively learning factorized finite state pronunciation models from dynamic Bayesian networks
2012INTERSPEECHMAP Estimation of Whole-Word Acoustic Models with Dictionary Priors
2012INTERSPEECHAge Estimation from Telephone Speech using i-vectors
2012INTERSPEECHPEAKS – A system for the automatic evaluation of voice and speech disorders
2012INTERSPEECHDiscriminative n-gram language modeling
2012ITCAlgorithm for Dramatically Improved Efficiency in ADC Linearity Test
2012IVAPPSCAFFOLD HUNTER - Visual Analysis of Chemical Compound Databases
2012IVAPPCOMPARATIVE VISUALIZATION OF GEOSPATIAL-TEMPORAL DATA