yusuke1997/dblp-id-title huggingface dataset:
Extending Attribute Dependencies for Lattice-Based Querying and Navigation
A Software System for Learning Peircean Graphs
An Application of the Process Mechanism to a Room Allocation Problem Using the pCG Language
The Birth of PEIRCE: A Conceptual Graphs Workbench
Conventions and Notations for Knowledge Representation and Retrieval
An FCA Perspective on n -Distributivity
Exploring Relational Structures Via FLE
Concept Graphs with Subdivision: A Semantic Approach
A Viewpoint Model for Cooperative Building of an Ontology
Conceptual Graphs for Corporate Knowledge Repositories
A Conceptual Semantics Ontology for Conceptual Graphs
Fuzzy Conceptual Graphs
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Querying a Bioinformatic Data Sources Registry with Concept Lattices
Defining Key Semantics for the RDF Datasets: Experiments and Evaluations
Conceptual Structures in LEADing and Best Enterprise Practices
A Linearly Complex Model for Knowledge Representation
Towards a Semantology of Music
Using CG Formal Contexts to Support Business System Interoperations (Research Note)
Diagrammatic Reasoning Systems
Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003 Dresden, Germany, July 21-25, 2003 Proceedings
A Practical Exploration of Ontology Interoperability
Combining and Contrasting Formal Concept Analysis and APOS Theory
Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations
Handling Specification Knowledge Evolution Using Context Lattices
Towards a Semantic of Inchoative and Causation Events in Conceptual Graphs
Formal Concept Analysis with Constraints by Closure Operators
A Multilingual Analyser ofMedical Texts
An Exploration into Semantic Distance
PAC Learning Conceptual Graphs
Building a Pragmatic Methodology for KR Tool Research and Development
A Peircean Ontology of Language
Extracting Explicit and Implicit Knowledge from Natural Language Texts
Trace of Objects to Retrieve Prediction Patterns of Activities in Smart Homes
Knowledge-Based Matching of n-ary Tuples
Operations on Conceptual Structures and Pierce's System of Existential graphs
A Conceptual Graph Model for W3C Resource Description Framework
Graphics and Languages for the Flexible Modular Framework
Trikonic Inter-Enterprise Architectonic
Incorporating Probabilistic Knowledge in HealthAgents: a Conceptual Graph Approach
On Lattices in Access Control Models
Conceptual Structures for STEM Data
Factorization of Formal Contexts from Modal Operators
Use of Domain Knowledge in the Automatic Extraction of Structured Representations from Patient-Related Texts
Translations between RDF(S) and Conceptual Graphs
System Decomposition for Temporal Concept Analysis
Investigating Oncological Databases Using Conceptual Landscapes
Quantifying the Conceptual Error in Dimensionality Reduction
Expert Humans and Expert Systems: Toward a Unity of Uncertain Reasoning
Distributed Context Aware Collaborative Filtering Approach for Service Selection in Wireless Mesh Networks
Graph Drawing Methods
Practical Graph Mining
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis
Towards Structuring Episodes in Patient History
Large-Scale Cooperatively-Built KBs
Covering Concept Lattices with Concept Chains
On Concept Lattices and Implication Bases from Reduced Contexts
Extending GWAPs for Building Profile Aware Associative Networks
Spatial Universals as the Human Spatial Notion
A Conceptual and Contextual Object-Oriented Logic Programming: the PROLOG++ Language
Menu-Based Interfaces to Conceptual Graphs: The CGLex Approach
The MIEL++ Architecture When RDB, CGs and XML Meet for the Sake of Risk Assessment in Food Products
Boolean Judgment Logic
A Knowledge Management Optimization Problem Using Marginal Utility in a Metric Space with Conceptual Graphs
Analyzing Psychological Similarity Spaces for Shapes
Powerset Trilattices
Evaluating the Transaction Graph through a Financial Trading Case Study
Proceedings of the Fifth Conceptual Structures Tools & Interoperability Workshop (CSTIW 2016) held at the 22nd International Conference on Conceptual Structures (ICCS 2016), July 5-7, 2016, Annecy, France
Contextual Logic and Aristotle's Syllogistic
Evaluation of Concept Lattices in a Web-Based Mail Browser
A Framework for Analyzing and Testing Requirements with Actors in Conceptual Graphs
A Pure Graph-Based Solution to the SCG-1 Initiative
Representing a Computer Science Research Organization on the ACM Computing Classification System
Lifted Most Probable Explanation
States of Distributed Objects in Conceptual Semantic Systems
Arbitrary Relations in Formal Concept Analysis and Logical Information Systems
The Representation of Semantic Constraints in Conceptual Graph Systems
Service Trading Using Conceptual Structures
Pursuing the Goal of Language Understanding
Semantic Search - Using Graph-Structured Semantic Models for Supporting the Search Process
The Persuasive Expansion - Rhetoric, Information Architecture, and Conceptual Structure
Using Conceptual Graphs as a Common Representation for Data and Configuration in an Active Image Processing System
Summarizing Conceptual Graphs for Automatic Summarization Task
Rigorous, and Informal?
Poset Ontologies and Concept Lattices as Semantic Hierarchies
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations
Assembly of Conceptual Graphs from Natural Language by Means of Multiple Knowledge Specialists
Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language
UDS: A Universal Data Structure
An Application of Relation Algebra to Lexical Databases
Organization of Knowledge Using Order Factors
An Efficient Approximation of Concept Stability Using Low-Discrepancy Sampling
Logic-Based Networks: Concept Graphs and Conceptual Structures
Hypermedia Discourse: Contesting Networks of Ideas and Arguments
Does Every Difference Make a Difference?
Conceptual Graphs: Draft Proposed American National Standard
Standardizing and Interfacing Relational Databases Using Conceptual Graphs
The Representation of Linguistic Information in an Approach Used for Modelling Temporal Knowledge in Discourse
Capsule Oriented Reverse Engineering for Software Reuse
5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings
Change Management Needs Integrated Process and Configuration Management
Model Checking Graphical User Interfaces Using Abstractions
A Regression Testing Database Model
Formal Specifications, Prototyping and Integration Tests
The Production of Software in the FINSIEL Group
Scrutiny: A Collaborative Inspection and Review System
Comparison Checking: An Approach to Avoid Debugging of Optimized Code
Panel Presentation
A Set of Tools supporting the Software Design Based on SDL
A Theory for Software Design Extraction
ESEC '87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings
Relation Between Source Code Metrics and Structure Analysis Metrics
Integrating Structured and Formal Methods: A Visual Approach to VDM
Distributed Modeling and Distributed Enaction of Business Processes
Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification
ASTRAL: An Assertion Language for Specifying Realtime Systems
Process Programming with Active and Passive Components
An Algebraic View of Inheritance and Subtyping in Object Oriented Programming
Using Formal Methods to Construct a Software Component Library
Requirements Engineering - Getting Right from Wrong
The Experience Factory and its Relationship to Other Improvement Paradigms
Software Engineering - Old Problems, New Problems, and Unsolved Problems (Panel)
CHIME: A Metadata-Based Distributed Software Development Environment
CASE Support for the Software Process: A Research Viewpoint
Language Constructs for Cooperative Systems Design
Software Design Automation in an IPSE
Expediency and Appropriate Technology: An Agenda for Requirements Engineering Research in the 1990s
Distributed Information Systems: An Advanced Methology
Instrumentation of Synchronous Reactive Models for Performance Engineering
Measuring Product Attributes of Object-Oriented Systems
A Formal Framework for ASTRAL Inter-level Proof Obligations
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models
Software Change Dynamics or Half of all Ada Compilations are Redundant
Databases for Software Engineering Environments - The Goal has not yet been attained
What we Expect from Software Engineers in the Industry (Abstract)
HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program Generation
An Engineering Approach to Hard Real-Time System Design
Designing a Framework by Stepwise Generalization
A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program
CASE Seen From Both Sides of the Fence
Software Engineering Implications for Formal Refinement
Algebraic Software Architecture Reconfiguration
A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation
Formalising Reconstructuring Operators in a Specification Process
Tool Support for Formal Software Development: A Generic Architecture
An Integrated Formal Model of Scenarios Based on Statecharts
Yesterday, My Program Worked. Today, It Does Not. Why?
Experiences with Criticality Predictions in Software Development
Quantitative Evaluations of Software Built in with Domain-specific Disciplines
Using Model Checking to Generate Tests from Requirements Specifications
Dynamically Replaceable Software: A Design Method
An Executon Environment for the Formal Definiton of Ada
Object-Oriented Re-Architecturing
Formal Specification Using Structured Systems Analysis
Validation of Concurrent ADA Programs using Symbolic Execution
A Specification-Based Methology for Testing Concurrent Programs
Coping with Type Casts in C
Software Configuration Management: Past Uses and Future Challenges
A Formal Framework for ASTRAL Intra-Level Proof Obligations
ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification
On the Decline of Classical Programming
Quantitative Approach to Software Management: the ami Method
Tractable Flow Analysis for Anomaly Detection in Distributed Programs
Formalizing Software Architectures: An Industrial Experience
A Probabilistic Model for Software Projects
Requirements Analysis for a Database Administration Support Environment
Automatic Replanning of Task Networks for Process Model Evolution in EPOS
Dynamic Configuration Abstraction
Enhancing Configuration Facilities in Software Development: A Logic Approach
Inference-Based Support for Programming in the Large
Component Programming - a Fresh Look at Software Components
Automatic Program Synthesis from Data Structures
Expressing Code Mobility in Mobile UNITY
Observations on Object Management Systems and Process Support in Environments
SOFTBUS - An Approach to Software Engineering for Distributed Real-Time Long-Lifetime Spacecraft Data Management Systems
Improvise: Interactive Multimedia Process Visualization Environment
Industrialising Formal Methods for Telecommunications
A Hybrid Interpreter in a Software Development Environment
Development of a Programming Environment for Setl
CASE Support for the Software Process
Specification in COLD-1 of a CAD-Package for Drawing Shadow Masks
The Tale of Two Projects - Abstract
Providing Automated Support to Deductive Analysis of Time Critical Systems
EIFFEL: Object-Oriented Design for Software Engineering
Experiences with a Federated Environment Testbed
Ten15: An Abstract Machine for Portable Environments
Software Engineering - ESEC '93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings
Knowledge-based Editors for Directed Graphs
Analyzing Exception Flow in Java Programs
Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings
An Objective Reuse Metric: Model and Methology
Inconsistency Handling in Multi-Perspective Specifications
Consistency Checking for Multiple View Software Architectures
Preventative Software Engineering
Metrics for Quality Factors in the LESD Project
Translation between Pragmatic Software Development Methods
Requirements Engineering: An Integrated View of Representation, Process, and Domain
Integrated Project Support Environments, Text Generation and Technical Writing
Cryptographic Verification of Test Coverage Claims
Subtypes for Specifications
Tickle: Object-Oriented Description and Composition Services for Software Engineering Environments
PQL: A Language for Specifying Abstract Program Views
The Impact of Software Engineering Researches on Industrial Practice - a Personal View
The Concept of Dynamic Analysis
A Contextual Approach for Process-Integrated Tools
Change Oriented Versioning
Verification of Liveness Properties Using Compositional Reachability Analysis
Handling Version Sets Through Feature Logic
Structural Specification-Based Testing: Automated Support and Experimental Evaluation
The Scruffy Side of Requirements Engineering
The Eureka Software Factory: Concepts and Accomplishments
ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments
Specification-Based Prototyping for Embedded Systems
Robots: A Real-Time Systems Architectural Style
Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applications
An Experiment in Software Retrieval
An Efficient Relevant Slicing Method for Debugging
Impact of Methods on Productivity and Quality
Towards an Adaptation of the COCOMO Cost Model to the Software Measurement Theory
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification
High Level Interpretaton of Execution Traces of Ada Tasks
Software Management Constraints and Action Triggering in the Adele Program Database
TTM15 - A Large Multi-Site Improvement Project
What We Teach Software Engineers in the University: Do We Take Engineering Seriously?
Provence: A Process Visualisation and Enactment Environment
Industrial Software Development - A Case Study
Rule-Based Handling of Software Quality and Productivity Models
Computers are not Omnipotent (Abstract)
Configuration Management in an Open Environment
An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems
The Dependability Approach to Critical Computing Systems
Execution Environment for ELECTRE Applications
Demands and Perspectives for Future Software Engineers: An Industrial Viewpoint (Abstract)
A Framework for Classifying and Comparing Architecture Description Languages
The Treatment of Non-Functional Requirements in MIKE
Software Engineering: An Unconsummated Marriage (Extended Abstract)
FORTUNE - A Documentation Support System for Software Engineers
Refining Data Flow Information Using Infeasible Paths
An Empirical Evaluation of Three Defect-Detection Techniques
Data-Flow Analysis of Program Fragments
PantaPM: An Integrated Software Development Environment
PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed Systems
Integration of Sequential Scenarios
Version Management in the PACT Integrated Software Engineering Environment
Incremental Development for AXE 10
Extreme Programming: A Discipline of Software Development
TRICS: A Testing Tool for C
A View-Oriented Approach to System Modelling Based on Graph Transformation
Automated Testing Techniques for Real-Time Embedded Software
Strengths and Weaknesses of Program Verification Systems
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java
Security Issues in Distributed Software
Graph Grammars, a new Paradigm for Implementing Visual Languages
Assertion-based Debugging of Imperative Programs by Abstract Interpretation
ProMod at the Age of 5
Integrating Incremental Analysis with Version Management
A Fine-Grained Model for Code Mobility
Analyzing Software Reuse at the Project and Module Design Levels
Systematic Development of Formal Software Process Models
A Design Framework for Internet-Scale Event Observation and Notification
Synergy between Component-Based and Generative Approaches
The Arcs Experience
Assay - A Tool to Support Regression Testing
Structural Modelling of Prolog for Metrication
Checking Progress with Action Priority: Is it Fair?
Architectural Design for User Interfaces
Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification
Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric
Formal Requirements Made Practical
Experience with Fortran Verifier. A Tool for Documentation and Error Diagnosis of Fortran-77 Programs
Assessing the Quality of Large, Software-Intensive Systems: A Case Study
Using Data Flow Specifications and Interactive Editing in the Operating System User Interface
The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study
Asking for the Impossible: The State of the Art in Safety-Related Systems
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future
Metric-Driven Classification Analysis
Using UML for Software Process Modeling
Making Changes to Formal Specifications: Requirements and an Example
COO: A Transaction Model to Support COOperating Software Developers COOrdination
Practical Experience of Formal Specification: A Programming Interface for Communications
MENU - An Example for the Systematic Reuse of Specifications
Graph Grammar Engineering with PROGRES
Feasible Test Path Selection by Principal Slicing
Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module
Software Engineering in Business and Academia: How Wide is the Gap?
Software Merge: Models and Methods for Combining Changes to Programs
An Object-oriented Approach to the System Analysis
On the Specification of Real-Time Systems Using Logic Programming
An Application of the Event Calculus for Representing the History of a Software Project
Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings
A User Interface Design Tool
Why We Need Object Databases (Abstract)
Making Design Patterns Explicit in FACE: A Frame Work Adaptive Composition Environment
Analysis of Software Architectures in High and Low Volume Electronic Systems, Industrial Experience Report
Supporting Design Rationale for System Evolution
Rational Design of Distributed Applications
Tool Integration in an Open Environment
The Internet Worm Incident
The Role of Measurement in ISEEs
Components and Generative Programming
STEPS to Software Development with Users
Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Code
The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment
CASE Support for the Software Process: Advances and Problems
SPECIF-X: A Tool for CASE
A Pluralistic Knowledge-Based Approach to Software Specification
Delta Technique and String-to-String Correction
A Property-Based Method for Selecting Among Multiple Implementations of Modules
Reduction and Slicing of Hierarchical State Machines
Software Technology for a Distributed Telecommunication System
A Pattern-Based Application Generator for Building Simulation
An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance
Collaboration and Composition: Issues for a Second Generation Process Language
Interaction Models and the Principled Design of Interactive Systems
Specifying Distributed Software Architectures
A Software Development Environment for Ada
A (Neat) Alphabet of Requirements Engineering Issues
Algebraic Validation of software Metrics
Executable Connectors: Towards Reusable Design Elements
Formal Specification of Graphical Notations and Graphical Software Tools
Software Process Machines: A Framework for Future Software Development Environments
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem
Developing Multimedia Applications with the WinWin Spiral Model
The CIP Method: Component- and Model-Based Construction of Embedded Systems
A Component and Communication Model for Push Systems
A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools
Scaling Up Rule-Based Software Development Environments
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection
FACADE: A Typed Intermediate Language Dedicated to Smart Cards
CASE Support for Large Systems
Design Process Improvement Case Study Using Process Waiver Data
Efficient Points-to Analysis for Whole-Program Analysis
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
Software Faults in Evolving a Large, Real-Time System: a Case Study
The Eclipse Two-Tier Database Interface
The Design of a Next-Generation Process Language
SADL: A Software Development Environment for Software Specification, Design and Programming
A Personal Commitment to Software Quality
ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings
SESADA: An Environment Supporting Software Specialization
Applying Static Analysis to Software Architectures
Transitioning Legacy Assets to a Product Line Architecture
Multimodal Systems through a Social Lens: Uncovering and Mitigating Biases
Exploring the Indian Political YouTube Landscape: A Multimodal Multi-Task Approach
A Semiotic Perspective to Computational Modelling of Multimodal Discourse
Proceedings of the 2nd International Workshop on Multimodal Human Understanding for the Web and Social Media co-located with the 32nd ACM International Conference on Information and Knowledge Management (CIKM 2023), Birmingham, United Kingdom, October 22, 2023
Towards Subject Agnostic Affective Emotion Recognition
Towards Fairness in Multimodal Scene Graph Generation: Mitigating Biases in Datasets, Knowledge Sources and Models
FLYPE: Multitask Prompt Tuning for Multimodal Human Understanding of Social Media
Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
On Evaluating Theorem Provers
Management of the TPTP Problem Set
Relevance and Abstraction
Search Spaces for Theorem Proving Strategies
The Expansion, Modernisation, and Future of the TPTP World
A Novel Subspace Super-Pixel Based Low Rank Representation Method for Hyperspectral Denoising
Development of UI Guideline for Senior Citizens' e-Learning Content
An Effective Framework for Identifying Good XML Feedback Fragments
Cryptanalysis on Symmetric Key Techniques Based Authentication Scheme for Wireless Sensor Networks
Optimization of LSPL Algorithm for Data Transfer in Sensor Networks Based on LEACH
Performance Analysis of Format-Preserving Encryption Based on Unbalanced-Feistel Structure
Patterns of Cardiovascular and Behavioral Movements in Life-Logging According to Social Emotions
Generalized Multi-linear Mixed Effects Model
A Framework for Blockchain Based Secure Smart Green House Farming
A Practical Study on Data Logger for Gas Industry
Energy Consumption Reduction Technique on Smart Devices for Communication-Intensive Applications
A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models
Effective Similarity Measurement for Key-Point Matching in Images
Design of Smart Cattle Shed System Based on BLE Beacon to Improve Power Consumption