Search the dblp DataBase
Chao Wang :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Chao Wang , Zijiang Yang , Franjo Ivancic , Aarti Gupta Whodunit? Causal Analysis for Counterexamples. [Citation Graph (0, 0)][DBLP ] ATVA, 2006, pp:82-95 [Conf ] Chao Wang , Jianfeng Ma Availability Analysis and Comparison of Different Intrusion-Tolerant Systems. [Citation Graph (0, 0)][DBLP ] AWCC, 2004, pp:161-166 [Conf ] Duygu Ucar , Srinivasan Parthasarathy , Sitaram Asur , Chao Wang Effective Pre-Processing Strategies for Functional Clustering of a Protein-Protein Interactions Network. [Citation Graph (0, 0)][DBLP ] BIBE, 2005, pp:129-136 [Conf ] Guo-hua Liu , Chao Wang , Bei-le Shi Research on the Database-Design Tool for XML. [Citation Graph (0, 0)][DBLP ] CAINE, 2002, pp:77-81 [Conf ] Aarti Gupta , Malay K. Ganai , Chao Wang , Zijiang Yang , Pranav Ashar Abstraction and BDDs Complement SAT-Based BMC in DiVer. [Citation Graph (0, 0)][DBLP ] CAV, 2003, pp:206-209 [Conf ] Himanshu Jain , Franjo Ivancic , Aarti Gupta , Ilya Shlyakhter , Chao Wang Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. [Citation Graph (0, 0)][DBLP ] CAV, 2006, pp:137-151 [Conf ] Shuang Luan , Chao Wang , Danny Z. Chen , Xiaobo Sharon Hu A Leaf Sequencing Software for Intensity-Modulated Radiation Therapy. [Citation Graph (0, 0)][DBLP ] CBMS, 2006, pp:3-8 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] CHI, 2006, pp:1097-1106 [Conf ] Danny Z. Chen , Xiaobo Hu , Shuang Luan , Chao Wang , Xiaodong Wu Geometric algorithms for static leaf sequencing problems in radiation therapy. [Citation Graph (0, 0)][DBLP ] Symposium on Computational Geometry, 2003, pp:88-97 [Conf ] Danny Z. Chen , Xiaobo Sharon Hu , Chao Wang , Xiaodong Wu Mountain reduction, block matching, and applications in intensity-modulated radiation therapy. [Citation Graph (0, 0)][DBLP ] Symposium on Computational Geometry, 2005, pp:35-44 [Conf ] Chao Wang , Roderick Bloem , Gary D. Hachtel , Kavita Ravi , Fabio Somenzi Divide and Compose: SCC Refinement for Language Emptiness. [Citation Graph (0, 0)][DBLP ] CONCUR, 2001, pp:456-471 [Conf ] Aarti Gupta , Malay K. Ganai , Chao Wang , Zijiang Yang , Pranav Ashar Learning from BDDs in SAT-based bounded model checking. [Citation Graph (0, 0)][DBLP ] DAC, 2003, pp:824-829 [Conf ] Chao Wang , Aarti Gupta , Malay K. Ganai Predicate learning and selective theory deduction for a difference logic solver. [Citation Graph (0, 0)][DBLP ] DAC, 2006, pp:235-240 [Conf ] Chao Wang , HoonSang Jin , Gary D. Hachtel , Fabio Somenzi Refining the SAT decision ordering for bounded model checking. [Citation Graph (0, 0)][DBLP ] DAC, 2004, pp:535-538 [Conf ] Chao Wang , Zijiang Yang , Franjo Ivancic , Aarti Gupta Disjunctive image computation for embedded software verification. [Citation Graph (0, 0)][DBLP ] DATE, 2006, pp:1205-1210 [Conf ] Chao Wang , Srinivasan Parthasarathy , Ruoming Jin A Decomposition-Based Probabilistic Framework for Estimating the Selectivity of XML Twig Queries. [Citation Graph (0, 0)][DBLP ] EDBT, 2006, pp:533-551 [Conf ] Chao Wang , Gary D. Hachtel Sharp Disjunctive Decomposition for Language Emptiness Checking. [Citation Graph (0, 0)][DBLP ] FMCAD, 2002, pp:106-122 [Conf ] Chao Wang , Gary D. Hachtel , Fabio Somenzi The Compositional Far Side of Image Computation. [Citation Graph (0, 0)][DBLP ] ICCAD, 2003, pp:334-341 [Conf ] Chao Wang , Bing Li , HoonSang Jin , Gary D. Hachtel , Fabio Somenzi Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. [Citation Graph (0, 0)][DBLP ] ICCAD, 2003, pp:408-415 [Conf ] Chao Wang , Gary D. Hachtel , Fabio Somenzi Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. [Citation Graph (0, 0)][DBLP ] ICCD, 2004, pp:112-118 [Conf ] Matthew Eric Otey , Chao Wang , Srinivasan Parthasarathy , Adriano Veloso , Wagner Meira Jr. Mining Frequent Itemsets in Distributed and Dynamic Databases. [Citation Graph (0, 0)][DBLP ] ICDM, 2003, pp:617-620 [Conf ] Chao Wang , Jianfeng Ma , Jianming Zhu Design and Implementation of Survivable Network Systems. [Citation Graph (0, 0)][DBLP ] ICIC (2), 2005, pp:376-385 [Conf ] Chao Wang , Srinivasan Parthasarathy Parallel algorithms for mining frequent structural motifs in scientific data. [Citation Graph (0, 0)][DBLP ] ICS, 2004, pp:31-40 [Conf ] Jyothish Varma , Chao Wang , Frank Mueller , Christian Engelmann , Stephen L. Scott Scalable, fault tolerant membership for MPI tasks on HPC systems. [Citation Graph (0, 0)][DBLP ] ICS, 2006, pp:219-228 [Conf ] Chao Wang , Chi-Hung Chi Quantitative Trust Based on Actions. [Citation Graph (0, 0)][DBLP ] ICWS, 2006, pp:178-188 [Conf ] Liang-Min Wang , Jianfeng Ma , Chao Wang , A. C. Kot Fault and intrusion tolerance of wireless sensor networks. [Citation Graph (0, 0)][DBLP ] IPDPS, 2006, pp:- [Conf ] Danny Z. Chen , Xiaobo Sharon Hu , Shuang Luan , Ewa Misiolek , Chao Wang Shape Rectangularization Problems in Intensity-Modulated Radiation Therapy. [Citation Graph (0, 0)][DBLP ] ISAAC, 2006, pp:701-711 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ISAAC, 2004, pp:271-281 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ISAAC, 2005, pp:1176-1186 [Conf ] Danny Z. Chen , Chao Wang Field Splitting Problems in Intensity-Modulated Radiation Therapy. [Citation Graph (0, 0)][DBLP ] ISAAC, 2006, pp:690-700 [Conf ] Chao Wang , Yit-Chow Tong An improved critical-band transform processor for speech applications. [Citation Graph (0, 0)][DBLP ] ISCAS (3), 2004, pp:461-464 [Conf ] Chao Wang , Li Ming Hou , Yong Fang Individual Dimension Gaussian Mixture Model for Speaker Identification. [Citation Graph (0, 0)][DBLP ] IWBRS, 2005, pp:172-179 [Conf ] Ruoming Jin , Chao Wang , Dmitrii Polshakov , Srinivasan Parthasarathy , Gagan Agrawal Discovering frequent topological structures from graph datasets. [Citation Graph (0, 0)][DBLP ] KDD, 2005, pp:606-611 [Conf ] Chao Wang , Srinivasan Parthasarathy Summarizing itemset patterns using probabilistic models. [Citation Graph (0, 0)][DBLP ] KDD, 2006, pp:730-735 [Conf ] Chao Wang , Zhen-Qiang Bao , Chang-Yi Li , Fang Yang Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System. [Citation Graph (0, 0)][DBLP ] KSEM, 2006, pp:431-441 [Conf ] Chao Wang , Franjo Ivancic , Malay K. Ganai , Aarti Gupta Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. [Citation Graph (0, 0)][DBLP ] LPAR, 2005, pp:322-336 [Conf ] Grace Chung , Stephanie Seneff , Chao Wang Automatic Acquisition of Names Using Speak and Spell Mode in Spoken Dialogue Systems. [Citation Graph (0, 0)][DBLP ] HLT-NAACL, 2003, pp:- [Conf ] Chao Wang , Srinivasan Parthasarathy Learning Approximate MRFs from Large Transaction Data. [Citation Graph (0, 0)][DBLP ] PKDD, 2006, pp:641-649 [Conf ] Junwei Tao , Wei Jiang , Zan Gao , Shuang Chen , Chao Wang Palmprint Recognition Based on Improved 2DPCA. [Citation Graph (0, 0)][DBLP ] PRIMA, 2006, pp:455-462 [Conf ] Chao Wang , Jie Lu , Guangquan Zhang A Semantic Classification Approach for Online Product Reviews. [Citation Graph (0, 0)][DBLP ] Web Intelligence, 2005, pp:276-279 [Conf ] Chao Wang , Jie Lu , Guangquan Zhang Integration of Ontology Data through Learning Instance Matching. [Citation Graph (0, 0)][DBLP ] Web Intelligence, 2006, pp:536-539 [Conf ] Junwei Tao , Wei Jiang , Zan Gao , Shuang Chen , Chao Wang Palmprint Recognition Based on 2-Dimension PCA. [Citation Graph (0, 0)][DBLP ] ICICIC (1), 2006, pp:326-330 [Conf ] Bing Li , Chao Wang , Fabio Somenzi A satisfiability-based approach to abstraction refinement in model checking. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal ] Chao Wang , Jie Lu , Guangquan Zhang Mining key information of web pages: A method and its application. [Citation Graph (0, 0)][DBLP ] Expert Syst. Appl., 2007, v:33, n:2, pp:425-433 [Journal ] Chao Wang , Roderick Bloem , Gary D. Hachtel , Kavita Ravi , Fabio Somenzi Compositional SCC Analysis for Language Emptiness. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2006, v:28, n:1, pp:5-36 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Int. J. Comput. Geometry Appl., 2006, v:16, n:2-3, pp:175-204 [Journal ] Danny Z. Chen , Xiaobo Sharon Hu , Shuang (Sean) Luan , Chao Wang , Xiaodong Wu Geometric algorithms for static leaf sequencing problems in radiation therapy. [Citation Graph (0, 0)][DBLP ] Int. J. Comput. Geometry Appl., 2004, v:14, n:4-5, pp:311-339 [Journal ] William Y. C. Chen , Xueliang Li , Chao Wang , Xiaoyan Zhang The Minimum All-Ones Problem for Trees. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 2004, v:33, n:2, pp:379-392 [Journal ] Zhiqiang Lin , Chao Wang , Bing Mao , Li Xie A policy flexible architecture for secure operating system. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 2005, v:39, n:3, pp:24-33 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 2006, v:40, n:2, pp:63-72 [Journal ] Bing Li , Chao Wang , Fabio Somenzi Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. [Citation Graph (0, 0)][DBLP ] STTT, 2005, v:7, n:2, pp:143-155 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] ACM Trans. Graph., 2006, v:25, n:3, pp:754-761 [Journal ] Chao Wang , Stephanie Seneff High-quality speech-to-speech translation for computer-aided language learning. [Citation Graph (0, 0)][DBLP ] TSLP, 2006, v:3, n:2, pp:1-21 [Journal ] Matthew Eric Otey , Srinivasan Parthasarathy , Chao Wang , Adriano Veloso , Wagner Meira Jr. Parallel and distributed methods for incremental frequent itemset mining. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2004, v:34, n:6, pp:2439-2450 [Journal ] Stephanie Seneff , Chao Wang Statistical modeling of phonological rules through linguistic hierarchies. [Citation Graph (0, 0)][DBLP ] Speech Communication, 2005, v:46, n:2, pp:204-216 [Journal ] Chao Wang , Zijiang Yang , Aarti Gupta , Franjo Ivancic Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:352-365 [Conf ] Danny Z. Chen , Mark A. Healy , Chao Wang , Xiaodong Wu A New Field Splitting Algorithm for Intensity-Modulated Radiation Therapy. [Citation Graph (0, 0)][DBLP ] COCOON, 2007, pp:4-15 [Conf ] Chi-Hung Chi , Chao Wang On-Demand Capacity Framework. [Citation Graph (0, 0)][DBLP ] ICA3PP, 2007, pp:314-325 [Conf ] Chao Wang , Weijun Chen , Peipei Yin , Jianmin Wang Semi-supervised Clustering Using Incomplete Prior Knowledge. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (1), 2007, pp:192-195 [Conf ] Chao Wang , Qiong Yang , Xiaoou Tang , Zhongfu Ye Salience Preserving Image Fusion with Dynamic Range Compression. [Citation Graph (0, 0)][DBLP ] ICIP, 2006, pp:989-992 [Conf ] Chao Wang , Frank Mueller , Christian Engelmann , Stephen L. Scott A Job Pause Service under LAM/MPI+BLCR for Transparent Fault Tolerance. [Citation Graph (0, 0)][DBLP ] IPDPS, 2007, pp:1-10 [Conf ] Bu Aiguo , Shi Longxing , Hu Chen , Li Jie , Wang Chao Energy-optimal dynamic voltage scaling for sporadic tasks. [Citation Graph (0, 0)][DBLP ] ISCAS, 2006, pp:- [Conf ] Zijiang Yang , Chao Wang , Aarti Gupta , Franjo Ivancic Mixed symbolic representations for model checking software programs. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2006, pp:17-26 [Conf ] Chao Wang , Qiong Yang , Mo Chen , Xiaoou Tang , Zhongfu Ye Progressive cut. [Citation Graph (0, 0)][DBLP ] ACM Multimedia, 2006, pp:251-260 [Conf ] Chao Wang , Jie Lu , Guangquan Zhang A Constrained Clustering Approach to Duplicate Detection Among Relational Data. [Citation Graph (0, 0)][DBLP ] PAKDD, 2007, pp:308-319 [Conf ] Aarti Gupta , Malay K. Ganai , Chao Wang SAT-Based Verification Methods and Applications in Hardware Verification. [Citation Graph (0, 0)][DBLP ] SFM, 2006, pp:108-143 [Conf ] Chao Wang , Jie Lu , Guangquan Zhang Generation and Matching of Ontology Data for the Semantic Web in a Peer-to-Peer Framework. [Citation Graph (0, 0)][DBLP ] APWeb/WAIM, 2007, pp:136-143 [Conf ] Chao Wang , Jie Lu , Guangquan Zhang , Xianyi Zeng Creating and Managing Ontology Data on the Web: A Semantic Wiki Approach. [Citation Graph (0, 0)][DBLP ] WISE, 2007, pp:513-522 [Conf ] Danny Z. Chen , Mark A. Healy , Chao Wang , Bin Xu Geometric Algorithms for the Constrained 1-D K -Means Clustering Problems and IMRT Applications. [Citation Graph (0, 0)][DBLP ] FAW, 2007, pp:1-13 [Conf ] 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 [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Yijia Fan , Chao Wang , John S. Thompson , H. Vincent Poor Recovering Multiplexing Loss Through Successive Relaying Using Repetition Coding [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Chao Wang , Zijiang Yang , Franjo Ivancic , Aarti Gupta Disjunctive image computation for software verification. [Citation Graph (0, 0)][DBLP ] ACM Trans. Design Autom. Electr. Syst., 2007, v:12, n:2, pp:- [Journal ] On-Chip Operating System Design for NoC-Based CMP. [Citation Graph (, )][DBLP ] CFCSS without Aliasing for SPARC Architecture. [Citation Graph (, )][DBLP ] Quality Fusion Rule for Face Recognition in Video. [Citation Graph (, )][DBLP ] A Spoken Translation Game for Second Language Learning. [Citation Graph (, )][DBLP ] L1 Collective Cache: Managing Shared Data for Chip Multiprocessors. [Citation Graph (, )][DBLP ] Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. [Citation Graph (, )][DBLP ] Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. [Citation Graph (, )][DBLP ] Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. [Citation Graph (, )][DBLP ] Contessa: Concurrency Testing Augmented with Symbolic Analysis. [Citation Graph (, )][DBLP ] Fast Rate Distortion Optimized Quantization for H.264/AVC. [Citation Graph (, )][DBLP ] Horizontal Spatial Prediction for High Dimension Intra Coding. [Citation Graph (, )][DBLP ] Coupled Path Planning, Region Optimization, and Applications in Intensity-Modulated Radiation Therapy. [Citation Graph (, )][DBLP ] Analysis of Data Delivery Delay in Acoustic Sensor Networks. [Citation Graph (, )][DBLP ] Symbolic Predictive Analysis for Concurrent Programs. [Citation Graph (, )][DBLP ] Induction in CEGAR for Detecting Counterexamples. [Citation Graph (, )][DBLP ] Hybrid EDA-based optimal attitude control for a spacecraft in a class of control task. [Citation Graph (, )][DBLP ] Moments Based Blind Calibration in Mobile Sensor Networks. [Citation Graph (, )][DBLP ] Hybrid CEGAR: combining variable hiding and predicate abstraction. [Citation Graph (, )][DBLP ] Embedded software verification: challenges and solutions. [Citation Graph (, )][DBLP ] Local Probabilistic Models for Link Prediction. [Citation Graph (, )][DBLP ] A New Orthogonal Discriminant Projection Based Prediction Method for Bioinformatic Data. [Citation Graph (, )][DBLP ] A Novel Local Sensitive Frontier Analysis for Feature Extraction. [Citation Graph (, )][DBLP ] Locality Preserving Discriminant Projections. [Citation Graph (, )][DBLP ] High-quality non-blind motion deblurring. [Citation Graph (, )][DBLP ] Robust inter-scale non-blind image motion deblurring. [Citation Graph (, )][DBLP ] An Efficient VLSI Architecture for Lifting-Based Discrete Wavelet Transform. [Citation Graph (, )][DBLP ] Salience Preserving Multi-Focus Image Fusion. [Citation Graph (, )][DBLP ] Area-efficient line-based two-dimensional discrete wavelet transform architecture without data buffer. [Citation Graph (, )][DBLP ] A further discussion of structural risk minimization principle on set-valued probability space. [Citation Graph (, )][DBLP ] Game study on the populational Parrondo's paradox based on complex network. [Citation Graph (, )][DBLP ] Coopetition study based on Parrondo's game model. [Citation Graph (, )][DBLP ] Preliminary exploration of research method for studying the influence of acupuncture manipulations on electrical signals of spinal dorsal root nerve in rats. [Citation Graph (, )][DBLP ] On-the-Fly Recovery of Job Input Data in Supercomputers. [Citation Graph (, )][DBLP ] Gaze tracking by Binocular Vision and LBP features. [Citation Graph (, )][DBLP ] An ontology data matching method for web information integration. [Citation Graph (, )][DBLP ] Improving the robustness of ISOMAP by de-noising. [Citation Graph (, )][DBLP ] The Bounds on the Rate of Uniform Convergence of Learning Process on Uncertainty Space. [Citation Graph (, )][DBLP ] The Key Theorem of Learning Theory on Uncertainty Space. [Citation Graph (, )][DBLP ] Face Recognition Based on Gabor-Enhanced Manifold Learning and SVM. [Citation Graph (, )][DBLP ] Automatic Assessment of Student Translations for Foreign Language Tutoring. [Citation Graph (, )][DBLP ] Spoken Dialogue Systems for Language Learning. [Citation Graph (, )][DBLP ] A Class of Non-redundant Directional Filter Banks. [Citation Graph (, )][DBLP ] A tunable holistic resiliency approach for high-performance computing systems. [Citation Graph (, )][DBLP ] Optimizing center performance through coordinated data staging, scheduling and recovery. [Citation Graph (, )][DBLP ] Proactive process-level live migration in HPC environments. [Citation Graph (, )][DBLP ] Symbolic pruning of concurrent program executions. [Citation Graph (, )][DBLP ] Modular verification of web services using efficient symbolic encoding and summarization. [Citation Graph (, )][DBLP ] Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. [Citation Graph (, )][DBLP ] Representing a Functional Curve by Curves with Fewer Peaks. [Citation Graph (, )][DBLP ] Peephole Partial Order Reduction. [Citation Graph (, )][DBLP ] Trace-Based Symbolic Analysis for Atomicity Violations. [Citation Graph (, )][DBLP ] The Key Theorem of Learning Theory Based on Sugeno Measure and Fuzzy Random Samples. [Citation Graph (, )][DBLP ] Optimal Field Splitting, with Applications in Intensity-Modulated Radiation Therapy. [Citation Graph (, )][DBLP ] Electrode Structure Optimum for Impedance Measurement of Intraoperative Breast Cancer Focus. [Citation Graph (, )][DBLP ] Research on the Convolution/Superposition Algorithm Based on Monte Carlo Calculation in IMRT. [Citation Graph (, )][DBLP ] Research on the fsPB of Arbitrary Collimator Rotational Angle by Coordinate Transformation. [Citation Graph (, )][DBLP ] Intra-Operative Distinction of Breast Tissues Based on Neural Network Integration of Impedance Information. [Citation Graph (, )][DBLP ] Analysis of Bio-Impedance Measurement Method via Electromagnetic Induction Using Probe-Coil. [Citation Graph (, )][DBLP ] Calibrating Nonlinear Mobile Sensors. [Citation Graph (, )][DBLP ] Research on Simulation Service Ontology and Its Matchmaking Model. [Citation Graph (, )][DBLP ] An efficient illumination compensation based on plane-fit for face recognition. [Citation Graph (, )][DBLP ] On the Diversity-Multiplexing Tradeoff of Concurrent Decode-and-Forward Relaying. [Citation Graph (, )][DBLP ] A Distributed Collision-Free Low-Latency Link Scheduling Scheme in Wireless Sensor Networks. [Citation Graph (, )][DBLP ] Superposition-Repetition-Coded Successive Decode-And-Forward Relaying with Limited Destination-Relay Feedback. [Citation Graph (, )][DBLP ] Chinese Syntactic Reordering for Statistical Machine Translation. [Citation Graph (, )][DBLP ] Improved SIFT-Features Matching for Object Recognition. [Citation Graph (, )][DBLP ] Optimistic Peripheral Devices Performance by Virtual Regionalized Network-on-Chip. [Citation Graph (, )][DBLP ] A Tightly Coupled Network-on-Chip Router Architecture. [Citation Graph (, )][DBLP ] A Novel Digital. [Citation Graph (, )][DBLP ] The Study of a Creative Hand Hook Design Based on Computer Aided Design Technology. [Citation Graph (, )][DBLP ] Real-Time Face Detection and Recognition for Video Surveillance Applications. [Citation Graph (, )][DBLP ] Analysis of Air Traffic Flow Control through Agent-Based Modeling and Simulation. [Citation Graph (, )][DBLP ] Face Recognition Based on a Gabor-2DFisherface Approach with Selecting 2D Gabor Principal Components and Discriminant Vectors. [Citation Graph (, )][DBLP ] Par reduction in OFDM through convex programming. [Citation Graph (, )][DBLP ] The Scattering Study of Rough Surface by Ray Tracing Technique. [Citation Graph (, )][DBLP ] Characteristic analysis of baseflow change and its response to global change in the Upper Reaches of Heihe River Basin, Northwestern China. [Citation Graph (, )][DBLP ] Superposition-Coded Concurrent Decode-and-Forward Relaying [Citation Graph (, )][DBLP ] Cooperative Multiplexing: Toward Higher Spectral Efficiency in Multi-antenna Relay Networks [Citation Graph (, )][DBLP ] The general sigma all-ones problem for trees. [Citation Graph (, )][DBLP ] Search in 0.007secs, Finished in 0.613secs