Best Conference Papers

Best and award-winning papers from academic conferences, by year.

Showing 5,341-5,370 of 5,817 items.

Year	Conferences	Best Papers
2003	ICSE	Precise Dynamic Slicing Algorithms
2003	ICSE	Modular Verification of Software Components in C
2003	IJCAI	Approximating Game-Theoretic Optimal Strategies for Full-scale Poker
2003	IJCAI	Thin Junction Tree Filters for Simultaneous Localization and Mapping
2003	INFOCOM	User-Level Performance of Channel-Aware Scheduling Algorithms in Wireless Data Networks
2003	InfoVis	Smooth and efficient zooming and panning
2003	INTERSPEECH	CRA-BF: A Novel Combined Fixed/Adaptive Beamforming for Robust Speech Recognition in Real Car Environments
2003	INTERSPEECH	The auditory organization of speech and other sources in listeners and computational models
2003	ISQED	Design and Measurement of an Inductance-Oscillator for Analyzing Inductance Impact on On-Chip Interconnect Delay
2003	ITC	Elimination of Traditional Functional Testing of Interface Timings at Intel
2003	ITC	Convolutional Compaction of Test Responses
2003	JCDL	How Fast Is Too Fast? Evaluating Fast Forward Surrogates for Digital Video
2003	KDD	Maximizing the spread of influence through a social network
2003	LISA	STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support
2003	LISA	Distributed Tarpitting: Impeding Spam Across Multiple Servers
2003	MICRO	Razor: A Low-Power Pipeline Based on Circuit-Level Timing Speculation
2003	Mobisys	Energy Aware Lossless Data Compression
2003	PLDI	Automatically proving the correctness of compiler optimizations
2003	PODC	Software transactional memory for dynamic-sized data structures
2003	PODS	An information-theoretic approach to normal forms for relational and XML data
2003	SciVis	Counting cases in marching cubes: toward a generic algorithm for producing substitopes
2003	Security	Remote Timing Attacks Are Practical
2003	Security	Establishing the Genuinity of Remote Computer Systems
2003	SIGIR	Re-examining the potential effectiveness of interactive query expansion
2003	SIGMOD	Spreadsheets in RDBMS for OLAP
2003	SOSP	Improving the reliability of commodity operating systems
2003	SOSP	Backtracking intrusions
2003	SOSP	Preserving peer replicas by rate-limited sampled voting
2003	SOSP	Xen and the art of virtualization
2003	STOC	Derandomizing polynomial identity tests means proving circuit lower bounds