Autodesk Research

Publications

Papers — 2011

Searching for Software Learning Resources using Application Context

Michael Ekstrand, Wei Li, Tovi Grossman, Justin Matejka & George Fitzmaurice. (2011).
Searching for Software Learning Resources using Application Context
UIST 2011 Conference Proceedings:
ACM Symposium on User Interface Software & Technology.
pp. 195-204.

Download PDF | Details

TwitApp: In-product Micro-Blogging for Design Sharing

Wei Li, Tovi Grossman, Justin Matejka & George Fitzmaurice. (2011).
TwitApp: In-product Micro-Blogging for Design Sharing
UIST 2011 Conference Proceedings:
ACM Symposium on User Interface Software & Technology.
pp. 185-194.

Download PDF | Watch Video | Details

Design and Evaluation of a Command Recommendation System for Software Applications.

Wei Li, Justin Matejka, Tovi Grossman, Joe Konstan & George Fitzmaurice. (2011).
Design and Evaluation of a Command Recommendation System for Software Applications.
ACM Transactions on Computer-Human Interaction.
June 2011, Volume 18, Issue 2, Article 6.
38 pages.

Download PDF | Watch Video | Details

Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference

Wei Li, Pascal Poupart & Peter Van Beek. (2011).
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference
Journal of Artificial Intelligence Research.
April 2011, Volume 40.
pp. 729-765.

Download PDF | Details

Papers — 2009

CommunityCommands: Command Recommendations for Software Applications

Justin Matejka, Wei Li, Tovi Grossman & George Fitzmaurice. (2009).
CommunityCommands: Command Recommendations for Software Applications
UIST 2009 Conference Proceedings:
ACM Symposium on User Interface Software & Technology.
pp. 193-202.

Download PDF | Details

Papers — 2008

Exploiting Causal Independence Using Weighted Model Counting

Wei Li, Pascal Poupart & Peter Van Beek. (2008).
Exploiting Causal Independence Using Weighted Model Counting
AAAI 2008 Conference Proceedings:
AAAI Conference on Artificial Intelligence.
pp. 337 - 343.

Download PDF | Details

Papers — 2006

Performing Incremental Bayesian Inference by Dynamic Model Counting

Wei Li, Peter Van Beek & Pascal Poupart. (2006).
Performing Incremental Bayesian Inference by Dynamic Model Counting
AAAI 2006 Conference Proceedings:
AAAI Conference on Artificial Intelligence.
pp. 1173-1179.

Download PDF | Details

Papers — 2004

Guiding Real-world SAT Solving with Dynamic Hypergraph Separator Decomposition

Wei Li & Peter Van Beek. (2004).
Guiding Real-world SAT Solving with Dynamic Hypergraph Separator Decomposition
ICTAI 2004 Conference Proceedings:
IEEE International Conference on Tools with Artificial Intelligence.
pp. 542-548.

Download PDF | Details


All Text and Imagery Copyright © 2010 Autodesk, Inc. All Rights Reserved.