yusuke1997/dblp-id-title huggingface dataset:
Chinese Discourse Relation Recognition Using Parallel Corpus
Secure and Flexible Digital Rights Management in a Pervasive Usage Mode
Cryptanalysis of Efficient Dynamic ID Based Remote User Authentication Scheme in Multi-Server Environment Using Smart Card
Level Set Region Based Image Segmentation Using Lattice Boltzmann Method
Formal Privacy Analysis of an Electronic Voting Scheme
A New Classifier by Remixing Features and Adjusting Logits for Long-Tailed Visual Data
A Classification Method Based on Multifactor Dimensionality Reduction for Biosafety Threat Defense Capability Evaluation
Capability Simulating Model for Complex Communication Network
Fuzzy Control System Based on Wavelet Analysis
An Improved ACO Algorithm to Vehicle Routing Problem with Time Windows and Uncertainty
Towards a Component-Based Model Integration Approach for Embedded Computer Control System
Study on Dynamic Game Models in a Two-Echelon Supply Chain
A Novel Spectrum Profile Fitting Method of Non-Gaussian Model
Information Management System of Automobile Chassis Dynamometer Based on Multi Agent Web Serve
Marshmallow: A Content-Based Publish-Subscribe System over Structured P2P Networks
Hybrid Genetic Algorithm for TSP
Privacy Preserving Naïve Bayesian Classifier Based on Transition Probability Matrix
Scalable Group Audio-Based Authentication Scheme for IoT Devices
Touching String Segmentation Using MRF
Analysis on the Route of an Enterprise's Innovation and Development Based on Multi-Agent Model
Research of Software Reliability Based on Synthetic Architecture
Research on the trade effect of tax coordination on China ASEAN Free Trade Area
A novel additive consistency for intuitionistic fuzzy preference relations
Analysis on Convergence of Stochastic Processes in Cloud Computing Models
Dynamic Fuzzy Semisupervised Multitask Learning
Mobility Enhancement in Nanorobots by Using Particle Swarm Optimization Algorithm
Computerized Detection of Liver Cirrhosis Using Wave Pattern of Spleen in Abdominal CT Images
Data-Based Axle Temperature Prediction of High Speed Train by Multiple Regression Analysis
Analysis and Improvement of an Efficient and Secure Key Agreement Protocol
An Encoding Algorithm Based on the Shortest Path Problem
Prediction of Air Quality in Major Cities of China by Deep Learning
Research and Application of the Transparent Data Encpryption in Intranet Data Leakage Prevention
Cloud Model Based Zero-Watermarking Algorithm for Authentication of Text Document
A New Attribute Reduction Algorithm in Continuous Information Systems
An Improved Genetic Algorithm for Optimal Operation of Cascaded Reservoirs
Improving Histogram Shifting Reversible Data Hiding by Pixel Pair's Average Predictions
Internal Control Measure of Administrative Institutions Based on AHP and Fuzzy Comprehensive Evaluation
A High Reliable and Performance Data Distribution Strategy: A RAID-5 Case Study
Research on Improved Greedy Algorithm for Train Rescheduling
The Algorithm and Scheme of Prediction in RNA Folding Structure with Pseudoknots
An Email Geographic Path-Based Technique for Spam Filtering
A New Local Searching Strategy for Global Optimization with a Large Number of Local Optimum
Constructing Business Simulation Training Platform Based on Workflow Management Systems
Knowledge-Based Search Engine for Specific 3D Models
Transfer Learning and Attention Mechanism for Breast Cancer Classification
An Unsupervised Methodology for Musical Style Translation
Trust Relationship Modelling in E-commerce-Based Social Network
Visualization of Police Intelligence Data Based on Word Clouds
Face Recognition Using Topology Preserving Nonnegative Matrix Factorization
Research on Intrusion Detection System Based on IRBF
Analysis of Two Signature Schemes from CIS'2006
A 6 Dimensional Chaotic Generalized Synchronization System and Design of Pseudorandom Number Generator with Application in Image Encryption
The Intelligent Control Model and Application for Commercial Bank Systems Emergence under Risk Status Based on Big Data
Kernel Non-Negative Matrix Factorization Using Self-Constructed Cosine Kernel
Improving the Cooperation of Fuzzing and Symbolic Execution by Test-cases Prioritizing
A Kind of Nonlinear and Non-convex Optimization Problems under Mixed Fuzzy Relational Equations Constraints with Max-min and Max-average Composition
A Novel Classification Method Based on Artificial Immune System and Quantum Mechanics Theory
A Study on Magnetic Force of the Large Displacement Hybrid Suspension System Based on Finite Element Method
An Improved Bytecode Verification Algorithm on Java Card
The Hilbert Boundary Value Problem for 2-Monogenic Functions in the Unit Ball
Dependence System and its Structure
Web Service Community Discovery Based on Spectrum Clustering
Research on applied strategies of business financial audit in the age of artificial intelligence
A Novel Approach to Automatic Rating of Subjective Answers Based on Semantic Matching of Keywords
The Development and Implementation of Rapid CRC Algorithm on Tandem Welding System
A Novel Particle Swarm Optimization Based on the Self-Adaptation Strategy of Acceleration Coefficients
Human Body Segmentation in the Presence of Occlusion
H-DAT: An Improved Buffer Scheduling Algorithm for Multi-Channel SSD
Influence of Mutation Mechanism on the Performance of Constrained Multi-objective Particle Swarm Optimization
Study on Construction of Semantic Metadata Structure in Professional Fields
Prediction and analysis of industrial growth rate based on intelligent methods
A Delimitative and Combinatorial Algorithm for Discrete Optimum Design with Different Discrete Sets
An Efficient Multiple-Constraints QoS Routing Algorithm Based on Nonlinear Path Distance
A Comprehensive Study of Blind and Non-blind Deconvolution Methods Applied to Spectrum Extraction
Tool Wear Detection Based on Wavelet Packet and BP Neural Network
New Parallel Models for Face Recognition
A Global-Crowding-Distance Based Multi-objective Particle Swarm Optimization Algorithm
A New MRF Framework with Dual Adaptive Contexts for Image Segmentation
Design of a Flash Digital Watermarking Application Using MATLAB GUI
A New Intelligent Security Structure for Host System
An Improvement of Auto-correlation Based Video Watermarking Scheme Using Independent Component Analysis
Eighth International Conference on Computational Intelligence and Security, CIS 2012, Guangzhou, China, November 17-18, 2012
Risk Assessment Model of Ship Integrated Navigation System Based on Fuzzy Artificial Neural Network
iRBO: Intelligent Role-Based Object for Object-Based Storage Device
An Improved EMASK Algorithm for Privacy-Preserving Frequent Pattern Mining
Human behavior recognition based on improved slowfast network
Linear Input Method of Mathematical Formula
Enterprise Credit Risk Assessment Using Feature Selection Approach and Ensemble Learning Technique
Web pages Classification Using Domain Ontology and Clustering
The Effects of Different Representations on Malware Motif Identification
Selection of QoS Support on Artificial Immune Network Classifier for Dynamic Web Service Composition
A Variant of Poly1305 MAC and Its Security Proof
Research on the Identification of Science and Technology Innovation Policies and its Influence in Dongguan
Centrality Based Privacy Preserving for Weighted Social Networks
Sufficient Optimality Conditions and Duality for a Minmax Fractional Problem
A Novel Generation Key Scheme Based on DNA
An Optimized Algorithm in Risk Calculating
Local Probabilistic Matrix Factorization for Personal Recommendation
Linear Elements Separation via Vision System Feature and Seed Spreading from Topographic Maps
A Novel Method of Correlation Power Analysis on SM4 Hardware Implementation
Hexagon-Based Q-Learning to Find a Hidden Target Object
Differential Evolution Algorithm for the Optimization of the Vehicle Routing Problem in Logistics
General 4-GLV Lattice Reduction Algorithms
On the Relevance of Using Gene Expression Programming in Destination-Based Traffic Engineering
Toward Automatic Review of Building Energy Efficiency Based on Building Information Modeling
A Novel Trust Community Based on Direct Certifying for Pervasive Computing Systems
Client Server Access: Wired vs. Wireless LEO Satellite-ATM Connectivity; A (MS-Ro-BAC) Experiment
Global and Local Shape Analysis of the Hippocampus Based on Level-of-Detail Representations
Existence of the Solution for General Complementarity Problems
A Novel Hash-based RFID Mutual Authentication Protocol
A Genetic Algorithm Approach on Reverse Logistics Optimization for Product Return Distribution Network
iOBS3: An iSCSI-Based Object Storage Security System
A Neural-Network Algorithm for Solving Nonlinear Equation Systems
SVM Combined with FCM and PSO for Fuzzy Clustering
Design of Instrument Control System Based on LabView
An Image Analysis System for Tongue Diagnosis in Traditional Chinese Medicine
A Fast Multi-label Classification Algorithm Based on Double Label Support Vector Machine
The Guidance and Control of Small Net-recovery UAV
A Centralized Network Design Problem with Genetic Algorithm Approach
Modeling the Uncertain Data in the K-anonymity Privacy Protection Model
A Novel Motion Based Lip Feature Extraction for Lip-Reading
Cryptanalysis of Two Chaotic Image Encryption Schemes Based on Permutation and XOR Operations
Building Security Requirements Using State Transition Diagram at Security Threat Location
Formalizing the Environment View of Process Equivalence
Using Chain Graphical Model to Analyze the Efficacy of a Chinese Medicine
Content Semantic Similarity Boosted Collaborative Filtering
Research on Side Channel Attack for USB Key
Lattice-Based CCA-Secure Cryptosystem from IBE System
Extraction and Recognition Alphabetic and Digital Characters on Industrial Containers
Parallel Mining for Classification Rules with Ant Colony Algorithm
Ontological semantics, formal ontology, and ambiguity
Spatial Dimensionality as a Classification Criterion for Qualities
The Treatment of Time in Upper Ontologies
Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, FOIS 2010, Toronto, Canada, May 11-14, 2010
Preventing existence
Using the cDnS ontology as upper-level for a Scholarly Debate Ontology
Debugging Classical Ontologies Using Defeasible Reasoning Tools
What Is Ontology Reuse?
Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology
Events and Activities: Is there an Ontology behind BPMN?
Corpus Guided Sense Cluster Analysis: a methodology for ontology development (with examples from the spatial domain)
Temporal Qualification and Change with First-Order Binary Predicates
Ontology (Science)
OntOWLClean: Cleaning OWL ontologies with OWL
Complexity of Reasoning With Expressive Ontology Mappings
Considering Collectives: Roles, Members and Goals
Three Semantics for the Core of the Distributed Ontology Language
Dispositions and the Infectious Disease Ontology
Towards Making Explicit the Ontological Commitment of a Database Schema on the Geological Domain
From GENIA to BIOTOP - Towards a Top-Level Ontology for Biology
Identity Criteria for Localities
Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), Rio de Janeiro, Brazil, September 22, 2014
Some Open Issues After Twenty Years of Formal Ontology
Towards a formal ontology for history of church administration
Suggestions for Galaxy Workflow Design Using Semantically Annotated Services
Using text processing techniques to automatically enrich a domain ontology
Ontology Repositories: A Treasure Trove for Content Ontology Design Patterns
An Ontological Core for Conformance Checking in the Engineering Life-cycle
Scenario Testing Using Formal Ontologies
Needs and Intentionality
SABiO: Systematic Approach for Building Ontologies
Aspects of the taxonomic relation in the biomedical domain
An Algebra for Composing Ontologies
Ontological Analysis of Money
On the Syntax and Semantics of Effect Axioms
Semantic Analysis of Winograd Schema No. 1
Newtonian Forces and Causation: A Dispositional Account
Formal Ontology in Information Systems - Proceedings of the 14th International Conference (FOIS 2024), Enschede, The Netherlands, July 2024
Selecting and Customizing a Mereology Ontology for its Reuse in a Pharmaceutical Product Ontology
HHT: An Ontology to Represent Territorial Dynamics for Digital Humanities
States, Events, and Truth-makers
An Ontology for the τ-theory of Enterprise Engineering
Formal Ontology in Information Systems - Proceedings of the Twelfth International Conference, FOIS 2021, Bozen-Bolzano, Italy, September 11-18, 2021
Legal Theories and Judicial Decision-Making: An Ontological Analysis
Towards an understanding of model executability
An Ontological Interpretation of Non-Functional Requirements
Towards GFO 2.0: Architecture, Modules and Applications
Evaluating Ontologies with NLP-Based Terminologies - A Case Study on ACGT and Its Master Ontology
Vagueness in Predicates and Objects
Realism for scientific ontologies
Organisations and Variable Embodiments
Representing Representing: The Ontology of Aboutness
An Analysis of the Debate over Structural Universals
ContoExam: an ontology on context-aware examinations
Anti-Modules
A Mereology for Connected Structures
The unique Predication of Knowledge Elements and their Visualization and Factorization in Ontology Engineering
KB_Bio_101: Content and Challenges
Principles for the Development of Upper Ontologies in Higher-level Information Fusion Applications
A Method to Improve Alignments Between Domain and Foundational Ontologies
A New Classification of Collectives
Towards Ontological Support for Principle Solutions in Mechanical Engineering
The Common Core Ontologies
The Two Ontological Faces of Velocity
Preliminaries to a formal ontology of failure of engineering artifacts
Mapping and Verification of the Time Ontology in SUMO
Resilience as a Disposition
Breaking Down Finance: A Method for Concept Simplification by Identifying Movement Structures from the Image Schema PATH-following
Goals in a Formal Theory of Commonsense Psychology
Towards A Realism-Based Metric for Quality Assurance in Ontology Matching
An Ontology for Event Location
Fiat Surfaces in the Basic Formal Ontology
Interactive Semantic Feedback for Intuitive Ontology Authoring
A Blueprint for a Calculator of Intensions
An Ontology for Grounding Vague Geographic Terms
An Ontology-based Taxonomic Key for Afrotropical Bees
Informative Armstrong RDF Datasets for n-Ary Relations
Using an Ontology Pattern Stack to Engineer a Core Ontology of Accounting Information Systems
Categorizing Questions Through the Demonstrative-Intentional Tree
Orbital Space Environment and Space Situational Awareness Domain Ontology
Ontological Framework of the Information Systems Aimed to Facilitate Business Transformations
Towards an Ontology of Representation
The Cardiovascular Disease Ontology
Ontology Content "At A Glance"
Representing Organizational Structures in an Enterprise Architecture Language
On the Relation of Instrumental Dependence
The Image as Spatial Region: Location and Adjacency within the Radiological Image
TaBIIC: Taxonomy Building Through Iterative and Interactive Clustering
Concepts as (Recognition) Abilities
Know Your Exceptions
Ontological diversity: the case from space
The Void in Hydro Ontology
Knowing Whether Spatio-Temporal Analysis Procedures Are Applicable to Datasets
KEMM: A Knowledge Engineering Methodology in the Medical Domain
Affordances in Representing the Behaviour of Event-Based Systems
Ontology Verification with Repositories
Against Idiosyncrasy in Ontology Development
Behavior of a Technical Artifact: An Ontological Perspective in Engineering
Distinctions Produce a Taxonomic Lattice: Are These the Units of Mentalese?
Towards a standard upper ontology
Preservation of Modules
Interaction Specifications as Contexts for Ontologies
NORMA: A Software for Intelligent Conceptual Modeling
A Molecular Structure Ontology for Medicinal Chemistry
Mathematical Foundations for Participation Ontologies
The Many Facets of Trust
UNiCS - The Ontology for Research and Innovation Policy Making
Ontological Modeling of Scholarly Statements: A Case Study in Literary Criticism
What is a Biological Function?
Boosting D3FEND: Ontological Analysis and Recommendations
Counterparts in Language and Space - Similarity and [Sscr ]-Connection
Introducing granularity-dependent quantitativedistance and diameter measures in common-sense reasoning contexts
On What Goes On: The Ontology of Processes and Events
A Process-Centric Ontological Approach for Integrating Geo-Sensor Data
A method for re-engineering a thesaurus into an ontology
I am What I Have and I Have What I am, What am I?
Ontology-Driven Information Systems: Past, Present and Future
Formal Ontology in Information Systems - Proceedings of the 13th International Conference (FOIS 2023), Sherbrooke, Quebec, Canada, July 17-20, 2013 and Virtual Event, September 18-20, 2013
Foundational Process Relations in Bio-Ontologies
A Formal Ontology of Texts
Ontological Analysis of Malfunctions: Some Formal Considerations
The Ontological Square and its Logic
Foundations of the Socio-Physical Model of Activities (SOMA) for Autonomous Robotic Agents
Knowledge Driven Software and "Fractal Tailoring": Ontologies in development environments for clinical systems
On Building an Index Advisor for Semantic Web Queries
Asymmetric Hybrids: Dialogues for Computational Concept Combination
The Instrumental Stit A Study of Action and Instrument
On category theory as a (meta) ontology for information systems research
Granular Models for Vague Predicates
A Dynamic Theory of Ontology
To Be More Concrete About Abstracta and Concreta
Maturation of Neuroscience Information Framework: An Ontology Driven Information System for Neuroscience
An ontology for personalized environmental decision support
Unpacking the Semantics of Risk in Climate Change Discourses
Ontological analysis and conceptual modeling: achievements and perspectives
What have we learned in formal semantics about ontology?
An Algorithm for Resolution of Common Logic (Edition 2) Importation Implemented in OntoMaven
Permanent Generic Relatedness and Silent Change
An Ontological Analysis of the ISO/IEC 24744 Metamodel
Toward a Commonsense Theory of Microsociology: Interpersonal Relationships
Large Language Models and Foundational Ontologies
Characterizing Functions based on Ontological Models from an Engineering Point of View
Model-Finding for Externally Verifying FOL Ontologies: A Study of Spatial Ontologies
Ontology Explorer: An Ontology-Based Visual Analytics System for Exploring Time Series Data in Oil and Gas
Constructing Bodies and their Qualities from Observations
A New Theory of Vagueness
Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics
Diagrammatic Ontology Engineering
Towards a Unified Dispositional Framework for Realizable Entities
Ontology-Driven Cross-Domain Transfer Learning
Particular Types and Particular Dependence
On the Identification and Representation of Ontology Correspondence Antipatterns
Towards an Ontology for Robot Introspection and Metacognition
Ontological Analysis and Modularization of CIDOC-CRM
A Temporal Extension of the Hayes/ter Horst Entailment Rules and an Alternative to W3C's N-ary Relations
Is it time to talk about first-person meanings in computer programs?
Cognitive Context and Arguments from Ontologies for Learning
Towards Semantic Interoperability Among Heterogeneous Cancer Data Models Using a Layered Modular Hyper-Ontology
On Decomposition Operations in a Theory of Multidimensional Qualitative Space
Spatio-Temporal Ontology for Change Analysis of Flood Affected Areas Using Remote Sensing Images
Revisiting the Ontological Square
Dental Restorative Material Ontology (DrMO)
Analyzing the Behavior of Modelers in Interpreting Relationships in Conceptual Models: An Empirical Study
Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), Rio de Janeiro, Brazil, September 22nd, 2014
Proceedings of the 1st Joint Workshop ONTO.COM / ODISE on Ontologies in Conceptual Modeling and Information Systems Engineering co-located with 8th International Conference on Formal Ontology in Information Systems, ONTO.COM/ODISE@FOIS 2014, Rio de Janeiro, Brazil, September 21, 2014
Axiomatizing SNOMED CT Disorders: Should There Be Room for Interpretation?
Towards an Ontology of Space for GFO
Towards an Ontology of Viewpoints
Resolving semantic heterogeneity in schema integration
Quantitative/Qualitative Question Trees
Ontologies in Enterprise Application: Dimensional Comparison
The human conceptual system
Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology
Recognizing Entity Types via Properties
Linking the Gene Ontology with Social Ontology: A Prolegomena to the Ontology of Personhood
An Ontological Analysis of Reference in Health Record Statements
Affordances as Qualities
On the Ontology of Part-Whole Relations in Zulu Language and Culture
Foundational Ontologies for Units of Measure
Formal Ontology in Information Systems - Proceedings of the 11th International Conference, FOIS 2020, Cancelled / Bozen-Bolzano, Italy, September 14-17, 2020
Nontological Engineering
Formalizing and Adapting a General Function Module for Foundational Ontologies
Formal Ontology in Information Systems - Proceedings of the 9th International Conference, FOIS 2016, Annecy, France, July 6-9, 2016
The Yoneda Path to the Buddhist Monk Blend
An enriched knowledge model for formal ontological analysis
SCOPE: A Situation Calculus Ontology of Petri Nets
Towards scott domains-based topological ontology models
FOIS introduction: Ontology - towards a new synthesis
The mysterious appearance of objects
Towards an Ontology of Software: a Requirements Engineering Perspective
XMLPO: An Ontology for Explainable Machine Learning Pipeline
A Foundational View on Nominal and Actual Qualities in Engineering
Manufacturing Resources, Capabilities, and Engineering Functions: Towards an Ontology-Based Integration
Formal Ontology in Information Systems - Proceedings of the 10th International Conference, FOIS 2018, Cape Town, South Africa, 19-21 September 2018
A formal foundation for process modeling
The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency
Embodied Functional Relations: A Formal Account Combining Abstract Logical Theory with Grounding in Simulation
A Taxonomy of Questions With Respect to the Universal-Particular Dichotomy
Representing SNOMED CT Concept Evolutions using Process Profiles
Granular partitions and vagueness
PR-OWL: A Framework for Probabilistic Ontologies
Towards A Unified Definition of Function
Menthor Editor: An Ontology-Driven Conceptual Modeling Platform
Ontological Foundations of Competition
ISA-88 Formalization. A Step Towards its Integration with the ISA-95 Standard
Granular Mereogeometry
Features and Components in Product Models
Standpoint Logic: Multi-Perspective Knowledge Representation
Identity criteria and sortal concepts
A Sideways Look at Upper Ontologies
Modeling of Continuity and Change in Biology
Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface
A theory of granular parthood based on qualitative cardinality and size measures
A core ontology of instruments used for neurological, behavioral and cognitive assessments
Using Selectional Restrictions to Query an OWL Ontology
Ontological dependence, dispositions and institutional reality in chemistry
NAct: The Nutrition & Activity Ontology for Healthy Living
Opening plenary talk: Recent advances in metaphysics
Type-syntax and token-syntax in diagrammatic systems
A Well-Founded Software Measurement Ontology
Conceptual analysis of lexical taxonomies: thecase of WordNet top-level
Defining Relations: A General Incremental Approach with Spatial Temporal Case Studies
Ontologies for Artificial Minds
Simultaneous Events and the "Once-Only" Effect
A formal theory for conceptualizing artefacts and tool manipulations
States, Processes and Events, and the Ontology of Causal Relations
Founding properties on measurement