The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chao Wang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
    Whodunit? Causal Analysis for Counterexamples. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:82-95 [Conf]
  2. Chao Wang, Jianfeng Ma
    Availability Analysis and Comparison of Different Intrusion-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    AWCC, 2004, pp:161-166 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. Chao Wang, Gary D. Hachtel
    Sharp Disjunctive Decomposition for Language Emptiness Checking. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:106-122 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Chao Wang, Chi-Hung Chi
    Quantitative Trust Based on Actions. [Citation Graph (0, 0)][DBLP]
    ICWS, 2006, pp:178-188 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. Danny Z. Chen, Chao Wang
    Field Splitting Problems in Intensity-Modulated Radiation Therapy. [Citation Graph (0, 0)][DBLP]
    ISAAC, 2006, pp:690-700 [Conf]
  31. 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]
  32. 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]
  33. 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]
  34. Chao Wang, Srinivasan Parthasarathy
    Summarizing itemset patterns using probabilistic models. [Citation Graph (0, 0)][DBLP]
    KDD, 2006, pp:730-735 [Conf]
  35. 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]
  36. 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]
  37. 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]
  38. Chao Wang, Srinivasan Parthasarathy
    Learning Approximate MRFs from Large Transaction Data. [Citation Graph (0, 0)][DBLP]
    PKDD, 2006, pp:641-649 [Conf]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. Chi-Hung Chi, Chao Wang
    On-Demand Capacity Framework. [Citation Graph (0, 0)][DBLP]
    ICA3PP, 2007, pp:314-325 [Conf]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. Chao Wang, Qiong Yang, Mo Chen, Xiaoou Tang, Zhongfu Ye
    Progressive cut. [Citation Graph (0, 0)][DBLP]
    ACM Multimedia, 2006, pp:251-260 [Conf]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. 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]
  72. 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]

  73. On-Chip Operating System Design for NoC-Based CMP. [Citation Graph (, )][DBLP]


  74. CFCSS without Aliasing for SPARC Architecture. [Citation Graph (, )][DBLP]


  75. Quality Fusion Rule for Face Recognition in Video. [Citation Graph (, )][DBLP]


  76. A Spoken Translation Game for Second Language Learning. [Citation Graph (, )][DBLP]


  77. L1 Collective Cache: Managing Shared Data for Chip Multiprocessors. [Citation Graph (, )][DBLP]


  78. Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. [Citation Graph (, )][DBLP]


  79. Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. [Citation Graph (, )][DBLP]


  80. Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. [Citation Graph (, )][DBLP]


  81. Contessa: Concurrency Testing Augmented with Symbolic Analysis. [Citation Graph (, )][DBLP]


  82. Fast Rate Distortion Optimized Quantization for H.264/AVC. [Citation Graph (, )][DBLP]


  83. Horizontal Spatial Prediction for High Dimension Intra Coding. [Citation Graph (, )][DBLP]


  84. Coupled Path Planning, Region Optimization, and Applications in Intensity-Modulated Radiation Therapy. [Citation Graph (, )][DBLP]


  85. Analysis of Data Delivery Delay in Acoustic Sensor Networks. [Citation Graph (, )][DBLP]


  86. Symbolic Predictive Analysis for Concurrent Programs. [Citation Graph (, )][DBLP]


  87. Induction in CEGAR for Detecting Counterexamples. [Citation Graph (, )][DBLP]


  88. Hybrid EDA-based optimal attitude control for a spacecraft in a class of control task. [Citation Graph (, )][DBLP]


  89. Moments Based Blind Calibration in Mobile Sensor Networks. [Citation Graph (, )][DBLP]


  90. Hybrid CEGAR: combining variable hiding and predicate abstraction. [Citation Graph (, )][DBLP]


  91. Embedded software verification: challenges and solutions. [Citation Graph (, )][DBLP]


  92. Local Probabilistic Models for Link Prediction. [Citation Graph (, )][DBLP]


  93. A New Orthogonal Discriminant Projection Based Prediction Method for Bioinformatic Data. [Citation Graph (, )][DBLP]


  94. A Novel Local Sensitive Frontier Analysis for Feature Extraction. [Citation Graph (, )][DBLP]


  95. Locality Preserving Discriminant Projections. [Citation Graph (, )][DBLP]


  96. High-quality non-blind motion deblurring. [Citation Graph (, )][DBLP]


  97. Robust inter-scale non-blind image motion deblurring. [Citation Graph (, )][DBLP]


  98. An Efficient VLSI Architecture for Lifting-Based Discrete Wavelet Transform. [Citation Graph (, )][DBLP]


  99. Salience Preserving Multi-Focus Image Fusion. [Citation Graph (, )][DBLP]


  100. Area-efficient line-based two-dimensional discrete wavelet transform architecture without data buffer. [Citation Graph (, )][DBLP]


  101. A further discussion of structural risk minimization principle on set-valued probability space. [Citation Graph (, )][DBLP]


  102. Game study on the populational Parrondo's paradox based on complex network. [Citation Graph (, )][DBLP]


  103. Coopetition study based on Parrondo's game model. [Citation Graph (, )][DBLP]


  104. 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]


  105. On-the-Fly Recovery of Job Input Data in Supercomputers. [Citation Graph (, )][DBLP]


  106. Gaze tracking by Binocular Vision and LBP features. [Citation Graph (, )][DBLP]


  107. An ontology data matching method for web information integration. [Citation Graph (, )][DBLP]


  108. Improving the robustness of ISOMAP by de-noising. [Citation Graph (, )][DBLP]


  109. The Bounds on the Rate of Uniform Convergence of Learning Process on Uncertainty Space. [Citation Graph (, )][DBLP]


  110. The Key Theorem of Learning Theory on Uncertainty Space. [Citation Graph (, )][DBLP]


  111. Face Recognition Based on Gabor-Enhanced Manifold Learning and SVM. [Citation Graph (, )][DBLP]


  112. Automatic Assessment of Student Translations for Foreign Language Tutoring. [Citation Graph (, )][DBLP]


  113. Spoken Dialogue Systems for Language Learning. [Citation Graph (, )][DBLP]


  114. A Class of Non-redundant Directional Filter Banks. [Citation Graph (, )][DBLP]


  115. A tunable holistic resiliency approach for high-performance computing systems. [Citation Graph (, )][DBLP]


  116. Optimizing center performance through coordinated data staging, scheduling and recovery. [Citation Graph (, )][DBLP]


  117. Proactive process-level live migration in HPC environments. [Citation Graph (, )][DBLP]


  118. Symbolic pruning of concurrent program executions. [Citation Graph (, )][DBLP]


  119. Modular verification of web services using efficient symbolic encoding and summarization. [Citation Graph (, )][DBLP]


  120. Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. [Citation Graph (, )][DBLP]


  121. Representing a Functional Curve by Curves with Fewer Peaks. [Citation Graph (, )][DBLP]


  122. Peephole Partial Order Reduction. [Citation Graph (, )][DBLP]


  123. Trace-Based Symbolic Analysis for Atomicity Violations. [Citation Graph (, )][DBLP]


  124. The Key Theorem of Learning Theory Based on Sugeno Measure and Fuzzy Random Samples. [Citation Graph (, )][DBLP]


  125. Optimal Field Splitting, with Applications in Intensity-Modulated Radiation Therapy. [Citation Graph (, )][DBLP]


  126. Electrode Structure Optimum for Impedance Measurement of Intraoperative Breast Cancer Focus. [Citation Graph (, )][DBLP]


  127. Research on the Convolution/Superposition Algorithm Based on Monte Carlo Calculation in IMRT. [Citation Graph (, )][DBLP]


  128. Research on the fsPB of Arbitrary Collimator Rotational Angle by Coordinate Transformation. [Citation Graph (, )][DBLP]


  129. Intra-Operative Distinction of Breast Tissues Based on Neural Network Integration of Impedance Information. [Citation Graph (, )][DBLP]


  130. Analysis of Bio-Impedance Measurement Method via Electromagnetic Induction Using Probe-Coil. [Citation Graph (, )][DBLP]


  131. Calibrating Nonlinear Mobile Sensors. [Citation Graph (, )][DBLP]


  132. Research on Simulation Service Ontology and Its Matchmaking Model. [Citation Graph (, )][DBLP]


  133. An efficient illumination compensation based on plane-fit for face recognition. [Citation Graph (, )][DBLP]


  134. On the Diversity-Multiplexing Tradeoff of Concurrent Decode-and-Forward Relaying. [Citation Graph (, )][DBLP]


  135. A Distributed Collision-Free Low-Latency Link Scheduling Scheme in Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  136. Superposition-Repetition-Coded Successive Decode-And-Forward Relaying with Limited Destination-Relay Feedback. [Citation Graph (, )][DBLP]


  137. Chinese Syntactic Reordering for Statistical Machine Translation. [Citation Graph (, )][DBLP]


  138. Improved SIFT-Features Matching for Object Recognition. [Citation Graph (, )][DBLP]


  139. Optimistic Peripheral Devices Performance by Virtual Regionalized Network-on-Chip. [Citation Graph (, )][DBLP]


  140. A Tightly Coupled Network-on-Chip Router Architecture. [Citation Graph (, )][DBLP]


  141. A Novel Digital. [Citation Graph (, )][DBLP]


  142. The Study of a Creative Hand Hook Design Based on Computer Aided Design Technology. [Citation Graph (, )][DBLP]


  143. Real-Time Face Detection and Recognition for Video Surveillance Applications. [Citation Graph (, )][DBLP]


  144. Analysis of Air Traffic Flow Control through Agent-Based Modeling and Simulation. [Citation Graph (, )][DBLP]


  145. Face Recognition Based on a Gabor-2DFisherface Approach with Selecting 2D Gabor Principal Components and Discriminant Vectors. [Citation Graph (, )][DBLP]


  146. Par reduction in OFDM through convex programming. [Citation Graph (, )][DBLP]


  147. The Scattering Study of Rough Surface by Ray Tracing Technique. [Citation Graph (, )][DBLP]


  148. Characteristic analysis of baseflow change and its response to global change in the Upper Reaches of Heihe River Basin, Northwestern China. [Citation Graph (, )][DBLP]


  149. Superposition-Coded Concurrent Decode-and-Forward Relaying [Citation Graph (, )][DBLP]


  150. Cooperative Multiplexing: Toward Higher Spectral Efficiency in Multi-antenna Relay Networks [Citation Graph (, )][DBLP]


  151. The general sigma all-ones problem for trees. [Citation Graph (, )][DBLP]


Search in 0.045secs, Finished in 0.053secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002