| 2008 |
|---|
| 81 | EE | Chao Wang,
Hong-bin Chen,
Da-li Du,
Ya-su Xiao,
Hong-jun Sun:
Electrode Structure Optimum for Impedance Measurement of Intraoperative Breast Cancer Focus.
BMEI (2) 2008: 425-429 |
| 80 | EE | Chao Wang,
Zijiang Yang,
Vineet Kahlon,
Aarti Gupta:
Peephole Partial Order Reduction.
TACAS 2008: 382-396 |
| 79 | EE | Chao Wang,
Yijia Fan,
Ioannis Krikidis,
John S. Thompson,
H. Vincent Poor:
Superposition-Coded Concurrent Decode-and-Forward Relaying
CoRR abs/0804.4701: (2008) |
| 78 | EE | Peipei Yin,
Fuchun Sun,
Chao Wang,
Huaping Liu:
An adaptive feature fusion framework for multi-class classification based on SVM.
Soft Comput. 12(7): 685-691 (2008) |
| 2007 |
|---|
| 77 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang:
Generation and Matching of Ontology Data for the Semantic Web in a Peer-to-Peer Framework.
APWeb/WAIM 2007: 136-143 |
| 76 | EE | Chao Wang,
Zijiang Yang,
Aarti Gupta,
Franjo Ivancic:
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.
CAV 2007: 352-365 |
| 75 | EE | Danny Z. Chen,
Mark A. Healy,
Chao Wang,
Xiaodong Wu:
A New Field Splitting Algorithm for Intensity-Modulated Radiation Therapy.
COCOON 2007: 4-15 |
| 74 | EE | Danny Z. Chen,
Mark A. Healy,
Chao Wang,
Bin Xu:
Geometric Algorithms for the Constrained 1-D K -Means Clustering Problems and IMRT Applications.
FAW 2007: 1-13 |
| 73 | EE | Chao Wang,
Aarti Gupta,
Franjo Ivancic:
Induction in CEGAR for Detecting Counterexamples.
FMCAD 2007: 77-84 |
| 72 | EE | Chi-Hung Chi,
Chao Wang:
On-Demand Capacity Framework.
ICA3PP 2007: 314-325 |
| 71 | EE | Chao Wang,
Hyondeuk Kim,
Aarti Gupta:
Hybrid CEGAR: combining variable hiding and predicate abstraction.
ICCAD 2007: 310-317 |
| 70 | EE | Chao Wang,
Venu Satuluri,
Srinivasan Parthasarathy:
Local Probabilistic Models for Link Prediction.
ICDM 2007: 322-331 |
| 69 | EE | Chao Wang,
Frank Mueller,
Christian Engelmann,
Stephen L. Scott:
A Job Pause Service under LAM/MPI+BLCR for Transparent Fault Tolerance.
IPDPS 2007: 1-10 |
| 68 | EE | Chao Wang,
Weijun Chen,
Peipei Yin,
Jianmin Wang:
Semi-supervised Clustering Using Incomplete Prior Knowledge.
International Conference on Computational Science (1) 2007: 192-195 |
| 67 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang:
A Constrained Clustering Approach to Duplicate Detection Among Relational Data.
PAKDD 2007: 308-319 |
| 66 | EE | Zhe Zhang,
Chao Wang,
Sudharshan S. Vazhkudai,
Xiaosong Ma,
Gregory G. Pike,
John W. Cobb,
Frank Mueller:
Optimizing center performance through coordinated data staging, scheduling and recovery.
SC 2007: 55 |
| 65 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang,
Xianyi Zeng:
Creating and Managing Ontology Data on the Web: A Semantic Wiki Approach.
WISE 2007: 513-522 |
| 64 | EE | Chao Wang,
Zijiang Yang,
Franjo Ivancic,
Aarti Gupta:
Disjunctive image computation for software verification.
ACM Trans. Design Autom. Electr. Syst. 12(2): (2007) |
| 63 | EE | Yijia Fan,
Chao Wang,
John S. Thompson,
H. Vincent Poor:
Recovering Multiplexing Loss Through Successive Relaying Using Repetition Coding
CoRR abs/0705.3261: (2007) |
| 62 | EE | Xiangao Huang,
Wei Huang,
Xiaozhou Liu,
Chao Wang,
Zhu jing Wang,
Tao Wang:
Reconstructing the Nonlinear Filter Function of LILI-128 Stream Cipher Based on Complexity
CoRR abs/cs/0702128: (2007) |
| 61 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang:
Mining key information of web pages: A method and its application.
Expert Syst. Appl. 33(2): 425-433 (2007) |
| 60 | EE | Yijia Fan,
Chao Wang,
John Thompson,
H. Vincent Poor:
Recovering Multiplexing Loss through Successive Relaying Using Repetition Coding.
IEEE Transactions on Wireless Communications 6(12): 4484-4493 (2007) |
| 59 | EE | Xiangao Huang,
Wei Huang,
Chao Wang,
ZeJun Lü,
YanHua Hu:
Blind reconnaissance of the pseudo-random sequence in DS/SS signal with negative SNR.
Science in China Series F: Information Sciences 50(3): 510-520 (2007) |
| 2006 |
|---|
| 58 | EE | Chao Wang,
Qiong Yang,
Mo Chen,
Xiaoou Tang,
Zhongfu Ye:
Progressive cut.
ACM Multimedia 2006: 251-260 |
| 57 | EE | Chao Wang,
Zijiang Yang,
Franjo Ivancic,
Aarti Gupta:
Whodunit? Causal Analysis for Counterexamples.
ATVA 2006: 82-95 |
| 56 | EE | Himanshu Jain,
Franjo Ivancic,
Aarti Gupta,
Ilya Shlyakhter,
Chao Wang:
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.
CAV 2006: 137-151 |
| 55 | EE | Shuang Luan,
Chao Wang,
Danny Z. Chen,
Xiaobo Sharon Hu:
A Leaf Sequencing Software for Intensity-Modulated Radiation Therapy.
CBMS 2006: 3-8 |
| 54 | EE | Shuo Wang,
Xiaocao Xiong,
Yan Xu,
Chao Wang,
Weiwei Zhang,
Xiaofeng Dai,
Dongmei Zhang:
Face-tracking as an augmented input in video games: enhancing presence, role-playing and control.
CHI 2006: 1097-1106 |
| 53 | EE | Chao Wang,
Aarti Gupta,
Malay K. Ganai:
Predicate learning and selective theory deduction for a difference logic solver.
DAC 2006: 235-240 |
| 52 | EE | Chao Wang,
Zijiang Yang,
Franjo Ivancic,
Aarti Gupta:
Disjunctive image computation for embedded software verification.
DATE 2006: 1205-1210 |
| 51 | EE | Chao Wang,
Srinivasan Parthasarathy,
Ruoming Jin:
A Decomposition-Based Probabilistic Framework for Estimating the Selectivity of XML Twig Queries.
EDBT 2006: 533-551 |
| 50 | EE | Junwei Tao,
Wei Jiang,
Zan Gao,
Shuang Chen,
Chao Wang:
Palmprint Recognition Based on 2-Dimension PCA.
ICICIC (1) 2006: 326-330 |
| 49 | EE | Chao Wang,
Qiong Yang,
Xiaoou Tang,
Zhongfu Ye:
Salience Preserving Image Fusion with Dynamic Range Compression.
ICIP 2006: 989-992 |
| 48 | EE | Jyothish Varma,
Chao Wang,
Frank Mueller,
Christian Engelmann,
Stephen L. Scott:
Scalable, fault tolerant membership for MPI tasks on HPC systems.
ICS 2006: 219-228 |
| 47 | EE | Chao Wang,
Chi-Hung Chi:
Quantitative Trust Based on Actions.
ICWS 2006: 178-188 |
| 46 | EE | Liang-min Wang,
Jianfeng Ma,
Chao Wang,
A. C. Kot:
Fault and intrusion tolerance of wireless sensor networks.
IPDPS 2006 |
| 45 | EE | Danny Z. Chen,
Chao Wang:
Field Splitting Problems in Intensity-Modulated Radiation Therapy.
ISAAC 2006: 690-700 |
| 44 | EE | Danny Z. Chen,
Xiaobo Sharon Hu,
Shuang Luan,
Ewa Misiolek,
Chao Wang:
Shape Rectangularization Problems in Intensity-Modulated Radiation Therapy.
ISAAC 2006: 701-711 |
| 43 | EE | Chao Wang,
Srinivasan Parthasarathy:
Summarizing itemset patterns using probabilistic models.
KDD 2006: 730-735 |
| 42 | EE | Chao Wang,
Zhen-Qiang Bao,
Chang-Yi Li,
Fang Yang:
Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System.
KSEM 2006: 431-441 |
| 41 | EE | Zijiang Yang,
Chao Wang,
Aarti Gupta,
Franjo Ivancic:
Mixed symbolic representations for model checking software programs.
MEMOCODE 2006: 17-26 |
| 40 | EE | Chao Wang,
Srinivasan Parthasarathy:
Learning Approximate MRFs from Large Transaction Data.
PKDD 2006: 641-649 |
| 39 | EE | Junwei Tao,
Wei Jiang,
Zan Gao,
Shuang Chen,
Chao Wang:
Palmprint Recognition Based on Improved 2DPCA.
PRIMA 2006: 455-462 |
| 38 | EE | Aarti Gupta,
Malay K. Ganai,
Chao Wang:
SAT-Based Verification Methods and Applications in Hardware Verification.
SFM 2006: 108-143 |
| 37 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang:
Integration of Ontology Data through Learning Instance Matching.
Web Intelligence 2006: 536-539 |
| 36 | EE | Jiaping Wang,
Xin Tong,
Stephen Lin,
Minghao Pan,
Chao Wang,
Hujun Bao,
Baining Guo,
Heung-Yeung Shum:
Appearance manifolds for modeling time-variant appearance of materials.
ACM Trans. Graph. 25(3): 754-761 (2006) |
| 35 | EE | Chao Wang,
Roderick Bloem,
Gary D. Hachtel,
Kavita Ravi,
Fabio Somenzi:
Compositional SCC Analysis for Language Emptiness.
Formal Methods in System Design 28(1): 5-36 (2006) |
| 34 | EE | Danny Z. Chen,
Xiaobo Sharon Hu,
Shuang Luan,
Shahid A. Naqvi,
Chao Wang,
Cedric X. Yu:
Generalized Geometric Approaches for Leaf Sequencing Problems in Radiation Therapy.
Int. J. Comput. Geometry Appl. 16(2-3): 175-204 (2006) |
| 33 | EE | Christian Engelmann,
Stephen L. Scott,
David E. Bernholdt,
Narasimha R. Gottumukkala,
Chokchai Leangsuksun,
Jyothish Varma,
Chao Wang,
Frank Mueller,
Aniruddha G. Shet,
P. Sadayappan:
MOLAR: adaptive runtime support for high-end computing operating and runtime systems.
Operating Systems Review 40(2): 63-72 (2006) |
| 32 | EE | Chao Wang,
Stephanie Seneff:
High-quality speech-to-speech translation for computer-aided language learning.
TSLP 3(2): 1-21 (2006) |
| 2005 |
|---|
| 31 | EE | Duygu Ucar,
Srinivasan Parthasarathy,
Sitaram Asur,
Chao Wang:
Effective Pre-Processing Strategies for Functional Clustering of a Protein-Protein Interactions Network.
BIBE 2005: 129-136 |
| 30 | EE | Chao Wang,
Jianfeng Ma,
Jianming Zhu:
Design and Implementation of Survivable Network Systems.
ICIC (2) 2005: 376-385 |
| 29 | EE | Danny Z. Chen,
Xiaobo Sharon Hu,
Shuang (Sean) Luan,
Shahid A. Naqvi,
Chao Wang,
Cedric X. Yu:
Generalized Geometric Approaches for Leaf Sequencing Problems in Radiation Therapy.
ISAAC 2005: 1176-1186 |
| 28 | EE | Chao Wang,
Li Ming Hou,
Yong Fang:
Individual Dimension Gaussian Mixture Model for Speaker Identification.
IWBRS 2005: 172-179 |
| 27 | EE | Ruoming Jin,
Chao Wang,
Dmitrii Polshakov,
Srinivasan Parthasarathy,
Gagan Agrawal:
Discovering frequent topological structures from graph datasets.
KDD 2005: 606-611 |
| 26 | EE | Chao Wang,
Franjo Ivancic,
Malay K. Ganai,
Aarti Gupta:
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.
LPAR 2005: 322-336 |
| 25 | EE | Danny Z. Chen,
Xiaobo Sharon Hu,
Chao Wang,
Xiaodong Wu:
Mountain reduction, block matching, and applications in intensity-modulated radiation therapy.
Symposium on Computational Geometry 2005: 35-44 |
| 24 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang:
A Semantic Classification Approach for Online Product Reviews.
Web Intelligence 2005: 276-279 |
| 23 | EE | Zhiqiang Lin,
Chao Wang,
Bing Mao,
Li Xie:
A policy flexible architecture for secure operating system.
Operating Systems Review 39(3): 24-33 (2005) |
| 22 | EE | Bing Li,
Chao Wang,
Fabio Somenzi:
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.
STTT 7(2): 143-155 (2005) |
| 21 | EE | Stephanie Seneff,
Chao Wang:
Statistical modeling of phonological rules through linguistic hierarchies.
Speech Communication 46(2): 204-216 (2005) |
| 2004 |
|---|
| 20 | EE | Chao Wang,
Jianfeng Ma:
Availability Analysis and Comparison of Different Intrusion-Tolerant Systems.
AWCC 2004: 161-166 |
| 19 | EE | Chao Wang,
HoonSang Jin,
Gary D. Hachtel,
Fabio Somenzi:
Refining the SAT decision ordering for bounded model checking.
DAC 2004: 535-538 |
| 18 | EE | Chao Wang,
Gary D. Hachtel,
Fabio Somenzi:
Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking.
ICCD 2004: 112-118 |
| 17 | EE | Chao Wang,
Srinivasan Parthasarathy:
Parallel algorithms for mining frequent structural motifs in scientific data.
ICS 2004: 31-40 |
| 16 | EE | Danny Z. Chen,
Xiaobo Sharon Hu,
Shuang Luan,
Shahid A. Naqvi,
Chao Wang,
Cedric X. Yu:
Generalized Geometric Approaches for Leaf Sequencing Problems in Radiation Therapy.
ISAAC 2004: 271-281 |
| 15 | EE | Chao Wang,
Yit-Chow Tong:
An improved critical-band transform processor for speech applications.
ISCAS (3) 2004: 461-464 |
| 14 | EE | Matthew Eric Otey,
Srinivasan Parthasarathy,
Chao Wang,
Adriano Veloso,
Wagner Meira Jr.:
Parallel and distributed methods for incremental frequent itemset mining.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(6): 2439-2450 (2004) |
| 13 | EE | Danny Z. Chen,
Xiaobo Sharon Hu,
Shuang (Sean) Luan,
Chao Wang,
Xiaodong Wu:
Geometric algorithms for static leaf sequencing problems in radiation therapy.
Int. J. Comput. Geometry Appl. 14(4-5): 311-339 (2004) |
| 12 | EE | William Y. C. Chen,
Xueliang Li,
Chao Wang,
Xiaoyan Zhang:
The Minimum All-Ones Problem for Trees.
SIAM J. Comput. 33(2): 379-392 (2004) |
| 2003 |
|---|
| 11 | EE | Aarti Gupta,
Malay K. Ganai,
Chao Wang,
Zijiang Yang,
Pranav Ashar:
Abstraction and BDDs Complement SAT-Based BMC in DiVer.
CAV 2003: 206-209 |
| 10 | EE | Aarti Gupta,
Malay K. Ganai,
Chao Wang,
Zijiang Yang,
Pranav Ashar:
Learning from BDDs in SAT-based bounded model checking.
DAC 2003: 824-829 |
| 9 | EE | Grace Chung,
Stephanie Seneff,
Chao Wang:
Automatic Acquisition of Names Using Speak and Spell Mode in Spoken Dialogue Systems.
HLT-NAACL 2003 |
| 8 | EE | Chao Wang,
Gary D. Hachtel,
Fabio Somenzi:
The Compositional Far Side of Image Computation.
ICCAD 2003: 334-341 |
| 7 | EE | Chao Wang,
Bing Li,
HoonSang Jin,
Gary D. Hachtel,
Fabio Somenzi:
Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.
ICCAD 2003: 408-415 |
| 6 | EE | Matthew Eric Otey,
Chao Wang,
Srinivasan Parthasarathy,
Adriano Veloso,
Wagner Meira Jr.:
Mining Frequent Itemsets in Distributed and Dynamic Databases.
ICDM 2003: 617-620 |
| 5 | EE | Danny Z. Chen,
Xiaobo Hu,
Shuang Luan,
Chao Wang,
Xiaodong Wu:
Geometric algorithms for static leaf sequencing problems in radiation therapy.
Symposium on Computational Geometry 2003: 88-97 |
| 4 | EE | Bing Li,
Chao Wang,
Fabio Somenzi:
A satisfiability-based approach to abstraction refinement in model checking.
Electr. Notes Theor. Comput. Sci. 89(4): (2003) |
| 2002 |
|---|
| 3 | | Guo-hua Liu,
Chao Wang,
Bei-le Shi:
Research on the Database-Design Tool for XML.
CAINE 2002: 77-81 |
| 2 | EE | Chao Wang,
Gary D. Hachtel:
Sharp Disjunctive Decomposition for Language Emptiness Checking.
FMCAD 2002: 106-122 |
| 2001 |
|---|
| 1 | EE | Chao Wang,
Roderick Bloem,
Gary D. Hachtel,
Kavita Ravi,
Fabio Somenzi:
Divide and Compose: SCC Refinement for Language Emptiness.
CONCUR 2001: 456-471 |
