yusuke1997/dblp-id-title huggingface dataset:
The TBM global distance measure for the association of uncertain combat ID declarations
RWO-Sampling: A random walk over-sampling approach to imbalanced data classification
MSHP3D: Multi-stage cross-modal fusion based on Hybrid Perception for indoor 3D object detection
Gesture recognition with adaptive-weight-based residual MultiheadCrossAttention fusion based on multi-level feature information
Medical image segmentation using deep semantic-based methods: A review of techniques, applications and emerging trends
Data augmentation with attentional feature aggregation for node classification in GNNs
Vul-LMGNNs: Fusing language models and online-distilled graph neural networks for code vulnerability detection
CM2-STNet: Cross-modal image matching with modal-adaptive feature modulation and sparse transformer fusion
LLM-infused multi-module transformer for emotion-aware sentiment analysis in few-shot scenarios
Social contraction and belief negotiation
Refining fine-tuned transformers with hand-crafted features for gender screening on question-answering communities
Anchor-based multi-view subspace clustering with hierarchical feature descent
Physics-informed deep learning for traffic state estimation based on the traffic flow model and computational graph method
The joint optimal filtering and fault detection for multi-rate sensor fusion under unknown inputs
Explainability and vision foundation models: A survey
Maximal fusion of facts on the web with credibility guarantee
A novel model usability evaluation framework (MUsE) for explainable artificial intelligence
Managing heterogeneous preferences and multiple consensus behaviors with self-confidence in large-scale group decision making
LLaVA-based semantic feature modulation diffusion model for underwater image enhancement
A hybrid model through the fusion of type-2 fuzzy logic systems and extreme learning machines for modelling permeability prediction
A multi-representation re-ranking model for Personalized Product Search
Multi-modal collaborative learning with vision foundation model prompt boosts 3D semi-supervised semantic segmentation
A label field fusion model with a variation of information estimator for image segmentation
Fusion of multivariate EEG signals for schizophrenia detection using CNN and machine learning techniques
Continuous causal structure learning from incremental instances and feature spaces
Surgical-VQLA++: Adversarial contrastive learning for calibrated robust visual question-localized answering in robotic surgery
Generalist models in medical image segmentation: A survey and performance comparison with task-specific approaches
Co-designed anchor-free localization and location-based routing algorithm for rapidly-deployed wireless sensor networks
TDF-Net: Trusted Dynamic Feature Fusion Network for breast cancer diagnosis using incomplete multimodal ultrasound
Pixel-based and region-based image fusion schemes using ICA bases
Entailment for measure based belief structures
On the notion of fuzzy dispersion measure and its application to triangular fuzzy numbers
MidFusion: An adaptive middleware for information fusion in sensor network applications
Multi-source information fusion through tucker tensor decomposition-based transfer learning for handwriting-Based Alzheimer's disease detection
A self-supervised data augmentation strategy for EEG-based emotion recognition
MAD3PG: A framework for multi-agent deep denoising diffusion policy gradient optimization
An overview and comprehensive comparison of ensembles for concept drift
On query processing in wireless sensor networks using classes of quality of queries
Multi-layer multi-level comprehensive learning for deep multi-view clustering
Large language models for automated scholarly paper review: A survey
PARIS: Partial instance and training set selection. A new scalable approach to multi-label classification
Relationships between combination methods and measures of diversity in combining classifiers
Utility-based context-aware multi-agent recommendation system for energy efficiency in residential buildings
COM-based software architecture for multisensor fusion system
Introducing spatial neighbourhood in Evidential C-Means for segmentation of multi-source images: Application to prostate multi-parametric MRI
Mass customized/personalized manufacturing in Industry 4.0 and blockchain: Research challenges, main problems, and the design of an information architecture
A review for image-text matching from deep learning perspective
DLBN: A deep logic belief network for fault diagnosis of dust removal fans
Exploiting the ensemble paradigm for stable feature selection: A case study on high-dimensional genomic data
Attentive gated graph sequence neural network-based time-series information fusion for financial trading
Explainable decision forest: Transforming a decision forest into an interpretable tree
Multi-head learning models for power consumption prediction of unmanned ground vehicles
EGGDD: An explicit dependency model for multi-modal medical image fusion in shift-invariant shearlet transform domain
Hierarchical multi-modal fusion FCN with attention model for RGB-D tracking
Machine learning for integrating data in biology and medicine: Principles, practice, and opportunities
Learning emotional prompt features with multiple views for visual emotion analysis
FusionFedBlock: Fusion of blockchain and federated learning to preserve privacy in industry 5.0
Multimodal graph representation learning for robust surgical workflow recognition with adversarial feature disentanglement
Elucidative fusion systems - an exposition
Deep learning-based hyperspectral and multispectral fusion techniques: Review, optimization, and perspectives
Mixed-noise robust tensor multi-view clustering via adaptive dictionary learning
Aspect terms grouping via fusing concepts and context information
Multimodal federated learning: Concept, methods, applications and future directions
LMVD: A large-scale multimodal vlog dataset for depression detection in the wild
Advances in Data Preprocessing for Biomedical Data Fusion: An Overview of the Methods, Challenges, and Prospects
Saliency-directed prioritization of visual data in wireless surveillance networks
Fusion of EEG response and sentiment analysis of products review to predict customer satisfaction
Fusing Information Simultaneously Corrupted by Uncertainties with Known Bounds and Random Noise with Known Distribution
Construction of admissible linear orders for interval-valued Atanassov intuitionistic fuzzy sets with an application to decision making
A maximum satisfaction-based feedback mechanism for non-cooperative behavior management with agreeableness personality traits detection in group decision making
Multi-level knowledge distillation via dynamic decision boundaries exploration and exploitation
Dynamics of linguistic opinion formation in bounded confidence model
Aspect-level sentiment analysis: A survey of graph convolutional network methods
Relaxed multi-view clustering in latent embedding space
Classical dynamic consensus and opinion dynamics models: A survey of recent trends and methodologies
KM4: Visual reasoning via Knowledge Embedding Memory Model with Mutual Modulation
The impact of impact factor
Emotion recognition and artificial intelligence: A systematic review (2014-2023) and research recommendations
Dual-branch transformer framework with gradient-aware weighting feature alignment for robust cross-view geo-localization
A design framework for operationalizing trustworthy artificial intelligence in healthcare: Requirements, tradeoffs and challenges for its clinical adoption
Use of secondary data to estimate instantaneous model parameters of diabetic heart disease: Lemonade Method
2D and 3D Traveling Salesman Problem
Development of the PEBL Traveling Salesman Problem Computerized Testbed
Does Comparing Informal and Formal Procedures Promote Mathematics Learning? The Benefits of Bridging Depend on Attitudes Toward Mathematics
Seeing is as Good as Doing
A Comparison of Reinforcement Learning Models for the Iowa Gambling Task Using Parameter Space Partitioning
Human Performance on Insight Problem Solving: A Review
The Effects of Number and Level of Restructuring in Insight Problem Solving
What Are the Odds? A Practical Guide to Computing and Reporting Bayes Factors
Human Performance on Hard Non-Euclidean Graph Problems: Vertex Cover
Solving Classical Insight Problems Without Aha! Experience: 9 Dot, 8 Coin, and Matchstick Arithmetic Problems
Problem Solving as an Encoding Task: A Special Case of the Generation Effect
Human Problem Solving in 2010
In Memoriam: Dr. Edward P. Chronicle
Intuitive Tip of the Tongue Judgments Predict Subsequent Problem Solving One Day Later
Testing the Cue Dependence of Problem-Solving-Induced Forgetting
Causality in Solving Economic Problems
The Minimal Control Principle Predicts Strategy Shifts in the Abstract Decision Making Task
Perspectives on Problem Solving in Educational Assessment: Analytical, Interactive, and Collaborative Problem Solving
Effects of Cluster Location on Human Performance on the Traveling Salesperson Problem
Clue Insensitivity in Remote Associates Test Problem Solving
Indentations and Starting Points in Traveling Sales Tour Problems: Implications for Theory
The Effect of Strategy on Problem Solving: An fMRI Study
Clustering, Randomness, and Regularity: Spatial Distributions and Human Performance on the Traveling Salesperson Problem and Minimum Spanning Tree Problem
Firing the Executive: When an Analytic Approach to Problem Solving Helps and Hurts
Introspection in Problem Solving
Guest Editors’ Introduction
Relevancy in Problem Solving: A Computational Framework
Heuristics in Problem Solving: The Role of Direction in Controlling Search Space
Persistent and Pernicious Errors in Algebraic Problem Solving
Are Individual Differences in Performance on Perceptual and Cognitive Optimization Problems Determined by General Intelligence?
Traveling Salesman Problem: A Foveating Pyramid Model
Human Problem Solving in 2008
Minimal Paths in the City Block: Human Performance on Euclidean and Non-Euclidean Traveling Salesperson Problems
Theory Driven Hints in the Cheap Necklace Problem: A Preliminary Investigation
The Role of Problem Representation in Producing Near-Optimal TSP Tours
The Paradigm Recursion: Is It More Accessible When Introduced in Middle School?
Human Performance on the Traveling Salesman and Related Problems: A Review
Algorithmic Puzzles: History, Taxonomies, and Applications in Human Problem Solving
Measuring Human Performance on Clustering Problems: Some Potential Objective Criteria and Experimental Research Opportunities
Some Tours are More Equal than Others: The Convex-Hull Model Revisited with Lessons for Testing Models of the Traveling Salesperson Problem
Heuristics for Comparing the Lengths of Completed E-TSP Tours: Crossings and Areas
An Investigation of Starting Point Preferences in Human Performance on Traveling Salesman Problems
Wait for it . . . Delaying Instruction Improves Mathematics Problem Solving: A Classroom Study
The Role of the Goal in Solving Hard Computational Problems: Do People Really Optimize?
What Does (and Doesn’t) Make Analogical Problem Solving Easy? A Complexity-Theoretic Perspective
Human Performance on Visually Presented Traveling Salesperson Problems with Varying Numbers of Nodes
Deep Analogical Inference as the Origin of Hypotheses
Optimizing and “Pessimizing”: Human Performance with Instructional Variants of the Traveling Salesperson Problem
Group Decision-Making on an Optimal Stopping Problem
Individual Differences in Optimization Problem Solving: Reconciling Conflicting Results
On Evaluating Human Problem Solving of Computationally Hard Problems
Differential Modulation of Performance in Insight and Divergent Thinking Tasks with tDCS
Fast and Efficient Discrimination of Traveling Salesperson Problem Stimulus Difficulty
Finite Optimal Stopping Problems: The Seller’s Perspective
Quality, Conformity, and Conflict: Questioning the Assumptions of Osborn’s Brainstorming Technique
Conceptual Transformation and Cognitive Processes in Origami Paper Folding
New Perspectives on Human Problem Solving
Alternative Representations in Algebraic Problem Solving: When are Graphs Better Than Equations?
The Roles of Internal Representation and Processing in Problem Solving Involving Insight: A Computational Complexity Perspective
Rewarding Multitasking: Negative Effects of an Incentive on Problem Solving under Divided Attention
Investigating Insight as Sudden Learning
Insight Problem Solving: A Critical Examination of the Possibility of Formal Theory
Modeling Human Performance in Restless Bandits with Particle Filters
Causal Induction from Continuous Event Streams: Evidence for Delay-Induced Attribution Shifts
Activation of Operational Thinking During Arithmetic Practice Hinders Learning And Transfer
Perceptual or Analytical Processing? Evidence from Children's and Adult's Performance on the Euclidean Traveling Salesperson Problem
Human Problem Solving in 2006
Effects of Cover Stories on Problem Solving in a Statistics Course
Solving Large Problems with a Small Working Memory
Enclothed Cognition and Controlled Attention during Insight Problem-Solving
Remote Associates Test and Alpha Brain Waves
The Problems with Problem Solving: Reflections on the Rise, Current Status, and Possible Future of a Cognitive Research Paradigm
Human Problem Solving in 2012
Visual Attention Modulates Insight Versus Analytic Solving of Verbal Problems
A Comparison of Heuristic and Human Performance on Open Versions of the Traveling Salesperson Problem
The Self-Organization of Insight: Entropy and Power Laws in Problem Solving
Obstacles in Investigating the Role of Restructuring in Insightful Problem Solving
Situative Creativity: Larger Physical Spaces Facilitate Thinking of Novel Uses for Everyday Objects
Examining the Role of Manipulatives and Metacognition on Engagement, Learning, and Transfer
The Process of Solving Complex Problems
When Do Words Promote Analogical Transfer?
Is Insight Always the Same? A Protocol Analysis of Insight in Compound Remote Associate Problems
Human-Machine Cooperation in Large-Scale Multimedia Retrieval: A Survey
Book Review of Rosenhouse, The Monty Hall Problem
Towards automatically identifying the co-change of production and test code
Semantic-aware two-phase test case prioritization for continuous integration
Directed test suite augmentation: an empirical investigation
Editorial: A History Lesson?
Probabilistic reasoning in diagnosing causes of program failures
MuRanker: a mutant ranking tool
Inductive Inference and Software Testing
An AGENDA for testing relational database applications
Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review)
Editorial: Find the missing links?
Software Assessment: Reliability, Safety, Testability, by Michael A. Friedman and Jeffrey M. Voas, Wiley, 1995 (Book Review)
Automated verification and testing of user-interactive undo features in database applications
Software Verification and Validation: A Practitioner's Guide, by Steven R. Rakitin, Artech House, 1997 (Book Review)
Object-Oriented Software Testing: A Hierarchical Approach, by Shel Siegel, Wiley, 1996 (Book Reviews)
Software Design for Real-Time Systems, by J. E. Cooling, Chapman and Hall, 1990 (Book Review)
Test Process Improvement, Tim Koomen and Martin Pol, Addison-Wesley, 1999 (Book Review)
Demand-driven propagation-based strategies for testing changes
Coupling-based Criteria for Integration Testing
Transformational Program Analysis
Editorial: Putting specifications to the test
Test code evolution and mutation testing
The Cleanroom Approach to Quality Software Development, by Michael Dyer, Wiley, 1992 (Book Review)
An event-flow model of GUI-based applications for testing
A simplification of a real-time verification problem
Testing from a Z Specification
Editorial: Changes to STVR's Editorial Board
Formal Specification and Testing: A Case Study
Editorial: Software testing is an elephant
Book Review: Spin Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop, Stanford, CA, USA, By Klaus Havelund, John Penix and Willem Visser (eds.). LNCS 1885
Software Engineering Metrics, Volume 1: Measures and Validations, by Martin Sheppard, McGraw-Hill, 1993 (Book Review)
Design of Dependable Ada Software, by G. Motet, A. Mapinard and J. C. Geoffroy, Prentice Hall, 1995 (Book Review)
Editorial: Plagiarism Is For Losers
A minimal test practice framework for emerging software organizations
Reducing execution profiles: techniques and benefits
Statically driven generation of concurrent tests for thread-safe classes
Fault tolerance and metamorphic relation prediction
Testing Web Security: Assessing the Security of Web Sites and Applications. By Steven Splaine. Published by John Wiley and Sons, New York, USA, 2002 ISBN 0-471-23281-5, 345 pages
A Formal Interpretation of Software Testing as Inductive Inference
HiRAM: A hierarchical risk assessment model and its implementation for an industrial Internet of Things in the cloud
Software Metrics: A Rigorous Approach, by Norman Fenton, Chapman and Hall, 1991 (Book Review)
Detecting display energy hotspots in Android apps
Editorial: Running a conference program meeting in the 21st century
Evaluating the sustained performance of COTS-based messaging systems
A density-based greedy algorithm for higher strength covering arrays
Modular formal verification of specifications of concurrent systems
Editorial: Submission of Position Papers and Letters to the Editor
Editorial: special issue on specification-based testing
A test sequence selection method for statecharts
Concerning Ordered Mutation Testing of Relational Operators
Test-Data Generation Using Genetic Algorithms
A framework for practical, automated black-box testing of component-based software
Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations
Software component composition: a subdomain-based testing-theory foundation
Editorial: Self-plagiarism is not a thing
Approaches for computing test-case-aware covering arrays
Additional transformations for multiple-level escape statements
Automatic instantiation of abstract tests on specific configurations for large critical control systems
Comprehensive evaluation of file systems robustness with SPIN model checking
Testing aspect-oriented programs with finite state machines
Software Testing and Continuous Quality Improvement. Second Edition. By William E. Lewis. Technical Contributor: Gunasekaran Veerapillai. Published by Auerbach Publications, 2005, ISBN: 0-8493-2524-2, pp 534
How the web resuscitated evolutionary design
Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications
A Theoretical Study of Fault Coupling
Decision Tables: Formalisation, Validation and Verification
Engineering Quality Software: A Review of Current Practices, Standards and Guidelines Including New Methods and Development Tools, by avid J. Smith and Kenneth B. Wood, Elsevier (Book Review)
Software Quality: Theory and Management, by Alan C. Gillies, Chapman and Hall, 1992 (Book Review)
Developing User Interfaces: Ensuring Usability Through Product and Process, by Deborah Hix and H. Rex Hartson, Wiley, 1993 (Book Review)
Quality assurance for TTCN-3 test specifications
Metrics and Models in Software Quality Engineering, by Stephen H. Kan, Addison-Wesley, 1995 (Book Review)
Can operational profile coverage explain post-release bug detection?
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)
Model checking C++ programs
Search-based testing using constraint-based mutation
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation
The determination of optimal software release times at different confidence levels with consideration of learning effects
On the selection of software defect estimation techniques
Object-sensitive cost analysis for concurrent objects
Assessment of C++ object-oriented mutation operators: A selective mutation approach
An automated functional testing approach for virtual reality applications
Editorial: Testing Matters
Event-based modelling, analysis and testing of user interactions: approach and case study
DSKIPP: A Prompt Method to Enhance the Reliability in LLMs for Java API Recommendation Task
A failed proof can yield a useful test
Transition covering tests for systems with queues
Towards an automation of the mutation analysis dedicated to model transformation
Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study
Editorial: Mutation 2000 - A Symposium on Mutation Testing
Software Configuration Management, by H. Ronald Berlack, Wiley (Book Review)
Guest Editorial: EuroSTAR '93
Special issue: ISSRE 2018, the 29th IEEE International Symposium on Software Reliability Engineering
Employing second-order mutation for isolating first-order equivalent mutants
Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites
Investigating fault injection techniques in hardware-based deep neural networks and mutation-based fault localization
Using mutants to help developers distinguish and debug (compiler) faults
A survey of code-based change impact analysis techniques
Editorial: Testing - a Sisyphean or Herculean Task?
Declarative Paradigm of Test Coverage
A Knowledge-Based Test Plan Generator for Incremental Unit and Integration Software Testing
Multigranularity Coverage Criteria for Deep Learning Libraries
DNN Testing, Regression Testing and Software Reliability Prediction
Reducing logic test set size while preserving fault detection
Tribute: John Gannon
Editorial: Quantum Computing, Software Testing and the Millennium Bug
Z - An Introduction to Formal Methods, by Antoni Diller, Wiley, Second Edition, 1994 (Book Review)
Preamble computation in automated test case generation using constraint logic programming
Successful Test Management: An Integral Approach. By Iris Pinkster, Bob van de Burgt, Dennis Janssen, and Erik van Veenendaal. Springer, 2004, ISBN: 3-540-22822-5, pp 373
High-level data races
Testing Refinements of State-based Formal Specifications
Tracing Service Request Processing in Cloud
Research on hyper-level of hyper-heuristic framework for MOTCP
Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Springer, 2005, ISBN: 3-540-21871-8, pp 410
Object-Oriented Software Metrics, by Mark Lorenz and Jeff Kidd, Prentice Hall, 1994 (Book Review)
Discrete Event Simulation in C, by Kevin Watkins, McGraw-Hill, 1993 (Book Review)
Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000)
A new method for testing timed systems
Mutation testing optimisations using the Clang front-end
Formal passive testing of timed systems: theory and tools
Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns
Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction
Automated structural analysis of SCR-style software requirements specifications using PVS
Improving Web Element Localization by Using a Large Language Model
An Empirical Investigation of the Relationship Between Spectra Differences and Regression Faults
Problem frames: analyzing and structuring software development problems
Error-preserving reductions on communication protocols
A testing strategy for abstract classes
An improved software reliability prediction model by using high precision error iterative analysis method
Choosing the fitness function for the job: Automated generation of test suites that detect real faults
Automatic property-based testing and path validation of XQuery programs
Software model checking: extracting verification models from source code
State-of-the-art: software inspections after 25 years
Model-based quality assurance of protocol documentation: tools and methodology
Refinement in Z and object-Z: foundations and advanced applications
A Systematic Mapping Study of the Metrics, Uses and Subjects of Diversity-Based Testing Techniques
Special issue on new generations of UI testing