Wei Li

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

PenShaft: Enabling Pen Shaft Detection and Interaction for Touchscreens.

[BibT_eX]

[DOI]

Proceedings of the AH 2021: 12th Augmented Human International Conference, 2021

2020

Tent Mode Interactions: Exploring Collocated Multi-User Interaction on a Foldable Device.

[BibT_eX]

[DOI]

Gazelle Saniee-Monfared

Proceedings of the MobileHCI '20: 22nd International Conference on Human-Computer Interaction with Mobile Devices and Services, 2020

Towards Efficient Coarse-to-Fine Networks for Action and Gesture Recognition.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

Weight Excitation: Built-in Attention Mechanisms in Convolutional Neural Networks.

[BibT_eX]

[DOI]

Niamul Quader

Md Mafijul Islam Bhuiyan

Juwei Lu

Peng Dai

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

Hand-Over-Face Input Sensing for Interaction with Smartphones through the Built-in Camera.

[BibT_eX]

[DOI]

Mona Hosseinkhani Loorak

Proceedings of the 21st International Conference on Human-Computer Interaction with Mobile Devices and Services, 2019

Exploring Cross-Modal Training via Touch to Learn a Mid-Air Marking Menu Gesture Set.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Human-Computer Interaction with Mobile Devices and Services, 2019

HCI in China: Research Agenda, Education Curriculum, Industry Partnership, and Communities Building.

[BibT_eX]

[DOI]

Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2016

Automated transformation of design text ROM diagram into SysML models.

[BibT_eX]

[DOI]

Adv. Eng. Informatics, 2016

Convolutional Neural Networks for Steady Flow Approximation.

[BibT_eX]

[DOI]

Xiaoxiao Guo

Francesco Iorio

Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

Four-Bar Linkage Synthesis Using Non-convex Optimization.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Deploying CommunityCommands: A Software Command Recommender System Case Study.

[BibT_eX]

[DOI]

Justin Matejka

AI Mag., 2015

2014

CADament: a gamified multiplayer software tutorial system.

[BibT_eX]

[DOI]

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

2013

TutorialPlan: Automated Tutorial Generation from CAD Drawings.

[BibT_eX]

[DOI]

Yuanlin Zhang

Proceedings of the IJCAI 2013, 2013

2012

GamiCAD: a gamified tutorial system for first time autocad users.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, 2012

2011

Design and evaluation of a command recommendation system for software applications.

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2011

Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference.

[BibT_eX]

[DOI]

Pascal Poupart

J. Artif. Intell. Res., 2011

TwitApp: in-product micro-blogging for design sharing.

[BibT_eX]

[DOI]

Justin Matejka

Proceedings of the 24th Annual ACM Symposium on User Interface Software and Technology, 2011

Searching for software learning resources using application context.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual ACM Symposium on User Interface Software and Technology, 2011

2010

Exploiting Structure in Backtracking Algorithms for Propositional and Probabilistic Reasoning.

[BibT_eX]

[DOI]

PhD thesis, 2010

2009

CommunityCommands: command recommendations for software applications.

[BibT_eX]

[DOI]

Justin Matejka

Proceedings of the 22nd Annual ACM Symposium on User Interface Software and Technology, 2009

2008

Exploiting Causal Independence Using Weighted Model Counting.

[BibT_eX]

[DOI]

Pascal Poupart

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2006

Performing Incremental Bayesian Inference by Dynamic Model Counting.

[BibT_eX]

[DOI]

Pascal Poupart

Proceedings of the Proceedings, 2006

2004

Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT.

[BibT_eX]

[DOI]