yusuke1997/dblp-id-title huggingface dataset:
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I
Visual Scene Understanding for Autonomous Driving Using Semantic Segmentation
Flexible Models for Testing Graph Properties
Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems
Accessing a Large Multimodal Corpus Using an Automatic Content Linking Device
Rulebase Technology and Legal Knowledge Representation
Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches
Authentication, Authorization, and Accounting
Tricks for Time Series
Virtual Butler: What Can We Learn from Adaptive User Interfaces?
Exposing the Programming Process
The Lovász-Local-Lemma and Scheduling
From Information Networks to Bisociative Information Networks
Pattern Formation
Structure-Based Partitioning of Large Ontologies
Tools for Grammar Engineering
Semantic Web Services for Satisfying SOA Requirements
Building Semantic Resources for Legislative Drafting: The DALOS Project
An Ontology for Spatial Regulations
ECOLE: An Ontology-Based Open Online Course Platform
Privacy Assurance Checking
Visual Exploration of Frequent Itemsets and Association Rules
Introduction to Part II
Form-Semantics-Function - A Framework for Designing Visual Data Representations for Visual Data Mining
Using ICTs for the Improvement of Public Open Spaces: The Opportunity Offered by CyberParks Digital Tools
Big Data Outlook, Tools, and Architectures
The Development of Quantum-Dot Cellular Automata
Chapter 6 Big Data and FAIR Data for Data Science
Big Data in 5G Distributed Applications
Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances
Formal Tools for the Analysis of Brain-Like Structures and Dynamics
Methodologies and Technologies for Networked Enterprises - ArtDeco: Adaptive Infrastructures for Decentralised Organisations
Relevance and Challenges of Ethics Committees
Cognitive Adequacy in Brain-Like Intelligence
Typical Workflows, Documentation Approaches and Principles of 3D Digital Reconstruction of Cultural Heritage
Simulated Emotion in Affective Embodied Agents
On the Size of Depth-Three Boolean Circuits for Computing Multilinear Functions
On-Line Learning: Where Are We So Far?
User-Centric Privacy-Enhancing Identity Management
Assurance of Self-adaptive Controllers for the Cloud
Temporal Verification of Fault-Tolerant Protocols
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference
Solving the Ill-Conditioning in Neural Network Learning
A Model for Feature-Based User Model Interoperability on the Web
Sublinear-Time Algorithms for Approximating Graph Parameters
Integrated Gate and Bus Assignment at Amsterdam Airport Schiphol
Developing RRI and Research Ethics in Universities
About Trust and Proof: An Experimental Framework for Heterogeneous Verification
A Design-Driven Approach for the Innovation Management within Networked Enterprises
Moving in the Time: An Ontology for Identifying Legal Resources
A Principled Approach to Data Valuation for Federated Learning
Deep Learning Methods for Mitosis Detection in Breast Cancer Histopathological Images: A Comprehensive Review
Package-Based Description Logics
Automation of the Volumetric Models Construction
Tail Distribution and Extreme Quantile Estimation Using Non-parametric Approaches
NAD: Machine Learning Based Component for Unknown Attack Detection in Network Traffic
Protection of SCADA Communication Channels
Ubiquitous Knowledge Discovery - Challenges, Techniques, Applications
Educational Linked Data on the Web - Exploring and Analysing the Scope and Coverage
Interpretability in Intelligent Systems - A New Concept?
Universal Desktop Fabrication
Signature-Based Detection of Botnet DDoS Attacks
Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit
Empirical Assessment of Security Requirements and Architecture: Lessons Learned
Algorithm Engineering in Robust Optimization
Scenario-Based Analysis of Industrial Work Processes
Developments in AI and Machine Learning for Neuroimaging
The Janus System: A Bridge to New Prolog Applications
MetaVex: Regulation Drafting Meets the Semantic Web
Knowledge Discovery and Visualization of Clusters for Erythromycin Related Adverse Events in the FDA Drug Adverse Event Reporting System
Distributed Computing by Mobile Entities, Current Research in Moving and Computing
General deSouches Commands Multi-agent Army for Performing in Agents Assemble III Scenario: FIT-BUT at MAPC 2022
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Cultural Heritage in a Spatial Context - Towards an Integrative, Interoperable, and Participatory Data and Information Management
On the Generation of Point Cloud Data Sets: Step One in the Knowledge Discovery Process
Pseudonyms and Private Credentials
Component-Based Development of Dependable Systems with UML
AI for Humanity: The Global Challenges
Trying to Grasp a Sketch of a Brain for Grasping
New Regulatory Approaches in an Evolving Market Structure
Network and Control Platforms
Computational Social Choice: The First Ten Years and Beyond
Machine Learning and Data Mining Methods for Managing Parkinson's Disease
On the Meaning of Focalization
How Deep Learning Model Architecture and Software Stack Impacts Training Performance in the Cloud
Modelling a Biological System: Network Creation by Triplet Extraction from Biological Literature
Multimodal Corpora - From Models of Natural Interaction to Systems and Applications
Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style
Wireless Network Algorithmics
Towards Operational Research Infrastructures with FAIR Data and Services
Sector-Specific Information Infrastructure Issues in the Oil, Gas, and Petrochemical Sector
Learning Actions through Imitation and Exploration: Towards Humanoid Robots That Learn from Humans
Documenting the Progress of the System Development
Work Processes and Process-Centered Models and Tools
CyberParks Songs and Stories - Enriching Public Spaces with Localized Culture Heritage Material such as Digitized Songs and Stories
Molecular Biology - Not Only for Bioinformaticians
Visual Privacy Management - Design and Applications of a Privacy-Enabling Platform
AI for Digital Humanities and Computational Social Sciences
A Task-Oriented Architecture with Priority Queue for BDI Agents Applied to the Multi Agent Programming Contest Scenario
Gradient-Based Attribution Methods
Federated Soft Gradient Boosting Machine for Streaming Data
Towards Discovery of Subgraph Bisociations
Ontology Engineering - The DOGMA Approach
3D Facial Recognition with Soft Computing
Location and Activity Recognition Using eWatch: A Wearable Sensor Platform
Data Curation and Preservation
Wireless Sensor Networks for Monitoring Vineyards
Collaborative Authoring of OpenCourseWare: The Best Practices and Complex Solution
A Compositional Semantics for CHR with Propagation Rules
Biomechanical Modeling from In-Vivo Data
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems
Supply Chain Business Intelligence: Technologies, Issues and Trends
Divide and Conquer - Towards a Notion of Risk Model Encapsulation
On the Complexity of Estimating the Effective Support Size
The Problematic Relationship Between Trust and Democracy; Its Crisis and Web Dangers and Promises
Modularity in Databases
Web Semantics for Intelligent and Dynamic Information Retrieval Illustrated within the Mental Health Domain
Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing
Design Support of Reaction and Compounding Extruders
Towards a Linked and Reusable Conceptual Layer Around Higher Education Programs
Responsible Research and Innovation Learning Facilitation
Discovering Concurrency Errors
Location Types for Safe Programming with Near and Far References
Oblivious Robots on Graphs: Exploration
Deterministic Rendezvous Algorithms
The Socio-technical Security Requirements Modelling Language for Secure Composite Services
Current Advances in Neural Decoding
Medical Data Processing and Analysis for Remote Health and Activities Monitoring
Deep Learning Trends for Focal Brain Pathology Segmentation in MRI
Overview of Control and Game Theory in Adaptive Cyber Defenses
Explaining and Interpreting LSTMs
Internet PoP Level Maps
Agents in Approximate Environments
Computing and Software Science - State of the Art and Perspectives
On the Effect of the Proximity Parameter on Property Testers
Budget-Bounded Incentives for Federated Learning
Linking Biomedical Data to the Cloud
Chapter 4 Two-Stage Nonsmooth Stochastic Optimization and Iterative Stochastic Quasigradient Procedure for Robust Estimation, Machine Learning and Decision Making
Applications and Evaluation: Overview
Composing Modular Ontologies with Distributed Description Logics
Solving Partially Observable Reinforcement Learning Problems with Recurrent Neural Networks
NGN Shortcomings
Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity
ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life
Towards Cooperative Sustainability
Endoscopy
Methodological Approaches to Reflect on the Relationships Between People, Spaces, Technologies
Computational Construction Grammar: Comparing ECG and FCG
Model-Driven Programming
Resources for Studying Statistical Analysis of Biomedical Data and R
Reasoning About Strategies and Rational Play in Dynamic Games
Exploring the Boundaries of Rely/Guarantee and Links to Linearisability
Exploring the Concept of Cyberpark: What the Experts Think
Lessons Learned: Visualizing Cyber Situation Awareness in a Network Security Domain
Logical English for Law and Education
Game Theoretic Approaches to Cyber Security: Challenges, Results, and Open Problems
Communication and Security in Machine-to-Machine Systems
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Teaching Information Visualization
Virtual Clinical Therapy
Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engine
Virtual Fit Study of Pediatric Heart Assist System
Security Issues in QCA Circuit Design - Power Analysis Attacks
Construction of Proofs
A Reinforcement-Learning Model of Top-Down Attention Based on a Potential-Action Map
Hybrid Reasoning with Rules and Ontologies
Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers
Experiences with Functional Programming in an Introductory Curriculum
Tag-Based Navigation and Visualization
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation
A Better Logical Semantics for Prolog
Before We Get There, Where Are We Going?
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems
Extension of the Identity Management System Mainzelliste to Reduce Runtimes for Patient Registration in Large Datasets
A Flexible Search Framework for CHR
Computation and Complexity
Logic Model Processing
Engineering Artificially Intelligent Systems - A Systems Engineering Approach to Realizing Synergistic Capabilities
Planning and Moving in Dynamic Environments
Creating a World for Socio-Cultural Agents
Feature Fallacy: Complications with Interpreting Linear Decoding Weights in fMRI
Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages
Deep Learning via Semi-supervised Embedding
The Identity Landscape
Future Challenges for Autonomous Systems
Interdependence and Vulnerability in Systems: A Review of Theory for Autonomous Human-Machine Teams
The ASCENS Case Studies: Results and Common Aspects
Computer-Assisted Work Process Modeling in Chemical Engineering
Rescheduling Dense Train Traffic over Complex Station Interlocking Areas
On Defining PPT-Search Problems
Immersive Analytics
Case Study Definition and Implementation
Heterogeneous Objects Modelling and Applications, Collection of Papers on Foundations and Practice
On the Relational Basis of Early R/G Work
Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools
Open Policies for Decentralized User Modeling in Online Communities
Security of Internet of Things for a Reliable Internet of Services
Biobanks - A Source of Large Biological Data Sets: Open Problems and Future Challenges
Transformation Invariance in Pattern Recognition - Tangent Distance and Tangent Propagation
Towards Bisociative Knowledge Discovery
Timed Hazard Analysis of Self-healing Systems
Traversing Ontologies to Extract Views
Distribution-Based Anomaly Detection in Network Traffic
Heterogeneous Modeling of Biological Organs and Organ Growth
Case Study: ENVRI Science Demonstrators with D4Science
The Once-Only Principle: A Matter of Trust
Approaches and Challenges for Cognitive Vision Systems
Continuous-Time Models for System Design and Analysis
Review of BisoNet Abstraction Techniques
A Language and a Methodology for Prototyping User Interfaces for Control Systems
A Logical View on Teamwork
Network Creation: Overview
How to Train Neural Networks
A Note on Proofs of Earley's Recognizer
Verification and Analysis of Autonomic Systems for Networked Enterprises
Ontologies for Production Automation
Brain Computation: A Computer Science Perspective
Model-Based Testing Using Scenarios and Event-B Refinements
Darwin or Lamarck? Future Challenges in Evolutionary Algorithms for Knowledge Discovery and Data Mining
Signaling Games - Dynamics of Evolution and Learning
Learning Modulo Theories
Detection and Defense Methods of Cyber Attacks
Automation in Systematic, Scoping and Rapid Reviews by an NLP Toolkit: A Case Study in Enhanced Living Environments
Integrating Sequencing and Scheduling: A Generic Approach with Two Exemplary Industrial Applications
A Tutorial on Machine Learning and Data Science Tools with Python
Enabling Traceability in the Wine Supply Chain
Mobile Agents on Dynamic Graphs
Mathematical Support for Ensemble Engineering
Proof Search with Taclets
Biomedical Modeling in Tele-Immersion
Introduction to Runtime Verification
Challenging Methods and Results Obtained from User-Generated Content in Barcelona's Public Open Spaces
Building Coordinated Real-Time Control Plans
Real VR - Immersive Digital Reality - How to Import the Real World into Head-Mounted Immersive Displays
Computable Models of the Law and ICT: State of the Art and Trends in European Research
Chapter 2 Application of the Multigrammatical Framework to the Assessment of Resilience and Recoverability of Large - Scale Industrial Systems
Rely-Guarantee Interpretation of Sequence Diagrams
Approximating a Class of Classification Problems
Creating Standardized Video Recordings of Multimodal Interactions across Cultures
10 Steps and Some Tricks to Set up Neural Reinforcement Controllers
An Overview of AI Research in Italy
Visual Analytics: Definition, Process, and Challenges
The Geneva Convention on the Treatment of Object Aliasing
Neural Networks: Tricks of the Trade - Second Edition
Survey on Counting Special Types of Polynomials
Survey of XAI in Digital Pathology
Functional Verification and Information Flow Analysis of an Electronic Voting System
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405
Understanding Ownership Types with Dependent Types
Federated Query Processing
Shunting for Dummies: An Introductory Algorithmic Survey
Cascade Jump Controlled Sequence Generator and Pomaranch Stream Cipher
Sosemanuk, a Fast Software-Oriented Stream Cipher
Managing Dynamicity in SoS
Debugging and Visualization
Social Unrest Events Prediction by Contextual Gated Graph Convolutional Networks
Engineering a Bipartite Matching Algorithm in the Semi-Streaming Model
Combining Black-Box and White-Box Techniques for Learning Register Automata
Exploring Immersive Analytics for Built Environments
Artificial Intelligence for the Design of Symmetric Cryptographic Primitives
The Interdisciplinary IMPROVE Project
Use of Semantic Web Technologies in the Architecture of the BBC Education Online Pages
Online Music Search by Tapping
Review from Academic Success Perspective
DataJewel: Integrating Visualization with Temporal Data Mining
Hybrid Human Modeling: Making Volumetric Video Animatable
Federated Learning - Privacy and Incentive
BioSecure Digital Twin: Manufacturing Innovation and Cybersecurity Resilience
VeriFast for Java: A Tutorial
Ontology Integration Using epsilon-Connections
Context Monitoring for Improved System Performance and QoE
Facilitating the Exploration and Visualization of Linked Data
Formal Properties of Modularisation
Interactive Decision Tree Construction for Interval and Taxonomical Data
What Does "Ethical by Design" Mean?
Framing the Invisible - The Social Background of Trust
The Art of CIIP Strategy: Tacking Stock of Content and Processes
Why Androids Will Have Emotions: Constructing Human-Like Actors and Communicators Based on Exact Sciences of the Mind
Silicon Atomic Quantum Dots Enable Beyond-CMOS Electronics
Privacy and Identity Management Requirements: An Application Prototype Perspective
On the Synthesis of Secure Services Composition
Supporting Cross-Domain System-Level Environmental and Earth Science
Reversible Logic Based Design and Test of Field Coupled Nanocomputing Circuits
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process
Ambient Pre-Communication - A Study of Voice Volume Control Method on Telecommunication
Logic of Strategies: What and How?
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project
A Middleware for the Deployment of Ambient Intelligent Spaces
Handling Semantic Heterogeneity in Interoperable Distributed User Models
The E-mobility Case Study
Speaker Identification and Speech Recognition Using Phased Arrays
Modular Dissipation Analysis for QCA
A New Look at Formal Methods for Software Construction
A Pipelined Multi-Core Machine with Operating System Support, Hardware Implementation and Correctness Proof
The Rationale of CyberParks and the Potential of Mediated Public Open Spaces
Text Analysis Pipelines - Towards Ad-hoc Large-Scale Text Mining
Sample Quality as Basic Prerequisite for Data Quality: A Quality Management System for Biobanks
Erratum to: Fluid-Like Swarms with Predictable Macroscopic Behavior
Chapter 5 Robotics as an Enabler of Resiliency to Disasters: Promises and Pitfalls
Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
Text Visualization for Visual Text Analytics
Methods, Models and Tools for Fault Tolerance
Adaptive Regularization in Neural Network Modeling
Independence and Coloring Problems on Intersection Graphs of Disks
On the Communication Complexity Methodology for Proving Lower Bounds on the Query Complexity of Property Testing
Introduction to Social Information Access
Chapter 8 Building Resilience into the Metadata-Based ETL Process Using Open Source Big Data Technologies
Neural Network Classification and Prior Class Probabilities
Visual Digest Networks
Improving Video QoE in Unmanned Aerial Vehicles Using an Adaptive FEC Mechanism
The Value of Context-Awareness in Bandwidth-Challenging HTTP Adaptive Streaming Scenarios
Basal Ganglia Models for Autonomous Behavior Learning
CHR for Imperative Host Languages
Probabilistic Verification at Runtime for Self-Adaptive Systems
Programming with Actors - State-of-the-Art and Research Perspectives
Chapter 1 Resilience Algorithms in Complex Networks
Traditional Machine Learning Methods for Side-Channel Analysis
AI and Constitutionalism: The Challenges Ahead
Advances in Web Semantics I - Ontologies, Web Services and Applied Semantic Web
Towards Cognitive Robotics
Biomine: A Network-Structured Resource of Biological Entities for Link Prediction
The Requirement Gatherers' Approach to the 2019 Multi-Agent Programming Contest Scenario
MTD Techniques for Memory Protection Against Zero-Day Attacks
On the Formalization of the Notion of an Algorithm
Verification of Authorization Policies Modified by Delegation
Ontology-Based Integration and Management of Distributed Design Data
Brainwave-Based Imagery Analysis
Separation Logic for Object-Oriented Programming
Building Enterprise Ready Applications Using Linked Open Data
Threats to Federated Learning
Supporting the Construction of Spanish Legal Ontologies with Text2Onto
AmbientJS - A Mobile Cross-Platform Actor Library for Multi-Networked Mobile Applications
Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization
Revealing the Potential of Public Places: Adding a New Digital Layer to the Existing Thematic Gardens in Thessaloniki Waterfront
Management and Reuse of Experience Knowledge in Extrusion Processes
Research on Reversible Functions Having Component Functions with Specified Properties: An Overview
Group Communication in Machine-to-Machine Environments
CoConES: An Approach for Components and Contracts in Embedded Systems
Usability Recommendations for User Guidance in Deductive Program Verification
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
Machine Learning Meets Data Modification - The Potential of Pre-processing for Privacy Enchancement
Face for Ambient Interface
Towards Byzantine-Resilient Federated Learning via Group-Wise Robust Aggregation
Temporal Deontic Defeasible Logic: An Analytical Approach
On the Complexity of Enumerating Ordered Sets
On Testing Group Properties
Cyber-Physical Systems and Events
From Smart Health to Smart Hospitals
Object Graphs with Ownership Domains: An Empirical Study
Specification and Verification of Applications Based on Function Blocks
Design and Characterization of Light Field and Holographic Near-Eye Displays
Emotion Recognition through Multiple Modalities: Face, Body Gesture, Speech
Work Process Models
Recommending Based on Implicit Feedback
Secure and Trustworthy Service Composition - The Aniketos Approach
Intentional Agents in Defense
Reconstructing 3D Human Avatars from Monocular Images
Representing and Validating Digital Business Processes
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Efficient and Fair Data Valuation for Horizontal Federated Learning
Pattern-Driven Formal Specification
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
Emergence in Cyber-Physical Systems-of-Systems (CPSoSs)
Dynamic Models of Rational Deliberation in Games
Modelling Co-creation Ecosystem for Public Open Spaces
Extracting Data from WSNs: A Service-Oriented Approach
Adapted Features and Instance Selection for Improving Co-training
Semantic Search with GoPubMed
Survey on Feature Extraction and Applications of Biosignals
EvoSpaces - Multi-dimensional Navigation Spaces for Software Evolution
Anticipation in Coordination
Privacy Models and Languages: Obligation Policies
FAtiMA Modular: Towards an Agent Architecture with a Generic Appraisal Framework
Automatic Recognition of Emotions from Speech: A Review of the Literature and Recommendations for Practical Realisation
Simplification of Networks by Edge Pruning
Proof Obligations
Representing and Incorporating Prior Knowledge in Neural Network Training
Bagging Soft Decision Trees
Computing Argumentation for Decision Making in Legal Disputes
Transparency: Motivations and Challenges
Aliasing Visions: Ownership and Location
Exploration: Overview
Semantic Subgroup Discovery and Cross-Context Linking for Microarray Data Analysis
Immersive Analytics: Time to Reconsider the Value of 3D for Information Visualisation
Deep Learning on Side-Channel Analysis
Strategic Vagueness, and Appropriate Contexts
Peer-to-Peer Overlays for Online Games
AI in France: History, Lessons Learnt, State of the Art and Future
Teenagers' Perception of Public Spaces and Their Practices in ICTs Uses
Visual Methods for Examining SVM Classifiers
Interactive Knowledge Discovery and Data Mining in Biomedical Informatics - State-of-the-Art and Future Challenges
New Stream Cipher Designs - The eSTREAM Finalists
Faithful Post-hoc Explanation of Recommendation Using Optimally Selected Features
Controlling the Hyperparameter Search in MacKay's Bayesian Neural Network Framework