yusuke1997/dblp-id-title huggingface dataset:
Towards integration of user-centered designed tutorials for better virtual reality immersion
Retinex Decomposition-based Change Detection Network for HR Remote Sensing Images
Adjustable Contrast Enhancement Using Fast Piecewise Linear Histogram Equalization
DFILN: Deep Feature-interactive Learning Network for Object Detection
An Improved YOLOv5 Real-time Traffic Sign Detection Algorithm
Dynamically Expanded CNN Array for Video Coding
RFF-Net: A Refined Feature Feedback Network for Muscle Ultrasound Image Segmentation with Feature Subtraction and Deep Supervision
Features Calculation of Closed Curve and its Application in Leaf Discrimination
A New Infrared and Visible Image Fusion Method Based on Generative Adversarial Networks and Attention Mechanism
CNN -Enhanced Multi-Scale Graph Attention Network for Hyperspectral Image Classification
Blind Ultrasound Images Deblurring Based on Quadratic Sparse Bright Channel Prior
A fast and efficient correction technique for slant images
DSS: Dynamic Sample Selection by Utilizing Object Shape and Scale
Design of Human-computer Interaction System for Infrared Small Target Detection
A Micro-expression Recognition Algorithm based on Dense Optical Flow and C3D Network
Rapid Ground Car Detection on Aerial Infrared Images
D2ETR: A Decoupled DETR for Efficient Detection in Aerial Images
YOLO-based Tricycle Detection from Traffic Video
Processing RGB-D Data from a 3D Camera using Object Detection and Written Character Recognition in Convolutional Neural Networks for Virtual Finger Writing
Application of Image Similarity Detection based on Typical ITAI Servers
Image Super-Resolution with Perceptual Quality Assessment Guidance
Adversarial Recovery Network for Low-Light Person Re-Identification
Leaf Species Identification Using Multi Texton Histogram and Support Vector Machine
An Enhancing Approach for Typhoon Cloud Image
StemNet: A Dataset, Benchmark and Method for Scene Recognition in Remote Sensing
Object based Classification of Multispectral Remote Sensing Images for Forestry Applications
RainyTrack: Enhancing Object Tracking in Adverse Weather Conditions with Siamese Networks
Extraction of features from video files using different image algebraic point operations
Point Cloud Attribute Compression based on Adaptive Sampling and Quantization
Channel-Spatial Attention Network for Lunar Image Super-Resolution
Multi-Scale Feature Adaptive Fusion for Multi-Task Dense Prediction
Facial Action Unit Detection based on Multi-task Learning
Advanced template matching prediction using a motion boundary
Deep Learning RN-BCNN Model for Breast Cancer BI-RADS Classification
Shape Prior Fusion for Oracle Bone Inscriptions Detection
Using Double Bit Range Estimation for CABAC in VVC
A Method of Touchable 3d Model Reconstruction based on Mixed Reality -A Case Study of Medical Training Applications
A Robust Algorithm for Hand-forearm Segmentation
Adaptive Minimax-Concave Penalty based MR Image Denoising with Difference of Gaussian filter
UNet-based MRI spinal vertebral body center extraction
Enhancing Accuracy for Human Trajectory Forecasting in Crowded Scenes
Dynamic Monitoring of Urban Built-up Area Changes Based on Landsat Images
Imperceptibility thresholds in quantised 3D triangle meshes
A New Track Association Algorithm for Distributed Sensor Networks
Multi-intermediate Feature with Multi-stage Fusion for Domain Adaptive Person Re-ID
Precision Inspection and Evaluation System for Paper Packaging of Cigarettes
Region-aware Registration for Multi-stained Histology Images
Finite-Exemplar-Based Super-Resolution for Specific Gaming Videos
Accelerating Deconvolution in Extended Depth of Field Based on FFT and GPU Computation
Deep Colorization: A Channel Attention-based CNN for Video Colorization
Improving Source Separation for Multi-subject fMRI Data by Incorporating Signal Intensity and Spatiotemporal Basis Expansion
Speech recognition and Filipino sign language E-tutor system: an assistive multimodal learning approach
Accurate Thoracic Disease Classification via Ensemble Networks
MA-Net: A MLP-based Attentional Deep Network for Segmentation of Liver Tumor Ablation Region from 2D Ultrasound Image
Conditional Transformation Diffusion for Object Placement
Classification of Multisource Remote Sensing Images Using Multimodal Equilateral Absorption Network
Multiscale Convolution and Attention based Denoising Autoencoder for Motion Artifact Removal in ECG Signals
Image Processing Approach for Segmentation of WBC Nuclei based on K-Means Clustering
An Effective Imaging System for 3D Detection of Occluded Objects
Improved YOLO-based Pedestrian Detection Algorithm
A gamified learning app for children with ADHD
Research on the Integrated Method of Classification and Counting of Fitness Activities
Detection and Extraction of Roads using Cartosat-2 High Resolution Satellite Imagery
Aircraft Detection of High-Resolution Remote Sensing Image Based on Faster R-CNN Model and SSD Model
A Nonuniform Weighted Loss Function for Imbalanced Image Classification
Contrastive Adaptive Segmentation Method for Spartina Alterniflora Based on Intermediate Domain Prototypes
Real-time Monitoring of 3D Printing Using Between-layer Structural Similarity (BLSS)
Accelerated DNA-SLAM for RGB-D images
Fisheye Image Calibration and Super-Resolution Method Based On Deep Learning
A QR Code Image Processing Mechanism for Book Access Robot Positioning and Navigation
Larger Window Size of Patch-wise Metric Based on Structure Similarity for Tiny Defects Localization on Grid Products
DentaLean: e-Learning Application for Root Canal Treatment with 3D Simulation
HaptDoll: an interactive device for tactile sensation with virtual companion doll
Multi-object Tracking with Long Short -Term Memory
Synthetic data generation for watermark extraction from 3D printed objects
Multi-attribute Classification of Human Body Images Based on Simplified Two-level Consistency
Development of the virtual museum of nonthaburi
Intelligent Highway Speed Monitoring UAV System Based on Deep Learning
MGF: An Algorithm for Compressed Sensing MRI with Gradient Domain Guided Image Filtering
Vision-based UAV Safe Landing exploiting Lightweight Deep Neural Networks
Time-frequency characterization of resting-state brain function reveals overlapping components with specific topology and frequency content
Multi-Camera Joint Self-Calibration from Observations of Pedestrians
Individual Identification Method of Leopard in Multiple Scenarios
Underwater Image Captioning Based on Feature Fusion
Improving the Long-tailed Remote Sensing Target Detection via Target-level Comparision
Polarization image fusion algorithm based on global information correction
The Tire Sidewall Key Information Region Detection Algorithm based on the Improvement of YOLOv5
Sequent Calculi for Normal Update Logics
A Unified Framework for Certificate and Compilation for QBF
Truths about Simpson's Paradox: Saving the Paradox from Falsity
Equivalence of Deterministic Weighted Real-Time One-Counter Automata
Infinite Liar in a (Modal) Finitistic Setting
Ancient Indian Logic and Analogy
Monotone Modal Logic Beyond Distributivity
Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces
Logic-Automata Connections for Transformations
A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic
A Modal Logic for Non-deterministic Information Systems
The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5
Infinite Games and Uniformization
Some Instances of Graded Consequence in the Context of Interval-Valued Semantics
Sensible Semantics of Imperfect Information - On a Formal Feature of Meanings
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge
Asynchronous Transition System Games for Two Processes and Their Analysis
The Birth of Proof: Modality and Deductive Reasoning
Model Theory for Sheaves of Modules
Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
A General Setting for the Pointwise Investigation of Determinacy
Ramsey Theory on Trees and Applications
A Semantics of Basic Modal Language via a Rough Set Framework
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
Neighborhood Contingency Logic
On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility
On Semantic Gamification
A Semantic Analysis of Stone and Dual Stone Negations with Regularity
Tableaux for Non-normal Public Announcement Logic
Fuzzy Free Logic with Dual Domain Semantics
Agent-Time Epistemics and Coordination
Two Ways to Scare a Gruffalo
Public Announcements for Epistemic Models and Hypertheories
Negative Existentials and Non-denoting Terms
Game Quantification Patterns
Subset Space Logic with Arbitrary Announcements
Gautama - Ontology Editor Based on Nyaya Logic
A Qualitative Approach to Uncertainty
Unification in Modal Logic
The Relevance of Relevance to Relevance Logic
Multiple-Valued Semantics for Metric Temporal Logic
The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting
The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation
NSOP1 as a Dividing Line
Measurement-Theoretic Foundations of Logic of Inexact Knowledge
Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic Without Language
Moving Up and Down in the Generic Multiverse
Towards a Constructive Formalization of Perfect Graph Theorems
Labelled Calculi for the Logics of Rough Concepts
Extensive Questions
Logic and Its Applications - 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
A Para Consistent Fuzzy Logic
Peirce's Sequent Proofs of Distributivity
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming
Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability
There is Hope for Connexive Set Theories!
Extending Carnap's Continuum to Binary Relations
Satisfaction Classes via Cut Elimination
Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Indiscrete Models: Model Building and Model Checking over Linear Time
Relational Semantics for Normal Topological Quasi-Boolean Logic
Machine Checking Proof Theory: An Application of Logic to Logic
Boolean Functional Synthesis: From Under the Hood of Solvers
Dynamic Epistemic Logic for Channel-Based Agent Communication
Nyāya's Logical Model for Ascertaining Sound Arguments
Public Announcements for Non-omniscient Agents
A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks
Modal Logic of Generalized Separated Topological Spaces
A Mīmāṃsā Inspired Framework Towards Temporal Reasoning in Large Language Models
Probabilistic IF Logic
Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey
Recognizing Numbers
Hierarchies in Inclusion Logic with Lax Semantics
The Art of Non-asserting: Dialogue with Nagarjuna
Bounded Henkin Quantifiers and the Exponential Time Hierarchy
Four Corners - East and West
Neighbourhood Contingency Bisimulation
Towards Decidability of Conjugacy of Pairs and Triples
Knowing Values and Public Inspection
Determinacy Axioms and Large Cardinals
Logics for Rough Concept Analysis
Knowable as Knowing How to Inquire
Instantial Relevance in Polyadic Inductive Logic
The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift
An Analytic Logic of Aggregation
Reasoning about Protocol Change and Knowledge
Semantics Based on Conceptual Spaces
Logic of Non-monotonic Interactive Proofs
Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
A Modal Aleatoric Calculus for Probabilistic Reasoning
Constructive Decision Theory
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
Quasi-Boolean Based Models in Rough Set Theory: A Case of Covering
Ultrafilter Extensions of Models
The Logic of Campaigning
First-Order Inquisitive Pair Logic
Automata, Logic and Games for the λ-Calculus
A Note on the Ontology of Mathematics
Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Yablo Sequences in Truth Theories
From Philosophical to Industrial Logics
A Substructural Epistemic Resource Logic
On Kripke's Puzzle about Time and Thought
Definability of Recursive Predicates in the Induced Subgraph Order
A Modal Logic for Multiple-Source Tolerance Approximation Spaces
Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Logic in the Community
A Note on Axiomatisations of Two-Dimensional Modal Logics
Contextual Coalitional Games
Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System
Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results
Propositional Modal Logic with Implicit Modal Quantification
The Complexity of Finding Read-Once NAE-Resolution Refutations
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory
Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
Relational Companions of Logics
Representing Imperfect Information of Procedures with Hyper Models
Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Propositional Dynamic Logic Formula Synthesis and Some Applications
Random Models for Evaluating Efficient Büchi Universality Checking
Knowledge, Games and Tales from the East
Revisiting the Generalized Łoś-Tarski Theorem
A Two-Dimensional Hybrid Logic of Subset Spaces
Büchi Automata Optimisations Formalised in Isabelle/HOL
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief
Conversation and Games
Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Some Second Order Set Theory
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms
A New Dimension of Imperative Logic
Forcing Axioms, Finite Conditions and Some More
Decisions, Actions, and Games: A Logical Perspective
An Infinity of Intuitionistic Connexive Logics
On Extensions of Partial Isometries
Noninterference for Intuitionist Necessity
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
Becoming Aware of Propositional Variables
Craig Interpolation for Awareness Logics
Labelled Calculi for Lattice-Based Modal Logics
Connection Matrices for MSOL-Definable Structural Invariants
Semantics and Proof Theory of the Epsilon Calculus
Subset Space Public Announcement Logic
Modal and Intermediate Logics of Spiked Boolean Algebras
Big Ideas from Logic for Mathematics and Computing Education
Deriving Natural Deduction Rules from Truth Tables
Bisimulation and Coverings for Graphs and Hypergraphs
Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints
Software Measurement Modelling and Improvement
Test Case Prioritization for GUI Testing
Predicting Faulty Classes Using Design Metrics with Discriminant Analysis
finGAD: A Jar File Fingerprint Generator and Detector
Managing Software Engineering Projects through Internet Technologies
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, SERP 2010, July 12-15, 2010, Las Vegas, Nevada, USA, 2 Volumes
Towards a Formal Model for Software Component Composition using Whole-Part Theory
Utilizing Concept Drift for Pervasive Supervision
Experiences on Requirement Management in Offshore Outsourcing
Modified Genetic Algorithm for Mutation-Based Testing
GED: A Graphical Element Diagram - UML for Interface development
A Software Performance Evaluation Approach Using Stochastic Process Algebra Tools
Reliability Modeling Using UML
Four Personality Traits Make a Software Engineer
WHElse Methodology: Facilitating Quick and Easy Identification of Objects and a Transformation from Procedural to Object Oriented Way
String Concatenation Optimization on Java Bytecode
Recognition and Completion of Incomplete XML Documents
Modular Prototyping of Systems and Environments Using Models Developed with Attributed Event Grammar
Modelling Concurrency with Tabular Expressions
Measuring the Coherence of Software Product Line Architectures
Feasibility of User-Driven Development in a Corporate Environment
InstantLocGen - Automatic Sub-Localization Generator for UI Testing
An Architecture for Modeling Interaction in Cooperative Information Systems Using Coloured Petri Nets
Run-Time Cohesion Metrics: An Empirical Investigation
A New Approach to Adapting XP for Use in Medium to Large Complex Projects
Extending Acquisition of High Quality Customer Level Requirements
Software Engineering for Pinochle Game Development
Aspect Filter: A Metric Based Approach for Aspect Mining
An Embedded Haskell Subset Implementation
Current Issues in Software Process Automation
Universal Security Reinforcement Model Using TCE Algorithm
Improvement of Quality Evaluation of Embedded Software Development
GUI Test Case Generation from UML
Developing a Formal Design Analysis Framework
Real-Time Workflow Modeling and Analysis in Emergency Response
ISO/IEC 9126 Quality Characteristics Considering the Application Fields and the Test Phases of Embedded Software
Factors Affecting Software Projects' Budget - A Case Study
Efficient and General On-Stack Replacement for Aggressive Program Specialization
Inter-Model Consistency Between UML Use Case and Activity Models
Software Engineering Services
Change Risk Assessment: Understanding Risks Involved in Changing Software Requirements
A Framework for Specifying Software Architecture Based on Multi-Formalisms
Towards Pervasive Traceability
SoCoEMo-COTS: A Software Economic Model for Commercial Off-the-shelf (COTS) Based Software Development
An NFR-Based Framework for Aligning Software Architectures with System Architectures
Specification of an Online Advisement System
Demonic Fixed Point of Semantics Function
Application Platforms for Embedded Systems: Suitability of J2ME and .NET Compact Framework
RVRTL: Run-Time Verification of Real-Time and Reactive Programs with Real-Time Logic Approach
Dynamic Informational System for Control and Monitoring the Tritium Removal Pilot Plant with Data Transfer and Process Analyses
Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach
A Component Framework for Resource Management Systems
Organizing Information for Execution Time Analysis in Real-Time Embedded Systems
Modeling Software Systems with Decidable Semantics: Implications on Software Quality Assurance
Transitioning from an "EAI Architecture" to a "Decoupling Architecture": The J2EE Solution
Software Engineering and Introductory Programming Curriculum
A Comparison of Software Architectural Styles Using Aspects
Compositional Abstraction for Concurrent Programs
Continuous Quality Assurance for Performance Degradation in Evolving Software Systems and Mysql_Qos
Accuracy of Software Cost Estimation
XML Markup Languages Framework for Programming in 21st Century towards Managed Software Engineering
Complex Operators: The Correspondence between the Visitor and Builder Design Patterns
A Comparison of Aspect-Oriented Approaches to Model Driven Engineering
Framework for Domain Analysis of Teleteaching System: A Semiformal Approach
Unblocking Data Flow Diagrams
An Approach to Transforming Parallel Function Specification into Java Program Framework
A Case Study in Object Oriented Modeling, Arhchitecting, and Designing an Enterprise Monitoring Application
A Fuzzy Agent System that Makes Autonomous Decisions according to State Transitions on Car Driving
Research of Software Process Metrics Based on CMMI
On the Effectiveness of Source Code Transformations for Binary Obfuscation
Applying Research Results to Software Development in the 21st Century
Preserving Consistency and Properties in Pairwise Comparisons Based Non-Numerical Ranking
Modeling Software Architecture with MDA
V-FIRE: Virtual Fire in Realistic Environments
State of the Art End-Of-Time Tester
From DEVS Model to Timed Automata
Accuracy of Measurements with IFPUG: The Measurer Impact
An Eclipse Plug-In for Visualizing Java Code Dependencies on Relational Databases
Essential Parameters for Component Specification
The Workshop - Implementing Well Structured Enterprise Applications
Mining Components with Software Execution Data
A Stateful Architecture Description Language and its Support Development Environment
PADIC: Assessment and Measurement Based Framework to Improve Productivity and Predictability in Engineering Projects
The Case for Functional Security Requirements: Deriving a Framework for Functional Security Requirements Engineering
Algorithms for Optimally Tracing Time Critical Programs
Adapter Pattern in Component and Service Levels vs. Class and Object Levels
Agent-Based Software Systems Evolution via Model-Driven Architecture
Evaluating ESB for C4I Architecture Framework Using Analytic Hierarchy Process
A New Approach to Combine Models and Code in Model Driven Development
Open Framework for the Dynamic Reconfiguration of Component-Based Sotware
A Product Line Engineering Practices Model
On systematic Design of Service Oriented Architectures
Software Measurement Needs Its Own Theory
Security Requirement Prioritization
Integration of Wrapper Preprocessor into C/C++ IDE for Implementing Reusable Components
Multi Dimension Quality Model of MAS
Verifying the compatibility of component interfaces using the B formal method
Proceedings of the International Conference on Software Engineering Research and Practice, SERP 2005, Las Vegas, Nevada, USA, June 27-29, 2005, Volume 1
An Architecture and System for Support of Cooperation in Multi-Agent Software Development
An Action-Based Approach to Enhance Software Process Monitoring
Comparison of Object Oriented Technology Automatic Codes Generating Tools for Safety Critical Real-time Software
State Machine Diagram Refactoring in MDA-based Development
Continuous Productivity Assessment, Prediction Tool
Metamodel based Model Transformation Framework
A Systematic Approach for Selecting a Suitable Software Architecture Evaluation Method
A Comparison of Software Quality Modeling Techniques
Safe Aliasing for Java-Like languages
A Dynamically Reconfigurable Best-Fit Tool for Software Methodology Selection
Software Assurance Metrics and Tool Evaluation
ISO/IEC 15504 Adaptation for Software Process Assessment in SMEs
Standardization of Software Cost Estimation Process for Outsourcing in Pakistan: Statistical Methods Used for Checking Accuracy of Model Prediction
An Effort Estimation by UML Points in Early Stage of Software Development
Interlocutor System
Experience in Testing Compiler Optimizers Using Comparison Checking
Position Paper: From Enterprise Architectures to Software Architectures using Requirements Engineering
Towards an Intelligent User Centered Search Engine for COTS Components
Uncovering Expectations to Support Initial Trust in System Development
Validation of Platform Specific Models against Platform Independent Models in the Context of Standard Specifications: A Model Driven Architecture Approach
Architectural Influence on Java Enterprise Application's Performance
Quality Characteristics for the Test of Mobile Game Software
One Employee and Several Applications: An Information Management Case Study
Dynamic Object Behaviours in Separation of Concerns Based Systems
Process Improvement Using Causal Networks
Qualitative Comparison of B, VDM and Z in Specifying Requirements of Safety Critical Systems
User-Friendly Methodology for Automatic Exploration of Compiler Options: A Case Study on the Intel XScale Microarchitecture
Mapping Data-Flow Dependencies onto Distributed Embedded Systems
Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach
Using DEVS for an Extended UML
Extending Goal Models with a Probability Model and Using Bayesian Networks
Finding Answers: A Case Study on Communicating Knowledge within a Software Development Team
Foundations for QVT Transformation
A Software Cost Estimation Model for Product Line Engineering: SoCoEMo-PLE