计算机会议最佳论文整理
jopen
10年前
从1996年以来的计算机Top会议最佳论文整理，持续更新中。本文是wiki页面，大家可以自由提交编辑。
会议索引： AAAI ACL CHI CIKM CVPR FOCS FSE ICCV ICML ICSE IJCAI INFOCOM KDD MOBICOM NSDI OSDI PLDI PODS S&P SIGCOMM SIGIR SIGMETRICS SIGMOD SODA SOSP STOC UIST VLDB WWW
AAAI (Artificial Intelligence)
2014
2013
- HC-Search: Learning Heuristics and Cost Functions for Structured Prediction3
- SMILe: Shuf?ed Multiple-Instance Learning
2012
- Learning SVM Classifiers with Indefinite Kernels1
- Document Summarization Based on Data Reconstruction
2011
- Dynamic Resource Allocation in Conservation Planning
- Complexity of and Algorithms for Borda Manipulation1
2010
- How Incomplete Is Your Semantic Web Reasoner? Systematic Analysis of the Completeness of Query Ans...
- A Novel Transition Based Encoding Scheme for Planning as Satisfiability
2008
2007
- PLOW: A Collaborative Task Learning Agent
- Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games
2006
2005
2004
2002
2000
1999
1998
- Learning Evaluation Functions for Global Optimization and Boolean Satisfiability
- Acceleration Methods for Numeric CSPs
- The Interactive Museum Tour-Guide Robot
1997
- Statistical Parsing with a Context-Free Grammar and Word Statistics
- A Practical Algorithm for Finding Optimal Triangulations
- Fast Context Switching in Real-Time Propositional Reasoning
- Building Concept Representations from Reusable Components
1996
- Verification of Knowledge Bases Based on Containment Checking
- A Novel Application of Theory Refinement to Student Modeling
- Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
ACL (Natural Language Processing)
2014
2013
2012
2011
2010
2009
- Reinforcement Learning for Mapping Instructions to Actions
- K-Best A* Parsing
- Concise Integer Linear Programming Formulations for Dependency Parsing
2008
- Forest Reranking: Discriminative Parsing with Non-Local Features
- A New String-to-Dependency Machine Translation Algorithm with a Target Dependency Language Model
2007
2006
2005
2004
2003
2002
2001
- Immediate-Head Parsing for Language Models
- Fast Decoding and Optimal Decoding for Machine Translation
CHI (Human-Computer Interaction)
2014
- Growing Closer on 非死book: Changes in Tie Strength Through Social Network Site Use
- Duet: Exploring Joint Interactions on a Smart Phone and a Smart Watch
- RetroDepth: 3D Silhouette Sensing for High-Precision Input On and Above Physical Surfaces
- Estimating the Social Costs of Friendsourcing
- Human Values in Curating a Human Rights Media Archive
- Effects of Display Size and Navigation Type on a Classification Task
- Towards Accurate and Practical Predictive Models of Active-Vision-Based Visual Search
- Real-time Feedback for Improving Medication Taking
- Making Sustainability Sustainable: Challenges in the Design of Eco-Interaction Technologies
- Consumed Endurance: A Metric to Quantify Arm Fatigue of Mid-Air Interactions
- Type-Hover-Swipe in 96 Bytes: A Motion Sensing Mechanical Keyboard
- Structured Labeling for Facilitating Concept Evolution in Machine Learning
- Emerging Sites of HCI Innovation: Hackerspaces, Hardware Startups & Incubators
- MixFab: a Mixed-Reality Environment for Personal Fabrication
- Designing for Slowness, Anticipation and Re-visitation: A Long Term Field Study of the Photobox
- "Narco" Emotions: Affect and Desensitization in Social Media during the Mexican Drug War
- Understanding Multitasking Through Parallelized Strategy Exploration and Individualized Cognitive ...
2013
- Labor Dynamics in a Mobile Micro-Task Market
- What is "Critical" About Critical Design?
- SPRWeb: Preserving Subjective Responses to Website Colour Schemes through Automatic Recolouring
- LaserOrigami: Laser-Cutting 3D Objects
- Mind the Theoretical Gap: Interpreting, Using, and Developing Behavioral Theory in HCI Research
- Screenfinity: Extending the Perception Area of Content on Very Large Public Displays
- Reasons to Question Seven Segment Displays
- Improving Navigation-Based File Retrieval
- The Dubuque Electricity Portal: Evaluation of a City-Scale Residential Electricity Consumption Fee...
- At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures
- Job Opportunities through Entertainment: Virally Spread Speech-Based Services for Low-Literate Users
- IllumiRoom: Peripheral Projected Illusions for Interactive Experiences
- The Efficacy of Human Post-Editing for Language Translation
- Analyzing User-Generated 油Tube Videos to Understand Touchscreen Use by People with Motor Impairm...
- Turkopticon: Interrupting Worker Invisibility in Amazon Mechanical Turk
- Webzeitgeist: Design Mining the Web
- Weighted Graph Comparison Techniques for Brain Connectivity Analysis
- The Many Faces of 非死book: Experiencing Social Media as Performance, Exhibition, and Personal Arc...
2012
- Uncomfortable Interactions
- ClayVision: The (Elastic) Image of the City
- Revisiting the Jacquard Loom: Threads of History and Current Patterns in HCI
- Personas and Decision Making in the Design Process: An Ethnographic Case Study
- Detecting Error-Related Negativity for Interaction Design
- Observational and Experimental Investigation of Typing Behaviour using Virtual Keyboards for Mobil...
- Looking Glass: A Field Study on Noticing Interactivity of Shop Windows
- Touché: Enhancing Touch Interaction on Humans, Screens, Liquids, and Everyday Objects
- Affordances in HCI: Toward a Mediated Action Perspective
- Using Rhythmic Patterns as an Input Method
- The Normal Natural Troubles of Driving with GPS
- Communitysourcing: Engaging Local Crowds to Perform Expert Work Via Physical Kiosks
- Improving Command Selection with CommandMaps
- Empathy, Participatory Design and People with Dementia
2011
- Usable Gestures for Blind People: Understanding Preference and Performance
- Effects of Community Size and Contact Rate in Synchronous Social Q&A
- Teenagers and Their Virtual Possessions: Design Opportunities and Issues
- Enhancing Physicality in Touch Interaction with Programmable Friction
- Mid-air Pan-and-Zoom on Wall-sized Displays
- Bricolage: Example-Based Retargeting for Web Design
- Synchronous Interaction Among Hundreds: An Evaluation of a Conference in an Avatar-based Virtual E...
- In the Shadow of Misperception: Assistive Technology Use and Social Interactions
- Why is My Internet Slow?: Making Network Speeds Visible
- Ease of Juggling: Studying the Effects of Manual Multitasking
- Automics: souvenir generating photoware for theme parks
- Your Noise is My Command: Sensing Gestures Using the Body as an Antenna
- Review Spotlight: A User Interface for Summarizing User-generated Reviews Using Adjective-Noun Wor...
2010
- Lumino: Tangible Blocks for Tabletop Computers Based on Glass Fiber Bundles
- Mapping the Landscape of Sustainable HCI
- Occlusion-Aware Interfaces
- Avaaj Otalo — A Field Study of an Interactive Voice Forum for Small Farmers in Rural India
- How does search behavior change as search becomes more difficult?
- The Tower of Babel Meets Web 2.0: User-Generated Content and its Applications in a Multilingual Co...
- Skinput: Appropriating the Body as an Input Surface
- Mobile-izing Health Workers in Rural India
- The Design of Eco-Feedback Technology
- Feminist HCI: Taking Stock and Outlining an Agenda for Design
- Prefab: Implementing Advanced Behaviors Using Pixel-Based Reverse Engineering of Interface Structure
- Useful Junk? The Effects of Visual Embellishment on Comprehension and Memorability of Charts
2009
- From Interaction to Trajectories: Designing Coherent Journeys Through User Experiences
- Sizing the Horizon: The Effects of Chart Size and Layering on the Graphical Perception of Time Ser...
- Predicting Tie Strength With Social Media
- Musink: Composing Music through Augmented Drawing
- Social Immersive Media: Pursuing Best Practices for Multi-user Interactive Camera/Projector Exhibits
- Ephemeral Adaptation: The Use of Gradual Onset to Improve Menu Selection Performance
- Undo and Erase Events as Indicators of Usability Problems
2008
- In-Car GPS Navigation: Engagement with and Disengagement from the Environment
- Improving the Performance of Motor-Impaired Users with Automatically-Generated, Ability-Based Inte...
- Large Scale Analysis of Web Revisitation Patterns
- Designs on Dignity: Perceptions of Technology Among the Homeless
- The Network in the Garden: An Empirical Analysis of Social Media in Rural Life
- Multimodal collaborative handwriting training for visually-impaired people
- An Error Model for Pointing Based on Fitts' Law
2007
- Multiview: improving trust in group video conferencing through spatial faithfulness
- Software or wetware?: discovering when and why people use digital prosthetic memory
- Shift: a technique for operating pen-based interfaces using touch
- Authoring sensor-based interactions by demonstration with direct manipulation and pattern recognit...
- Sustainable interaction design: invention & disposal, renewal & reuse
- Consuming video on Mobile devices
2006
- Trackball text entry for people with motor impairments
- Embedded phenomena: supporting science learning with classroom-sized distributed simulations
- A role for haptics in mobile interaction: initial design using a handheld tactile display prototype
2005
- Making space for stories: ambiguity in the design of personal communication systems
- Examining Task Engagement in Sensor-Based Statistical Models of Human Interruptibility
- Designing the spectator experience
- The bubble cursor: enhancing target acquisition by dynamic resizing of the cursor's activation area
CIKM (Knowledge Management)
2013
2012
2011
2010
- MENTA: Inducing Multilingual Taxonomies from Wikipedia
- FACeTOR: cost-driven exploration of faceted query results
2009
2008
2007
2006
- Discovering and Exploiting Keyword and Attribute-Value Co-occurrences to Improve P2P Routing Indices
2005
2004
CVPR (Computer Vision)
2014
2013
2012
2011
2010
2009
2008
- Global Stereo Reconstruction under Second Order Smoothness Priors
- Beyond Sliding Windows: Object Localization by Efficient Subwindow Search
2007
2006
2005
2004
2003
2001
2000
FOCS (Theory)
2013
2012
- A multi-prover interactive proof for NEXP sound against entangled provers
- A Polylogarithimic Approximation Algorithm for Edge-Disjoint Paths with Congestion 2
2011
- A Randomized Rounding Approach to the Traveling Salesman Problem
- A Polylogarithmic-Competitive Algorithm for the k-Server Problem
- Approximating Graphic TSP by Matchings
2010
- Approximation Algorithms for the Edge-Disjoint Paths Problem via Raecke Decompositions
- Subexponential Algorithms for Unique Games and Related Problems
- Computational Transition at the Uniqueness Threshold
2008
2007
2006
2005
- The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative Type M...
- Correcting Errors Beyond the Guruswami-Sudan Radius in Polynomial Time
2004
2003
2002
- A Dichotomy Theorem for Constraints on a Three-Element Set
- Minimizing Congestion in General Networks
- Constant-Round Coin-Tossing with a Man in the Middle or Realizing the Shared Random String Model
FSE (Software Engineering)
2012
- Seeking the Ground Truth: A Retroactive Study on the Evolution and Migration of Software Libraries
- Scalable Test Data Generation from Multidimensional Models
- Assessing the Value of Branches with What-if Analysis
2011
2010
- Creating and evolving developer documentation: understanding the decisions of open source contribu...
- Developer Fluency: Achieving True Mastery in Software Projects
- Staged Concurrent Program Analysis
2009
- Asserting and checking determinism for multithreaded programs
- Darwin: an approach for debugging evolving programs
- Graph-based Mining of Multiple Object Usage Patterns
2008
2007
- Automatic consistency assessment for query results in dynamic environments
- Globally distributed software development project performance: an empirical analysis
- Mining specifications of malicious behavior
- Object and reference immutability using Java generics
2006
- Controlling factors in evaluating path-sensitive error detection techniques
- SYNERGY: a new algorithm for property checking
2005
- Automatic Generation of Suggestions for Program Investigation
- CUTE: a concolic unit testing engine for C
- Context- and path-sensitive memory leak detection
2004
- Reasoning about partial goal satisfaction for requirements and design engineering
- A classification system and analysis for aspect-oriented programs
2003
- Eliminating redundancies with a "composition with adaptation" meta-programming technique
- A Family of Test Adequacy Criteria for Database-Driven Applications
- Predicting problems caused by component upgrades
2002
ICCV (Computer Vision)
2013
2011
2009
2007
2005
2003
- Detecting Pedestrians using Patterns of Motion and Appearance
- Image Parsing: Unifying Segmentation, Detection and Recognition
- Image-based Rendering using Image-based Priors
2001
1999
1998
- Self-Calibration and Metric Reconstruction in spite of Varying and Unknown Internal Camera Paramet...
- The Problem of Degeneracy in Structure and Motion Recovery from Uncalibrated Image Sequences
ICML (Machine Learning)
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
1999
ICSE (Software Engineering)
2014
- Characterizing and Detecting Performance Bugs for Smartphone Applications
- Improving Automated Source Code Summarization via an Eye-Tracking Study of Programmers
- Understanding JavaScript Event-Based Interactions
- Coverage Is Not Strongly Correlated with Test Suite Effectiveness
- Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Softw...
- Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs
- Unit Test Virtualization with VMVM
- Enhancing Symbolic Execution with Veritesting
- A Study and Toolkit for Asynchronous Programming in C#
2013
- Dual Ecological Measures of Focus in Software Development
- Data Clone Detection and Visualization in Spreadsheets
- UML in Practice
- Automatic patch generation learned from human-written patches
- Assisting Developers of Big Data Analytics Applications When Deploying on Hadoop Clouds
- Interaction-Based Test-Suite Minimization
2012
- Understanding Integer Overflow in C/C++
- Using Dynamic Analysis to Discover Polynomial and Array Invariants
- Amplifying Tests to Validate Exception Handling Code
- Partial Models: Towards Modeling and Reasoning with Uncertainty
- How Do Professional Developers Comprehend Software?
- A Tactic-Centric Approach for Automating Traceability of Quality Concerns
- Automated Detection of Client-State Manipulation Vulnerabilities
2011
- Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking
- Configuring Global Software Teams: A Multi-Company Analysis of Project Productivity, Quality, and ...
- Programs, tests, and oracles: the foundations of testing revisited
- On-demand Feature Recommendations Derived from Mining Public Product Descriptions
- Run-Time Efficient Probabilistic Model Checking
2010
- A Machine Learning Approach for Tracing Regulatory Codes to Product Specific Requirements
- Collaborative Reliability Prediction of Service-Oriented Systems
- A Cut-off Approach for Bounded Verification of Parameterized Systems
- Test Generation through Programming in UDITA
- A Degree-of-Knowledge Model to Capture Source Code Familiarity
2009
- How We Refactor, and How We Know It
- Effective Static Deadlock Detection
- Invariant-Based Automatic Testing of AJAX User Interfaces
- Does Distributed Development Affect Software Quality? An Empirical Case Study of Windows Vista
- Automatically finding patches using genetic programming
2008
- Precise memory leak detection for java software using container profiling
- Debugging reinvented: asking and answering why and why not questions about program behavior
- Recommending adaptive changes for framework evolution
- Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach
- The effect of program and model structure on mc/dc test adequacy coverage
2007
- Refactoring for Parameterizing Java Classes
- Tracking Code Clones in Evolving Software
- Matching and Merging of Statecharts Specifications
- Predicting Faults from Cached History
2006
2005
- Eliciting Design Requirements for Maintenance-Oriented IDEs: A Detailed Study of Corrective and Pe...
- Is Mutation an Appropriate Tool for Testing Experiments?
- Using Structural Context to Recommend Source Code Examples
- Data Structure Repair Using Goal-Directed Reasoning
2004
- SNIAFL: Towards a Static Non-Interactive Approach to Feature Location
- Extending the REpresentational State Transfer (REST) Architectural Style for Decentralized Systems
- An Empirical Study of Software Reuse vs. Defect-Density and Stability
- A Tool for Writing and Debugging Algebraic Specifications
- Static Checking of Dynamically Generated Queries in Database Applications
2003
IJCAI (Artificial Intelligence)
2013
- Bayesian Optimization in High Dimensions via Random Embeddings1
- Flexibility and Decoupling in the Simple Temporal Problem
2011
- Unweighted Coalitional Manipulation Under the Borda Rule is NP-Hard
- Nested Rollout Policy Adaptation for Monte Carlo Tree Search
- On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
2009
- Consequence-Driven Reasoning for Horn SHIQ Ontologies
- Learning Conditional Preference Networks with Queries
2007
- Automated Heart Wall Motion Abnormality Detection From Ultrasound Images using Bayesian Networks
- Building Structure into Local Search for SAT
- Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Pro...
2005
- Learning Coordination Classifiers
- Solving Checkers
- A Probabilistic Model of Redundancy in Information Extraction
2003
- Approximating Game-Theoretic Optimal Strategies for Full-scale Poker
- Thin Junction Tree Filters for Simultaneous Localization and Mapping
2001
1999
- Learning in Natural Language
- A Distributed Case-Based Reasoning Application for Engineering Sales Support
1997
- Object Identification in a Bayesian Context
- Translingual Information Retrieval: A Comparative Evaluation
- Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolo...
INFOCOM (Networking)
2014
- Joint Static and Dynamic Traffic Scheduling in Data Center Networks
- Performance Evaluation and Asymptotics for Content Delivery Networks
2013
2012
2011
2010
2009
2008
- On the Feasibility of the Link Abstraction in (Rural) Mesh Networks
- Theoretical Results on Base Station Movement Problem for Sensor Networks
- Understanding the Capacity Region of the Greedy Maximal Scheduling Algorithm in Multi-hop Wireless...
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1996
KDD (Data Mining)
2013
2012
2011
2010
- Large linear classification when data cannot fit in memory
- Connecting the dots between news articles
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
MOBICOM (Mobile)
2013
2012
2011
- Detecting Driver Phone Use Leveraging Car Speakers
- E-MiLi: Energy-Minimizing Idle Listening in Wireless Networks
2010
2009
2008
NSDI (Networking)
2014
2013
2012
2011
- Design, Implementation and Evaluation of Congestion Control for Multipath TCP
- ServerSwitch: A Programmable and High Performance Platform for Data Center Networks
2010
2009
- Sora: High Performance Software Radio Using General Purpose Multi-core Processors
- TrInc: Small Trusted Hardware for Large Distributed Systems
2008
- Remus: High Availability via Asynchronous Virtual Machine Replication
- Consensus Routing: The Internet as a Distributed System
2007
2006
- Experience with an Object Reputation System for Peer-to-Peer Filesharing
- Replay Debugging for Distributed Applications
2005
2004
OSDI (Operating Systems)
2012
2010
- Efficient System-Enforced Deterministic Parallelism
- The Turtles Project: Design and Implementation of Nested Virtualization
2008
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
- Difference Engine: Harnessing Memory Redundancy in Virtual Machines
- DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Lan...
2006
2004
2002
2000
1999
1996
- Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications
- Safe Kernel Extensions Without Run-Time Checking
PLDI (Programming Languages)
2013
- Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many ...
- A General Constraint-centric Scheduling Framework for Spatial Architectures
- Reconciling Exhaustive Pattern Matching with Objects
- CLAP: Recording Local Executions to Reproduce Concurrency Failures
2012
2011
2010
2009
2007
- Fault-tolerant Typed Assembly Language
- The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code
2005
- Automatic Pool Allocation: Improving Performance by Controlling Data Structure Layout in the Heap
- Programming by Sketching for Bit-Streaming Programs
2004
2003
2000
1999
PODS (Databases)
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
- On the complexity of division and set joins in the relational algebra
- XML data exchange: consistency and query answering
2004
2003
2002
2001
2000
1999
1998
- A lower bound theorem for indexing schemes and its application to multidimensional range queries
- Expressiveness of structured document query languages based on attribute grammars
1997
S&P (Security and Privacy)
2014
- Bootstrapping Privacy Compliance in Big Data Systems
- Secure Multiparty Computations on BitCoin Marcin Andry
2013
2012
2011
2010
2009
2008
SIGCOMM (Networking)
2014
- Balancing Accountability and Privacy in the Network
- CONGA: Distributed Congestion-Aware Load Balancing for Datacenters
2013
2012
2011
2010
2009
2008
SIGIR (Information Retrieval)
2014
2013
2012
2011
- Find It If You Can: A Game for Modeling Different Types of Web Search Success Using Interaction Data
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
SIGMETRICS (Performance)
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
1996
- Supporting stored video: reducing rate variability and end-to-end resource requirements through op...
- Exploiting process lifetime distributions for dynamic load balancing
SIGMOD (Databases)
2014
2013
2012
2011
2010
2009
2008
- Serializable isolation for snapshot databases
- Scalable Network Distance Browsing in Spatial Databases
2007
- Compiling mappings to bridge applications and databases
- Scalable Approximate Query Processing with the DBO Engine
2006
2004
2003
2001
2000
1999
1998
- Efficient transparent application recovery in client-server information systems
- Integrating association rule mining with relational database systems: alternatives and implications
1997
1996
SODA (Theory)
2014
- Polynomiality for Bin Packing with a Constant Number of Item Types
- An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommod...
2013
- A Simple Algorithm for the Graph Minor Decomposition - Logic meets Structural Graph Theory
- Dynamic graph connectivity in polylogarithmic worst case time
2012
2011
2010
2009
SOSP (Operating Systems)
2013
- Towards optimization-safe systems: analyzing the impact of undefined behavior
- Naiad: A Timely Data?ow System
- The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
2011
- A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications
- Cells: A Virtual Mobile Smartphone Architecture
2009
- FAWN: A Fast Array of Wimpy Nodes
- seL4: Formal Verification of an OS Kernel
- RouteBricks: Exploiting Parallelism to Scale Software Routers
2007
- Zyzzyva: speculative byzantine fault tolerance
- Sinfonia: a new paradigm for building scalable distributed systems
- Secure Web Applications via Automatic Partitioning
2005
- Speculative Execution in a Distributed File System
- BAR Tolerance for Cooperative Services
- Rx: treating bugs as allergies - a safe method to survive software failures
- Vigilante: End-to-End Containment of Internet Worms
2003
- Backtracking intrusions
- Preserving peer replicas by rate-limited sampled voting
- Improving the Reliability of Commodity Operating Systems
2001
- BASE: using abstraction to improve fault tolerance
- Untrusted hosts and confidentiality: secure program partitioning
1999
- Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors
- Soft timers: efficient microsecond software timer support for network processing
- The Click modular router
- Manageability, availability and performance in Porcupine: a highly scalable, cluster-based mail se...
1997
- Continuous profiling: where have all the cycles gone?
- Disco: running commodity operating systems on scalable multiprocessors
- Eraser: a dynamic data race detector for multithreaded programs
STOC (Theory)
2014
2013
- Approximation Resistance from Pairwise Independent Subgroups
- Low Rank Approximation and Regression in Input Sparsity Time
2012
- Linear vs. Semidefinite Extended Formulations: Exponential Separation and Strong Lower Bounds
- The Cell Probe Complexity of Dynamic Range Counting
2011
- Electrical flows, laplacian systems, and faster approximation of maximum flow in undirected graphs
- Subexponential lower bounds for randomized pivoting rules for the simplex algorithm
2010
2009
- A constructive proof of the Lovász local lemma
- Public-Key Cryptosystems from the Worst-Case Shortest Vector Problem
2008
- Optimal algorithms and inapproximability results for every CSP?
- Optimal hierarchical decompositions for congestion minimization in networks
2007
2006
2005
2004
- Multi-linear formulas for permanent and determinant are of super-polynomial size
- Expander flows, geometric embeddings and graph partitioning
2003
- Derandomizing polynomial identity tests means proving circuit lower bounds
- New lattice-based cryptographic constructions
UIST (User Interface)
2013
- PneUI: Pneumatically Actuated Soft Composite Materials for Shape Changing Interfaces
- Touch & Activate: Adding Interactivity to Existing Objects using Active Acoustic Sensing
- Fiberio: A Touchscreen that Senses Fingerprints
2012
- CrowdScape: interactively visualizing user behavior and output
- Cliplets: juxtaposing still and dynamic imagery
- Jamming User Interfaces: Programmable Particle Stiffness and Sensing for Malleable and Shape-Chang...
2011
2010
2009
2008
2007
2006
2005
2004
- Multi-Finger Gestural Interaction with 3D Volumetric Displays
- CrossY: A Crossing-Based Drawing Application
2003
2002
2001
2000
1996
VLDB (Databases)
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2001
1997
WWW (World Wide Web)
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
- Scaling personalized web search
- SemTag and seeker: bootstrapping the semantic web via automated semantic annotation
2002
2001
2000
1999
1998
其他
- NIPS论文列表
- 计算机视觉(CV)顶级论文
- PAMI 期刊的paper list
- 人脸方面资料网站，基本囊括了人脸识别方面的方法
来自：http://suanfazu.com/t/ji-suan-ji-hui-yi-zui-jia-lun-wen-zheng-li/138