Search Results - "Huynh, Quyet Thang"

Refine Results
  1. 1

    Monitoring agriculture areas with satellite images and deep learning by Nguyen, Thanh Tam, Hoang, Thanh Dat, Pham, Minh Tam, Vu, Tuyet Trinh, Nguyen, Thanh Hung, Huynh, Quyet-Thang, Jo, Jun

    Published in Applied soft computing (01-10-2020)
    “…Agriculture applications rely on accurate land monitoring, especially paddy areas, for timely food security control and support actions. However, traditional…”
    Get full text
    Journal Article
  2. 2

    Estimating searching cost of regular path queries on large graphs by exploiting unit-subqueries by Nguyen, Van-Quyet, Huynh, Quyet-Thang, Kim, Kyungbaek

    Published in Journal of heuristics (01-04-2022)
    “…Regular path queries (RPQs) are widely used on a graph whose answer is a set of tuples of nodes connected by paths corresponding to a given regular expression…”
    Get full text
    Journal Article
  3. 3

    New non‐homogeneous Poisson process software reliability model based on a 3‐parameter S‐shaped function by Nguyen, Hung‐Cuong, Huynh, QuyetThang

    Published in IET software (01-04-2022)
    “…Software reliability modelling is the mathematical technique used to evaluate the reliability of a software system. The non‐homogeneous Poisson process is a…”
    Get full text
    Journal Article
  4. 4

    A Novel Particle Swarm Optimization Approach to Support Decision-Making in the Multi-Round of an Auction by Game Theory by Bao, Trinh Ngoc, Huynh, Quyet-Thang, Nguyen, Xuan-Thang, Nguyen, Gia Nhu, Le, Dac-Nhuong

    “…In this paper, game-theoretic optimization by particle swarm optimization (PSO) is used to determine the Nash equilibrium value, in order to resolve the…”
    Get full text
    Journal Article
  5. 5

    Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors by Pham, Thanh-Trung, Défago, Xavier, Huynh, Quyet-Thang

    Published in Science of computer programming (01-01-2015)
    “…One of the most important quality attributes of a software system beyond its functional attributes is its reliability. Techniques for predicting reliability of…”
    Get full text
    Journal Article
  6. 6

    Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning by Le-Cong, Thanh, Luong, Duc-Minh, Le, Xuan Bach D., Lo, David, Tran, Nhat-Hoa, Quang-Huy, Bui, Huynh, Quyet-Thang

    Published in IEEE transactions on software engineering (01-06-2023)
    “…Automated program repair (APR) has been gaining ground recently. However, a significant challenge that still remains is test overfitting, in which…”
    Get full text
    Journal Article
  7. 7

    Usability and Aesthetics: Better Together for Automated Repair of Web Pages by Le-Cong, Thanh, Le, Xuan Bach D., Huynh, Quyet Thang, Nguyen, Phi Le

    “…With the recent explosive growth of mobile devices such as smartphones or tablets, guaranteeing consistent web appearance across all environments has become a…”
    Get full text
    Conference Proceeding
  8. 8

    A Scalable Approach for Dynamic Evacuation Routing in Large Smart Buildings by Nguyen, Van-Quyet, Nguyen, Huu-Duy, Huynh, Quyet-Thang, Venkatasubramanian, Nalini, Kim, Kyungbaek

    “…This paper considers the problem of dynamic evacuation routing in large smart buildings. We investigate a scalable routing approach which not only generates…”
    Get full text
    Conference Proceeding
  9. 9

    Monitoring Rice Crop with Dense Segmentation on Satellite Images: A case study in Vietnamese Mekong Delta by Hoang Duong, Le, Thanh Dat, Hoang, Thanh Chung, Nguyen, Tuyet Trinh, Vu, Thanh Hung, Nguyen, Huynh, Quyet-Thang

    “…Rice is the major crop in Vietnam with the crucial roles in national food security and export. While the demand of this crop is increasing overtime, the land…”
    Get full text
    Conference Proceeding
  10. 10

    A Method for Improvement the Parameter Estimation of Non-linear Regression in Growth Model to Predict Project Cost at Completion by Huynh, Quyet-Thang, Le, The-Anh, Nguyen, Thanh-Hung, Nguyen, Nhat-Hai, Nguyen, Duc-Hieu

    “…In this paper, we propose a comparison between existing parameter estimation methods of a nonlinear regression-based growth model to forecast project duration…”
    Get full text
    Conference Proceeding
  11. 11
  12. 12

    A Combinatorial Technique for Mobile Applications Software Testing by Huynh, Quyet-Thang, Nguyen, Duc-Man, Ha, Nhu-Hang, Pham, Trung-Kien, Nguyen, Phuong-Thao, Tran, Van-Dao

    “…In this article, we propose a combinatorial testing technique for mobile application, thereby suggesting a combination of test-driven data generation…”
    Get full text
    Conference Proceeding
  13. 13

    Analysis of effectiveness of communication overheads in the parallel computing system using the closed product form queueing network by Nguyen Minh Quy, Ho Khanh Lam, Huynh Quyet Thang

    “…Assessment, computation and establishment of methods for decreasing communication overheads in parallel computing systems using multi-processor architectures…”
    Get full text
    Conference Proceeding
  14. 14

    FFL: Fine-grained Fault Localization for Student Programs via Syntactic and Semantic Reasoning by Nguyen, Thanh-Dat, Le-Cong, Thanh, Luong, Duc-Minh, Duong, Van-Hai, Le, Xuan-Bach D., Lo, David, Huynh, Quyet-Thang

    “…Fault localization has been used to provide feedback for incorrect student programs since locations of faults can be a valuable hint for students about what…”
    Get full text
    Conference Proceeding
  15. 15

    Teaching Assignment Based on NASH Equilibrium and Genetic Algorithm by Chi, Le Phuong, Thang, Huynh Quyet, Huong Giang, Vu Thi, Son, Ngo Tung, Anh, Bui Ngoc

    “…Teaching assignment refers to the process of allocating classes to instructors for a given academic semester. Its outcome is a schedule that must adhere to…”
    Get full text
    Conference Proceeding
  16. 16

    Toward the Analysis of Graph Neural Networks by Nguyen, Thanh-Dat, Le-Cong, Thanh, Nguyen, ThanhVu H., Le, Xuan-Bach D., Huynh, Quyet-Thang

    “…Graph Neural Networks (GNNs) have recently emerged as an effective framework for representing and analyzing graph-structured data. GNNs have been applied to…”
    Get full text
    Conference Proceeding
  17. 17

    AutoPruner: Transformer-Based Call Graph Pruning by Le-Cong, Thanh, Kang, Hong Jin, Nguyen, Truong Giang, Haryono, Stefanus Agus, Lo, David, Le, Xuan-Bach D, Thang, Huynh Quyet

    Published 07-09-2022
    “…Constructing a static call graph requires trade-offs between soundness and precision. Program analysis techniques for constructing call graphs are…”
    Get full text
    Journal Article
  18. 18

    A Method for Project Completion Cost Predicting Using LSTM in Earned Value Management Technique by Le, The-Anh, Huynh, Quyet-Thang, Nguyen, Thanh-Hung, Nguyen, Nhat-Hai, Cao, Phuong-Nam

    “…In this paper, we present a four-step method using the LSTM network model to predict project completion cost. In this proposed method, we take as some…”
    Get full text
    Conference Proceeding
  19. 19

    A Profit-Equilibrium Model for Retailers and Vendors in the Vendor Managed Inventory Problem by Huynh, Quyet-Thang, Vu, Thi-Huong-Giang, Nguyen, Doan-Cuong, Vu, Thanh-Trung, Hoang, Cong-Tue, Nguyen, Thi-Xuan-Hoa

    “…In this paper, we discuss how the availability and flow of products from an unlimited central warehouse to a retailer network through a vendor in a Vendor…”
    Get full text
    Conference Proceeding
  20. 20

    A real-time model based Support Vector Machine for emotion recognition through EEG by Viet Hoang Anh, Manh Ngo Van, Bang Ban Ha, Thang Huynh Quyet

    “…Recently, there has been a significant amount of work on the recognition of human emotions. The results of the work can be applied in real applications, for…”
    Get full text
    Conference Proceeding