Languages
Pages
Legal
Explore all categories to find your favorite topic
HDAAR_9864967 1..10This is an electronic reprint of the original article. This reprint may differ from the original in pagination and typographic detail. Powered by TCPDF
Copyright by Xinyu Wang 2019 The Dissertation Committee for Xinyu Wang certifies that this is the approved version of the following dissertation: An Efficient Programming-by-Example…
Copyright by Xinyu Wang 2019 The Dissertation Committee for Xinyu Wang certifies that this is the approved version of the following dissertation: An Efficient Programming-by-Example…
1 Program Synthesis using Abstraction Refinement XINYU WANG University of Texas at Austin USA ISIL DILLIG University of Texas at Austin USA RISHABH SINGHMicrosoft Research…
Towards Optimal Concolic Testing Xinyu Wang Zhejiang University wangxinyu@zjueducn Jun Sun Singapore U of Tech and Design sunjun@sutdedusg Zhenbang Chen National U of Defense…
affine-invariant properties ARCHMEs Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree of
Statistical Science 2020 Vol 35 No 1 51–74 https:doiorg10121419-STS745 © Institute of Mathematical Statistics 2020 Quantum Science and Quantum Technology Yazhen Wang and…
63 Program Synthesis using Abstraction Refinement XINYU WANG University of Texas at Austin USA ISIL DILLIG University of Texas at Austin USA RISHABH SINGHMicrosoft Research…
Topic Retrieval and Articles Recommendation Yu Wang Xinyu Shen Jinzhi Wang Motivation Data Preprocessing For a paper of interest looking for more papers with similar topic…
EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties Yu Feng, Xinyu Wang, Isil Dillig and Calvin Lin UT Austin 1 Motivation 2 Many problems…
Argument Generation with Retrieval, Planning, and Realization Xinyu Hua, Zhe Hu, and Lu Wang Khoury College of Computer Sciences Northeastern University Boston, MA 02115…
Neural Argument Generation Augmented with Externally Retrieved Evidence Xinyu Hua and Lu Wang College of Computer and Information Science Northeastern University Boston,…
201639 現在 大会開催概要 2016 コーセー・チームチャレンジカップ 報道資料 ●公式サイト● http:wwwteamchallengecupcom （English） http:jpteamchallengecupcom…
2013 IEEE 10th Consumer Communications and Networking Conference CCNC 2013 Las Vegas, Nevada, USA 11 - 14 January 2013 CCNC 2013- Work-in-Progress: The 10th Annual IEEE CCNC-Work-in-Progress…
鑫宇家居企业视觉形象识别系统 VISUAL IDENTITY OF XINYU HOME VERSION 1.0 ｜ MAY 2012 使用向导 本手册附有完稿光盘，其中包括品牌标志、辅助图形、文具等设计文件，格式…
1 ARCHITECTURE DESIGN STUDIO: EARTH S1, 2015 SUBJECT STUDENT BOOK XINYU TAN (706718) Heather Mitcheltree + Studio 19 2 3 RENDER BY XINYU TAN, 2016 4 5 1.0 THREE RELATIONSHIPS…
How to Bid the Cloud HOW TO BID THE CLOUD Liang Zheng, Carlee Joe-Wong, Chee Wei Tan, Mung Chiang, and Xinyu Wang SIGCOMM 2015 | London, UK | August 17-21 Cloud Computing…
1 Personality-Aware Probabilistic Map for Trajectory Prediction of Pedestrians Chaochao Li, Pei Lv, Mingliang Xu, Xinyu Wang, Dinesh Manocha, Bing Zhou, and Meng Wang Abstract—We…
The ApolloScape Dataset for Autonomous Driving Xinyu Huang, Xinjing Cheng, Qichuan Geng, Binbin Cao, Dingfu Zhou, Peng Wang, Yuanqing Lin, and Ruigang Yang Baidu Research,…