Best Conference Papers

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

Showing 5,551-5,580 of 5,817 items.

Year	Conferences	Best Papers
2000	TACAS	Symbolic Reachability Analysis Based on SAT-Solvers
2000	The Web Conference	Graph Structure in the Web
2000	UIST	Sensing techniques for mobile interaction
2000	USENIX ATC	Scalable Content-aware Request Distribution in Cluster-based Network Servers
2000	Vis	Volume illustration: non-photorealistic rendering of volume models
1999	AAAI	PROVERB: The Probabilistic Cruciverbalist
1999	ASE	Industrial Applications of Software Synthesis via Category Theory
1999	CVPR	Robust Hierarchical Algorithm for Constructing a Mosaic from Images of the Curved Human Retina
1999	DAC	Reliability-Constrained Area Optimization of VLSI Power/Ground Networks via Sequence of Linear Programmings
1999	DAC	Coverage Estimation for Symbolic Model Checking
1999	DAC	Reducing Cross-Coupling Among Interconnect Wires in Deep-Submicron Datapath Design
1999	DAC	Common-Case Computation: A High-Level Technique for Power and Performance Optimization
1999	DAC	Improving the Test Quality for Scan-Based BIST Using a General Test Application Scheme
1999	DATE	Symbolic Functional Vector Generation for VHDL Specifications
1999	DATE	A CAD Framework for Generating Self-Checking 1 Multipliers Based on Residue Codes
1999	ESOP	Deterministic Expressions in C
1999	ICCV	Euclidean Reconstruction and Reprojection up to Subgroups
1999	ICCV	A Theory of Shape by Space Carving
1999	ICML	Least-Squares Temporal Difference Learning
1999	ICRA	Photo-Plethysmograph Nail Sensors for Measuring Finger Forces Without Haptic Obstruction: Modeling and Experimentation
1999	ICRA	Telemetric Robot Skin
1999	ICRA	A Fast and Accurate Sonar-ring Sensor for a Mobile Robot
1999	IJCAI	Learning in Natural Language
1999	IJCAI	A Distributed Case-Based Reasoning Application for Engineering Sales Support
1999	INFOCOM	Bandwidth Sharing: Objectives and Algorithms
1999	INTERSPEECH	Unsupervised training of a speech recognizer: recent experiments
1999	INTERSPEECH	Combining nonlocal, syntactic and n-gram dependencies in language modeling
1999	INTERSPEECH	Multi-level decision trees for static and dynamic pronunciation models
1999	ITC	Current Ratios: A Self-Scaling Technique for Production IDDQ Testing
1999	ITC	Logic BIST for Large Industrial Designs: Real Issues and Case Studies