The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Dong Wang, Xiao Hu, Shuming Chen, Yang Guo
    Bandwidth Optimization of the EMCI for a High Performance 32-bit DSP. [Citation Graph (0, 0)][DBLP]
    Asia-Pacific Computer Systems Architecture Conference, 2006, pp:488-494 [Conf]
  2. Dong Wang, Jeremy R. Levitt
    Automatic assume guarantee analysis for assertion-based formal verification. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:561-566 [Conf]
  3. Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
    Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:126-140 [Conf]
  4. Dong Wang, John A. Goldak
    Correcting Topological Defects of Tessellations. [Citation Graph (0, 0)][DBLP]
    CCCG, 1996, pp:50-55 [Conf]
  5. Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang
    Using Combinatorial Optimization Methods for Quantification Scheduling. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:293-309 [Conf]
  6. Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang
    Abstract BDDs: A Technque for Using Abstraction in Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:172-186 [Conf]
  7. Dong Wang, Jianmin Li, Bo Zhang
    Relay Boost Fusion for Learning Rare Concepts in Multimedia. [Citation Graph (0, 0)][DBLP]
    CIVR, 2006, pp:271-280 [Conf]
  8. Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
    Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. [Citation Graph (0, 0)][DBLP]
    DAC, 2001, pp:35-40 [Conf]
  9. Le Chen, Dayong Ding, Dong Wang, Fuzong Lin, Bo Zhang
    AP-Based Borda Voting Method for Feature Extraction in TRECVID-2004. [Citation Graph (0, 0)][DBLP]
    ECIR, 2005, pp:568-570 [Conf]
  10. Dong Wang, Jianmin Li, Bo Zhang
    Multiple-Instance Learning Via Random Walk. [Citation Graph (0, 0)][DBLP]
    ECML, 2006, pp:473-484 [Conf]
  11. Caixia Chi, Dong Wang, Ruibing Hao
    A Framework on Feature Interactions in Optical Network Protocols. [Citation Graph (0, 0)][DBLP]
    FIW, 2003, pp:141-148 [Conf]
  12. Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang
    Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:33-51 [Conf]
  13. Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang
    Executable Protocol Specification in ESL. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:197-216 [Conf]
  14. Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang
    Extending WSDL to Facilitate Web Services Testing. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:171-172 [Conf]
  15. Yong Chen, Ke-qin Wu, Dong Wang, Ge Chen
    Elastic Algorithm: A New Path Planning Algorithm About Auto-navigation in 3D Virtual Scene. [Citation Graph (0, 0)][DBLP]
    ICAT, 2006, pp:1156-1165 [Conf]
  16. Chen Pang, Mingli Song, Jiajun Bu, Chun Chen, Dong Wang
    Painterly Rendering with Vector Field Based Feature Extraction. [Citation Graph (0, 0)][DBLP]
    ICAT, 2006, pp:960-968 [Conf]
  17. Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang
    Non-linear Quantification Scheduling in Image Computation. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2001, pp:293-0 [Conf]
  18. Jie Wu, Dong Wang, Huanye Sheng
    Public RFID Service Platform Based on ASP Model. [Citation Graph (0, 0)][DBLP]
    ICEBE, 2005, pp:553-557 [Conf]
  19. Weiping Zhu, Dong Wang, Huanye Sheng
    Mobile RFID Technology for Improving M-Commerce. [Citation Graph (0, 0)][DBLP]
    ICEBE, 2005, pp:118-126 [Conf]
  20. Dong Wang, Cedric Nishan Canagarajah, David R. Bull
    Slice group based multiple description video coding using motion vector estimation. [Citation Graph (0, 0)][DBLP]
    ICIP, 2004, pp:3237-3240 [Conf]
  21. Dong Wang, Cedric Nishan Canagarajah, Dimitris Agrafiotis, David R. Bull
    Error concealment for slice group based multiple description video coding. [Citation Graph (0, 0)][DBLP]
    ICIP (1), 2005, pp:769-772 [Conf]
  22. MingChu Li, Yongrui Cui, Yuan Tian, Dong Wang, Songyuan Yan
    A New Architecture of Grid Security System Construction. [Citation Graph (0, 0)][DBLP]
    ICPP Workshops, 2006, pp:100-108 [Conf]
  23. Dong Wang, Cedric Nishan Canagarajah, David R. Bull
    Slice group based multiple description video coding with three motion compensation loops. [Citation Graph (0, 0)][DBLP]
    ISCAS (2), 2005, pp:960-963 [Conf]
  24. Dong Wang, Cedric Nishan Canagarajah, David R. Bull
    S frame design for multiple description video coding. [Citation Graph (0, 0)][DBLP]
    ISCAS (3), 2005, pp:2719-2722 [Conf]
  25. Dong Wang, Cedric Nishan Canagarajah, David W. Redmill, David R. Bull
    Multiple description video coding based on zero padding. [Citation Graph (0, 0)][DBLP]
    ISCAS (2), 2004, pp:205-208 [Conf]
  26. Shujun Liu, Dong Wang, Shihai Zhang, Jinping Ou, Guangyuan Wang
    Knowledge Discovery of Improved Apriori-Based High-Rise Structure Intelligent Form Selection. [Citation Graph (0, 0)][DBLP]
    ISDA (1), 2006, pp:535-539 [Conf]
  27. Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
    High Level Verification of Control Intensive Systems Using Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:55-64 [Conf]
  28. Zhiqiang Liu, Dong Wang, Huanye Sheng
    describer: Service-Oriented Multiagent Architecture for Mobile Environment. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2005, pp:566-568 [Conf]
  29. Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang
    SAT Based Predicate Abstraction for Hardware Verification. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:78-92 [Conf]
  30. Dong Wang, Yingli Lv, Zheng Guo, Xia Li, Yanhui Li, Jing Zhu, Da Yang, Jianzhen Xu, Chenguang Wang, Shaoqi Rao, Baofeng Yang
    Effects of replacing the unreliable cDNA microarray measurements on the disease classification based on gene expression profiles and functional modules. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2006, v:22, n:23, pp:2883-2889 [Journal]
  31. Liehuang Zhu, Yuanda Cao, Dong Wang
    Digital signature of multicast streams secure against adaptive chosen message attack. [Citation Graph (0, 0)][DBLP]
    Computers & Security, 2004, v:23, n:3, pp:229-240 [Journal]
  32. Dong Wang, Ruibing Hao, David Lee
    Fault detection in Rule-based Software systems. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:12, pp:865-871 [Journal]
  33. Yuan Ji, Ziguo Li, Dong Wang, Yaohai Cheng, Dong Luo, Bin Zong
    Scanning thermal microscopy studies of local temperature distribution of micron-sized metallization lines. [Citation Graph (0, 0)][DBLP]
    Microelectronics Reliability, 2001, v:41, n:8, pp:1255-1258 [Journal]
  34. Zhifu Liu, Yongxiang Li, Yuhong Xiong, Dong Wang, Qingrui Yin
    Electroluminescence of SrAl2O4: Eu2+ phosphor. [Citation Graph (0, 0)][DBLP]
    Microelectronics Journal, 2004, v:35, n:4, pp:375-377 [Journal]
  35. Yiqing Lu, Yongxiang Li, Yuhong Xiong, Dong Wang, Qingrui Yin
    SrAl2O4: Eu2+, Dy3+ phosphors derived from a new sol-gel route. [Citation Graph (0, 0)][DBLP]
    Microelectronics Journal, 2004, v:35, n:4, pp:379-382 [Journal]
  36. Dong Wang, Xiaowen Chen, Shuming Chen, Xing Fang, Shuwei Sun
    FCC-SDP: A Fast Close-Coupled Shared Data Pool for Multi-core DSPs. [Citation Graph (0, 0)][DBLP]
    Asia-Pacific Computer Systems Architecture Conference, 2007, pp:80-89 [Conf]
  37. Xing Fang, Dong Wang, Shuming Chen
    Exploiting Thread-Level Parallelism of Irregular LDPC Decoder with Simultaneous Multi-threading Technique. [Citation Graph (0, 0)][DBLP]
    APPT, 2007, pp:650-657 [Conf]
  38. Shuwei Sun, Dong Wang, Shuming Chen
    A Highly Efficient Parallel Algorithm for H.264 Encoder Based on Macro-Block Region Partition. [Citation Graph (0, 0)][DBLP]
    HPCC, 2007, pp:577-585 [Conf]
  39. Dong Wang, Xiaobing Liu, Linjie Luo, Jianmin Li, Bo Zhang
    Video diver: generic video indexing with diverse features. [Citation Graph (0, 0)][DBLP]
    Multimedia Information Retrieval, 2007, pp:61-70 [Conf]
  40. Dong Wang, Xirong Li, Jianmin Li, Bo Zhang
    The importance of query-concept-mapping for automatic video retrieval. [Citation Graph (0, 0)][DBLP]
    ACM Multimedia, 2007, pp:285-288 [Conf]
  41. Nayef A. Alsindi, Dagnachew Birru, Dong Wang
    Ultra-Wideband Channel Measurement Characterization for Wireless Magnetic Resonance Imaging Applications. [Citation Graph (0, 0)][DBLP]
    CISS, 2007, pp:135-140 [Conf]
  42. Dong Wang, Zhimin Liu, Yuping Zhao, Yan Luo
    A Novel Unicast based Multiplexing Scheme to Guarantee the QoS of VoWLAN. [Citation Graph (0, 0)][DBLP]
    GLOBECOM, 2006, pp:- [Conf]

  43. Applying Feature Selection for Effective Classification of Microcalcification Clusters in Mammograms. [Citation Graph (, )][DBLP]


  44. SPVA: A novel digital signal processor architecture for Software Defined Radio. [Citation Graph (, )][DBLP]


  45. RFID-Based Locating Management. [Citation Graph (, )][DBLP]


  46. A general magnitude-preserving boosting algorithm for search ranking. [Citation Graph (, )][DBLP]


  47. Interactive video retrieval with rich features and friendly interface. [Citation Graph (, )][DBLP]


  48. Learning structured concept-segments for interactive video retrieval. [Citation Graph (, )][DBLP]


  49. Video retrieval with multi-modal features. [Citation Graph (, )][DBLP]


  50. Video search in concept subspace: a text-like paradigm. [Citation Graph (, )][DBLP]


  51. The feature and spatial covariant kernel: adding implicit spatial constraints to histogram. [Citation Graph (, )][DBLP]


  52. Estimating the number of frequent itemsets in a large database. [Citation Graph (, )][DBLP]


  53. A radix-8 complex divider for FPGA implementation. [Citation Graph (, )][DBLP]


  54. A New Fuzzy Guaranteed Cost Control Design for a Class of Nonlinear Discrete-Time System with Uncertainties. [Citation Graph (, )][DBLP]


  55. New Method for Estimating Periods in Hydrologic Series Data. [Citation Graph (, )][DBLP]


  56. An Improved Wavelet De-noising Method for Time Series Analysis. [Citation Graph (, )][DBLP]


  57. Study on the WCC Method for Time Series Data Analysis. [Citation Graph (, )][DBLP]


  58. Research on Relation Models of Unexpected Events Oriented to Emergency Decision Support. [Citation Graph (, )][DBLP]


  59. Performance Analysis of WiMedia UWB System for Medical Applications with Human Blockage. [Citation Graph (, )][DBLP]


  60. Design an OSGi Extension Service for Mobile RFID Applications. [Citation Graph (, )][DBLP]


  61. Skin Detection from Different Color Spaces for Model-Based Face Detection. [Citation Graph (, )][DBLP]


  62. Histogram matching for music repetition detection. [Citation Graph (, )][DBLP]


  63. Robust semantic sketch based specific image retrieval. [Citation Graph (, )][DBLP]


  64. The reconstruction of high resolution image based on compressed sensing. [Citation Graph (, )][DBLP]


  65. Using Parallel Combined Classifiers to Improve Classification of Proteins. [Citation Graph (, )][DBLP]


  66. The Application of PSO Algorithm on PenduBot Control. [Citation Graph (, )][DBLP]


  67. A new method of image data fusion based on FNN. [Citation Graph (, )][DBLP]


  68. End-User Diagnosis of Communication Paths in Sensor Network Systems. [Citation Graph (, )][DBLP]


  69. Convergence analysis of a background interstage gain calibration technique for pipelined ADCs. [Citation Graph (, )][DBLP]


  70. An Algebra-Based Reliability Prediction Approach for Composite Web Services. [Citation Graph (, )][DBLP]


  71. An Efficient Motion Adaptive De-interlacing and Its VLSI Architecture Design. [Citation Graph (, )][DBLP]


  72. SemanGist: A Local Semantic Image Representation. [Citation Graph (, )][DBLP]


  73. Cooperative MAC Protocol with Automatic Relay Selection in Distributed Wireless Networks. [Citation Graph (, )][DBLP]


  74. Energy-optimal Batching Periods for Asynchronous Multistage Data Processing on Sensor Nodes: Foundations and an mPlatform Case Study. [Citation Graph (, )][DBLP]


  75. Incorporating post-click behaviors into a click model. [Citation Graph (, )][DBLP]


  76. Extracting 5W1H Event Semantic Elements from Chinese Online News. [Citation Graph (, )][DBLP]


  77. Co-optimization of multiple relevance metrics in web search. [Citation Graph (, )][DBLP]


  78. Experimental Study on Mobile RFID Performance. [Citation Graph (, )][DBLP]


  79. A Novel RM-Based Algorithm for Reversible Circuits. [Citation Graph (, )][DBLP]


  80. Asynchronous Cooperative Communications with STBC Coded Single Carrier Block Transmission. [Citation Graph (, )][DBLP]


  81. Channel Coding Design to Support Asynchronous Physical Layer Network Coding. [Citation Graph (, )][DBLP]


  82. Network Traffic Anomaly Detection Based on Self-Similarity Using HHT and Wavelet Transform. [Citation Graph (, )][DBLP]


  83. Protection Routing Algorithm Based on Survivable Integrated Auxiliary Graph in Waveband Switching Optical Networks. [Citation Graph (, )][DBLP]


  84. Mapping Query to Semantic Concepts: Leveraging Semantic Indices for Automatic and Interactive Video Retrieval. [Citation Graph (, )][DBLP]


  85. Visual Object Recognition in Diverse Scenes with Multiple Instance Learning. [Citation Graph (, )][DBLP]


  86. Exact Heuristic Algorithm for Traveling Salesman Problem. [Citation Graph (, )][DBLP]


  87. Reconfigurable Business Process Server for RFID. [Citation Graph (, )][DBLP]


  88. A decentralized relay strategy for asynchoronous cooperative communications. [Citation Graph (, )][DBLP]


  89. THU and ICRC at TRECVID 2008. [Citation Graph (, )][DBLP]


  90. THU and ICRC at TRECVID 2007. [Citation Graph (, )][DBLP]


  91. An RFID Reader Coordination Model for Data Process. [Citation Graph (, )][DBLP]


  92. Monitoring and Early-Warning of the Supply Chain by Using System Dynamics and Neural Networks. [Citation Graph (, )][DBLP]


  93. An ACO for Solving RCPSP. [Citation Graph (, )][DBLP]


  94. A comparison of phone and grapheme-based spoken term detection. [Citation Graph (, )][DBLP]


  95. Posterior-based confidence measures for spoken term detection. [Citation Graph (, )][DBLP]


  96. Application of RFID Technology to Curb Diversion of Transit Goods in Kenya. [Citation Graph (, )][DBLP]


  97. Use of RFID Technologies to Combat Cattle Rustling in the East Africa. [Citation Graph (, )][DBLP]


  98. Edge-based scoring and searching method for identifying condition-responsive protein-protein interaction sub-network. [Citation Graph (, )][DBLP]


  99. Gaining confidence in biological interpretation of the microarray data: the functional consistence of the significant GO categories. [Citation Graph (, )][DBLP]


  100. Apparently low reproducibility of true differential expression discoveries in microarray studies. [Citation Graph (, )][DBLP]


  101. Edge-based scoring and searching method for identifying condition-responsive protein-protein interaction sub-network. [Citation Graph (, )][DBLP]


  102. Evaluating reproducibility of differential expression discoveries in microarray studies by considering correlated molecular changes. [Citation Graph (, )][DBLP]


  103. Inferring the human microRNA functional similarity and functional network based on microRNA-associated diseases. [Citation Graph (, )][DBLP]


  104. A new heuristic protection algorithm based on survivable integrated auxiliary graph in waveband switching optical networks. [Citation Graph (, )][DBLP]


  105. Hierarchical maximal-coverage location-allocation: Case of generalized search-and-rescue. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.017secs
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