default search action
Haifeng Guo
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j41]Dongwei Xu, Biao Zhang, Qingwei Qiu, Haijian Li, Haifeng Guo, Baojie Wang:
Graph-based multi agent reinforcement learning for on-ramp merging in mixed traffic. Appl. Intell. 54(8): 6400-6414 (2024) - [j40]Jinyin Chen, Xiaoming Zhao, Haibin Zheng, Xiao Li, Sheng Xiang, Haifeng Guo:
Robust knowledge distillation based on feature variance against backdoored teacher model. Appl. Soft Comput. 163: 111907 (2024) - [j39]Jing Liu, Shoubao Su, Haifeng Guo, Yuhua Lu, Yuexia Chen:
A Signal Filtering Method for Magnetic Flux Leakage Detection of Rail Surface Defects Based on Minimum Entropy Deconvolution. Int. J. Swarm Intell. Res. 15(1): 1-11 (2024) - [j38]Dongwei Xu, Hang Peng, Yufu Tang, Haifeng Guo:
Hierarchical spatio-temporal graph convolutional neural networks for traffic data imputation. Inf. Fusion 106: 102292 (2024) - [j37]Dongwei Xu, Peiwen Liu, Haijian Li, Haifeng Guo, Zijia Xie, Qi Xuan:
Multi-View Graph Convolution Network Reinforcement Learning for CAVs Cooperative Control in Highway Mixed Traffic. IEEE Trans. Intell. Veh. 9(1): 2588-2599 (2024) - [j36]Haifeng Guo, Sam Kwong, Dongjie Ye, Shiqi Wang:
Enhanced Context Mining and Filtering for Learned Video Compression. IEEE Trans. Multim. 26: 3814-3826 (2024) - [i6]Jinyin Chen, Xiaoming Zhao, Haibin Zheng, Xiao Li, Sheng Xiang, Haifeng Guo:
Robust Knowledge Distillation Based on Feature Variance Against Backdoored Teacher Model. CoRR abs/2406.03409 (2024) - 2023
- [j35]Haifeng Guo, Sam Kwong, Chuanmin Jia, Shiqi Wang:
Enhanced Motion Compensation for Deep Video Compression. IEEE Signal Process. Lett. 30: 673-677 (2023) - [j34]Nan Zhang, Xiaoguang Yang, Haifeng Guo, Hongzhao Dong, Wanjing Ma:
Approximate Inference of Traffic Flow State at Signalized Intersections Using a Bayesian Learning Framework. IEEE Trans. Intell. Transp. Syst. 24(5): 4765-4776 (2023) - [j33]Yirui Wu, Haifeng Guo, Chinmay Chakraborty, Mohammad Reza Khosravi, Stefano Berretti, Shaohua Wan:
Edge Computing Driven Low-Light Image Dynamic Enhancement for Object Detection. IEEE Trans. Netw. Sci. Eng. 10(5): 3086-3098 (2023) - [c67]Yuhan Wu, Haifeng Guo, Donghua Yang, Mengmeng Li, Bo Zheng, Hongzhi Wang:
Approximate Query Processing Based on Approximate Materialized View. ICA3PP (2) 2023: 168-185 - [c66]Tianbao Li, Haifeng Guo, Donghua Yang, Mengmeng Li, Bo Zheng, Hongzhi Wang:
Schema Integration on Massive Data Sources. ICA3PP (2) 2023: 186-206 - [c65]Haoran Zhang, Haifeng Guo, Donghua Yang, Mengmeng Li, Bo Zheng, Hongzhi Wang:
Prediction of Time Series Data with Low Latitude Features. ICPCSEE (1) 2023: 145-164 - [c64]Zhuping Li, Donghua Yang, Mengmeng Li, Haifeng Guo, Tiansheng Ye, Hongzhi Wang:
Dimension Reduction Based on Sampling. ICPCSEE (1) 2023: 207-220 - [c63]Yanjie Wei, Haifeng Guo, Donghua Yang, Mengmeng Li, Bo Zheng, Hongzhi Wang:
Complex Time Series Analysis Based on Conditional Random Fields. ICPCSEE (1) 2023: 221-232 - 2022
- [j32]Yue Sun, Aidong Xu, Kai Wang, Xiufang Zhou, Haifeng Guo, Xiaojia Han:
Intelligent Fault Diagnosis of Industrial Robot Based on Multiclass Mahalanobis-Taguchi System for Imbalanced Data. Entropy 24(7): 871 (2022) - [j31]Hongyu Qian, Haifeng Guo, Baiqing Sun, Ye Wang:
Integrated inventory and transportation management with stochastic demands: A scenario-based economic model predictive control approach. Expert Syst. Appl. 202: 117156 (2022) - [j30]Ruo-Ze Liu, Haifeng Guo, Xiaozhong Ji, Yang Yu, Zhen-Jia Pang, Zitai Xiao, Yuzhou Wu, Tong Lu:
Efficient Reinforcement Learning for StarCraft by Abstract Forward Models and Transfer Learning. IEEE Trans. Games 14(2): 294-307 (2022) - [j29]Junchen Jin, Dingding Rong, Yuqi Pang, Fenghua Zhu, Haifeng Guo, Xiaoliang Ma, Fei-Yue Wang:
PRECOM: A Parallel Recommendation Engine for Control, Operations, and Management on Congested Urban Traffic Networks. IEEE Trans. Intell. Transp. Syst. 23(7): 7332-7342 (2022) - [j28]Junchen Jin, Dingding Rong, Tong Zhang, Qingyuan Ji, Haifeng Guo, Yisheng Lv, Xiaoliang Ma, Fei-Yue Wang:
A GAN-Based Short-Term Link Traffic Prediction Approach for Urban Road Networks Under a Parallel Learning Framework. IEEE Trans. Intell. Transp. Syst. 23(9): 16185-16196 (2022) - [c62]Kai Wu, E. Bai, Baiqing Sun, Haifeng Guo:
The Role of Absorptive Capacity in the Blockchain Enabled Traceability Alignment: An Empirical Investigation. BlockSys 2022: 45-64 - [c61]Jiqiang Tang, Zhen Wu, Yuxi Zhang, Xiaotuo Qiao, Haifeng Guo:
Blockchain Policy Tool Selection in CHina's Blockchain Industry Clustering Areas. BlockSys 2022: 336-347 - [c60]Yucheng Jiang, Haifeng Guo, Junhao Zheng, Jingsheng Wang, Songping Mai:
Efficient AVS3 Intra Prediction Hardware Design for Real-time Applications. ICTA 2022: 1-2 - [c59]Xiaolei Xu, Zhen Wu, Xiaotuo Qiao, Yuxi Zhang, Haifeng Guo:
The Impact of Policy on the Clustering of the Blockchain Industry - Evidence from GMM Estimates. ICPCSEE (2) 2022: 465-474 - [c58]Haifeng Guo, Shuai Li:
Robust Optimization on E-commerce Closed-loop Supply Chain with Uncertain Environment. ISCIPT 2022: 100-107 - [i5]Ezana N. Beyenne, Hai-Feng Guo:
Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction. CoRR abs/2203.16346 (2022) - 2021
- [j27]Haifeng Guo, Aidong Xu, Kai Wang, Yue Sun, Xiaojia Han, Seung Ho Hong, Mengmeng Yu:
Particle Filtering Based Remaining Useful Life Prediction for Electromagnetic Coil Insulation. Sensors 21(2): 473 (2021) - [j26]Junchen Jin, Haifeng Guo, Jia Xu, Xiao Wang, Fei-Yue Wang:
An End-to-End Recommendation System for Urban Traffic Controls and Management Under a Parallel Learning Framework. IEEE Trans. Intell. Transp. Syst. 22(3): 1616-1626 (2021) - [c57]Yawei Cai, Haifeng Guo, Kai Zhou, Liang Xu:
Unmanned Aerial Vehicle Cluster Operations under the Background of Intelligentization. AIAM (IEEE) 2021: 525-529 - [c56]Yuxi Zhang, Muran Su, Zhen Wu, Xiang Chen, Haifeng Guo, Xinxin Chang, Hongzhi Wang:
The Regional Clusting Effect of the Blockchain Industry Base on Unsupervised Learning Methods. BlockSys 2021: 18-29 - [c55]Hecong Xu, Xiaolei Xu, Zhen Wu, Haifeng Guo, Yuxi Zhang, Hongzhi Wang:
A Study on Bitcoin Price Volatility Based on the SVAR Model and Impulse Response Analysis. BlockSys 2021: 214-225 - [c54]Kai Wu, Baiqing Sun, Haifeng Guo:
Absorptive Capacity, Blockchain and Food Traceability: An Empirical Invetigation. BlockSys 2021: 512-529 - 2020
- [j25]Qingjie Zhang, Haifeng Guo, Shi Xiaohang:
Formation Control of High-Order Swarm Systems With Time-Varying Delays and Switching Interconnections. IEEE Access 8: 28188-28196 (2020) - [j24]Haifeng Guo, Jianhua Feng, Yinxuan Lyu:
Highly-linear wide-range voltage-controlled delay element with body bias technique. Microelectron. J. 96: 104695 (2020) - [j23]Kai Wang, Haifeng Guo, Aidong Xu, Michael G. Pecht:
Degradation Monitoring of Insulation Systems Used in Low-Voltage Electromagnetic Coils under Thermal Loading Conditions from a Creep Point of View. Sensors 20(13): 3696 (2020) - [j22]Haifeng Guo, Ke Peng, Xiaolei Xu, Shuai Tao, Zhen Wu:
The Prediction Analysis of Peer-to-Peer Lending Platforms Default Risk Based on Comparative Models. Sci. Program. 2020: 8816419:1-8816419:10 (2020) - [c53]Wenqiang Hu, Kaiyang Liu, Jinchang Xu, Wei Yan, Haifeng Guo:
AVS2 Fast Intra Mode Decision Hardware Design. EITCE 2020: 1103-1107 - [c52]Haifeng Guo, Tong Lu, Yirui Wu:
Dynamic Low-Light Image Enhancement for Object Detection via End-to-End Training. ICPR 2020: 5611-5618
2010 – 2019
- 2019
- [j21]Chen Li, Fanjie Kong, Kai Wang, Aidong Xu, Gexiang Zhang, Ning Xu, Zhihua Liu, Haifeng Guo, Xue Wang, Kuan Liang, Jianying Yuan, Shouliang Qi, Tao Jiang:
Microscopic Machine Vision Based Degradation Monitoring of Low-Voltage Electromagnetic Coil Insulation Using Ensemble Learning in a Membrane Computing Framework. IEEE Access 7: 97216-97241 (2019) - [c51]Peng Peng, Dongwei Xu, He Gao, Qi Xuan, Yi Liu, Haifeng Guo, Defeng He:
Short-Term Traffic Flow Prediction using Attention-Based Long Short-Term Memory Network. DSC 2019: 403-409 - [c50]Tong Zhang, Junchen Jin, Hui Yang, Haifeng Guo, Xiaoliang Ma:
Link speed prediction for signalized urban traffic network using a hybrid deep learning approach. ITSC 2019: 2195-2200 - [i4]Ruo-Ze Liu, Haifeng Guo, Xiaozhong Ji, Yang Yu, Zitai Xiao, Yuzhou Wu, Zhen-Jia Pang, Tong Lu:
Efficient Reinforcement Learning with a Mind-Game for Full-Length StarCraft II. CoRR abs/1903.00715 (2019) - 2018
- [j20]Kai Wang, Haifeng Guo, Aidong Xu, N. Jordan Jameson, Michael G. Pecht, Bingjun Yan:
Creating Self-Aware Low-Voltage Electromagnetic Coils for Incipient Insulation Degradation Monitoring for Smart Manufacturing. IEEE Access 6: 69860-69868 (2018) - [j19]Haifeng Guo, Lixin Han, Shoubao Su, Zhoubao Sun:
Deep Multi-Instance Multi-Label Learning for Image Annotation. Int. J. Pattern Recognit. Artif. Intell. 32(3): 1859005:1-1859005:16 (2018) - [j18]Zhiyuan Chen, Hai-Feng Guo, Myoungkyu Song:
Improving regression test efficiency with an awareness of refactoring changes. Inf. Softw. Technol. 103: 174-187 (2018) - 2017
- [j17]Shoubao Su, Haifeng Guo, Haimei Tian, Gang Wu:
A Novel Pattern Clustering Algorithm Based on Particle Swarm Optimization Joint Adaptive Wavelet Neural Network Model. Mob. Networks Appl. 22(4): 692-701 (2017) - [j16]Haifeng Guo, Shoubao Su, Zhoubao Sun:
Image tag recommendation based on friendships. Multim. Tools Appl. 76(13): 14581-14597 (2017) - 2016
- [j15]Hai-Feng Guo:
A semantic approach for automated test oracle generation. Comput. Lang. Syst. Struct. 45: 204-219 (2016) - [c49]Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury:
Debugging energy-efficiency related field failures in mobile apps. MOBILESoft 2016: 127-138 - [c48]Haifeng Guo, Kai Wang, He Cui, Aidong Xu, Jin Jiang:
A Novel Method of Fault Detection for Solenoid Valves Based on Vibration Signal Measurement. iThings/GreenCom/CPSCom/SmartData 2016: 870-873 - 2015
- [j14]Bai-qing Sun, Haifeng Guo, Hamid Reza Karimi, Yuanjing Ge, Shan Xiong:
Prediction of stock index futures prices based on fuzzy sets and multivariate fuzzy time series. Neurocomputing 151: 1528-1536 (2015) - [j13]Hai-Feng Guo, Zongyan Qiu:
A dynamic stochastic model for automatic grammar-based test generation. Softw. Pract. Exp. 45(11): 1519-1547 (2015) - [c47]Shoubao Su, Yu Su, Fei Shao, Haifeng Guo:
A Power-Aware Virtual Machine Mapper Using Firefly Optimization. CBD 2015: 96-103 - [c46]Hai-Feng Guo, Qing Ouyang, Harvey P. Siy:
Semantics-based Automated Web Testing. WWV 2015: 59-74 - 2014
- [j12]Haifeng Guo, Jianbin Qiu, Hui Tian, Huijun Gao:
Fault detection of discrete-time T-S fuzzy affine systems based on piecewise Lyapunov functions. J. Frankl. Inst. 351(7): 3633-3650 (2014) - [j11]Hai-Feng Guo, Mahadevan Subramaniam:
Model-based test generation using extended symbolic grammars. Int. J. Softw. Tools Technol. Transf. 16(4): 437-455 (2014) - [c45]Zhi-Bin Ling, Yang Cao, Qin-Dong Ma, Hai-Feng Guo, Baihua Zhang, Zhi-Gang Lu:
Design of 2MW/10kV cascaded power conversion system. IECON 2014: 4250-4255 - [c44]Haifeng Guo, Jun Cheng, Qitao Peng, Chao Zhu, Yuanjie Mu:
Dynamic division of traffic control sub-area methods based on the similarity of adjacent intersections. ITSC 2014: 2208-2213 - [c43]Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu:
Automated Test Oracle Generation via Denotational Semantics. QSIC 2014: 139-144 - [c42]Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy:
Locating fault-inducing patterns from structural inputs. SAC 2014: 1100-1107 - [e1]Matthew Flatt, Hai-Feng Guo:
Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Lecture Notes in Computer Science 8324, Springer 2014, ISBN 978-3-319-04131-5 [contents] - 2013
- [c41]Hai-Feng Guo, Zongyan Qiu:
Automatic Grammar-Based Test Generation. ICTSS 2013: 17-32 - 2012
- [j10]Lingjie Chen, Yu Leng, Haifeng Guo, Ping Shi, Lixian Zhang:
H∞ control of a class of discrete-time Markov jump linear systems with piecewise-constant TPs subject to average dwell time switching. J. Frankl. Inst. 349(6): 1989-2003 (2012) - [c40]Songqing Liu, Liping Li, Hai-Feng Guo:
Generating test cases via model-based simulation. IRI 2012: 17-24 - [c39]Hai-Feng Guo, Mahadevan Subramaniam:
Model-Based Test Generation Using Evolutional Symbolic Grammar. TASE 2012: 111-118 - 2011
- [j9]Hai Shen, Yunlong Zhu, Li Jin, Haifeng Guo:
Lifecycle-based Swarm Optimization Method for Constrained Optimization. J. Comput. 6(5): 913-922 (2011) - [c38]Haifeng Guo, Wenli Dai:
Research on Remanufacturing Reverse Logistics Network Optimization under Uncertain Recycling Number. CSISE (3) 2011: 691-695 - [c37]Li-zhong Zhu, Zhenglin Yao, Hai-feng Guo:
A Dynamic Cell Resource Reserving Handoff Control Algorithm. CMC 2011: 145-150 - [c36]Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo:
An Approach to Regression Test Selection of Adaptive EFSM Tests. TASE 2011: 217-220 - 2010
- [j8]Dalei Wu, Song Ci, Haiyan Luo, Hai-Feng Guo:
A theoretical framework for interaction measure and sensitivity analysis in cross-layer design. ACM Trans. Model. Comput. Simul. 21(1): 6:1-6:26 (2010) - [i3]Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
L2C2: Logic-based LSC Consistency Checking. CoRR abs/1002.3083 (2010)
2000 – 2009
- 2009
- [j7]Hai-Feng Guo, Gopal Gupta:
Dynamic reordering of alternatives for definite logic programs. Comput. Lang. Syst. Struct. 35(3): 252-265 (2009) - [c35]Hai Shen, Yunlong Zhu, Xiaoming Zhou, Haifeng Guo, Chunguang Chang:
Bacterial foraging optimization algorithm with particle swarm optimization strategy for global numerical optimization. GEC Summit 2009: 497-504 - [c34]Li-zhong Zhu, Jing Jiang, Hai-feng Guo:
A New Sliding-Mode Control Algorithm with Simulation. ICNC (2) 2009: 491-495 - [c33]Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
L2C2: logic-based LSC consistency checking. PPDP 2009: 183-194 - [c32]Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
Consistency Checking for LSC Specifications. TASE 2009: 119-126 - 2008
- [j6]Hai-Feng Guo, Bharat Jayaraman:
Logic programming with solution preferences. J. Log. Algebraic Methods Program. 78(1): 1-21 (2008) - [j5]Hai-Feng Guo, Gopal Gupta:
Simplifying dynamic programming via mode-directed tabling. Softw. Pract. Exp. 38(1): 75-94 (2008) - [c31]Hongqi Li, Haifeng Guo, Haimin Guo, Zhaoxu Meng:
Data Mining Techniques for Complex Formation Evaluation in Petroleum Exploration and Production: A Comparison of Feature Selection and Classification Methods. PACIIA (1) 2008: 37-43 - [c30]Hai-Feng Guo:
A Memoized Strategy for Preference Logic Programs. TASE 2008: 255-262 - 2007
- [j4]Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan:
Precise specification matching for adaptive reuse in embedded systems. J. Appl. Log. 5(2): 333-355 (2007) - [j3]Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. Theory Pract. Log. Program. 7(6): 633-695 (2007) - [c29]Miao Liu, Hai-Feng Guo, Zhengxin Chen:
On Multi-Relational Data Mining for Foundation of Data Mining. AICCSA 2007: 389-395 - [c28]Song Ci, Hai-Feng Guo:
Significance Measure with Nonlinear and Incommensurable Observations. GLOBECOM 2007: 4739-4743 - [c27]Deepa Gopal, Qian Wang, Gopal Gupta, S. Chitnis, Haifeng Guo, Arthur I. Karshmer:
Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. HCI (7) 2007: 309-318 - [c26]Song Ci, Hai-Feng Guo:
Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty. ICCCN 2007: 900-904 - [c25]Hai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan:
A General Approach for Partitioning Web Page Content Based on Geometric and Style Information. ICDAR 2007: 929-933 - 2006
- [j2]Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. J. Parallel Distributed Comput. 66(10): 1267-1293 (2006) - [c24]Haifeng Guo, Xiaoyuan Huang:
H Control of a State Matrix Model of Closed-loop Supply Chain and its Bullwhip Effect. ICARCV 2006: 1-5 - [c23]Hai-Feng Guo, Miao Liu, Bharat Jayaraman:
Relaxation on Optimization Predicates. ICLP 2006: 425-426 - [i2]Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
PALS: Efficient Or-Parallelism on Beowulf Clusters. CoRR abs/cs/0607040 (2006) - 2005
- [c22]Haifeng Guo, Peter T. Galligan, Jim Mooney, Adrian Coronado, Dennis F. Kehoe:
The Application of Utility Computing and Web-Services to Inventory Optimisation. IEEE SCC 2005: 185-191 - [c21]Miao Liu, Hai-Feng Guo, Zhengxin Chen:
Genetic Algorithm Based Approach for Nucleic Acid Pattern Extraction. AMCIS 2005: 329 - [c20]Hai-Feng Guo:
Mode-Directed Fixed Point Computation. LPNMR 2005: 253-265 - [c19]Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu:
Optimization with mode-directed preferences. PPDP 2005: 242-251 - [c18]Hai-Feng Guo, Bharat Jayaraman:
Mode-directed preferences for logic programs. SAC 2005: 1414-1418 - 2004
- [j1]Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo:
UMA: a system for universal mathematics accessibility. ACM SIGACCESS Access. Comput. 77-78: 55-62 (2004) - [c17]Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo:
UMA: a system for universal mathematics accessibility. ASSETS 2004: 55-62 - [c16]Zhenyuan Wang, Hai-Feng Guo, Yong Shi, Kwong-Sak Leung:
A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals. CASDMKM 2004: 34-40 - [c15]Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan:
Online Justification for Tabled Logic Programs. FLOPS 2004: 24-38 - [c14]Hai-Feng Guo, Gopal Gupta:
Simplifying Dynamic Programming via Tabling. PADL 2004: 163-177 - [i1]Hai-Feng Guo, Gopal Gupta:
An Efficient and Flexible Engine for Computing Fixed Points. CoRR abs/cs/0412041 (2004) - 2003
- [c13]Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta:
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. Euro-Par 2003: 694-703 - [c12]Zhenyuan Wang, Hai-Feng Guo:
A new genetic algorithm for nonlinear multiregressions based on generalized Choquet integrals. FUZZ-IEEE 2003: 819-821 - [c11]Narayan Annamalai, Deepa Gopal, Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer:
INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex. HCI (4) 2003: 1245-1249 - [c10]Hai-Feng Guo, Gopal Gupta:
A New Mode Declaration for Tabled Predicates. ICLP 2003: 485-486 - [c9]Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan:
Online Justification for Tabled Logic Programs. ICLP 2003: 500-501 - [c8]Hai-Feng Guo:
Precise Specification Matching for Automated Component Retrieval and Adaptation. IRI 2003: 77-84 - 2002
- [c7]Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan:
Justification Based on Program Transformation. LOPSTR 2002: 158-159 - [c6]Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou:
Semantics-Based Filtering: Logic Programming's Killer App? PADL 2002: 82-100 - 2001
- [c5]Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo:
The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. HCI 2001: 929-933 - [c4]Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta:
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42 - [c3]Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan:
Speculative Beats Conservative Justification. ICLP 2001: 150-165 - [c2]Hai-Feng Guo, Gopal Gupta:
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. ICLP 2001: 181-196 - [c1]Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta:
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. ICPP 2001: 287-294
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-12 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint