yusuke1997/dblp-id-title huggingface dataset:
On the Unnecessity of Multiple Overlaps in Completion Theorem Proving
Expressive Explanations of DNNs by Combining Concept Analysis with ILP
Equational Theorem Proving Using Taxonomic Constraints
Tripartite Line Tracks - Bipartite Line Tracks
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types
Clustering Objects from Multiple Collections
Graphtheoretical Algorithms and Knowledge-Based Design
Conflicts in the Spatial Interaction of Autonomous Agents
Shaking Hands in Latent Space - Modeling Emotional Interactions with Gaussian Process Latent Variable Models
Progress in Movement Pattern Analysis
Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers
Linking Humans and Intelligent Systems - or: What are User Agents Good for?
On-Line Detection of Rule Violations in Table Soccer
Configuration as a Consistency Maintenance Task
Improved Diversity in Nested Rollout Policy Adaptation
Learning by Observing: Case-Based Decision Making in Complex Strategy Games
From Distributed Vision Networks to Human Behavior Interpretation
Using Rough Sets Theory to Predict German Word Stress
Declarative Representation of Control Structures
A Graphical User Interface for an ECG Classifier System
Monitoring Movement Behavior by Means of a Large Area Proximity Sensor Array in the Floor
Star-Shaped Denoising Diffusion Probabilistic Models (Extended Abstract)
Grid-Based Angle-Constrained Path Planning
Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes
Information Processing and Knowledge Generation in the Nervous System
Revising Domain Theories in Model-Based Reasoning Systems
Learning and Interpretation of the Layout of Structured Documents
Dynamics, Morpholgy, and Materials in the Emergence of Cognition
Real-Time Scan-Line Segment Based Stereo Vision for the Estimation of Biologically Motivated Classifier Cells
Structured Reactive Communication Plans - Integrating Conversational Actions into High-Level Robot Control Systems
Criteria in Natural Language Generation: Minimal Criteria and Their Impacts
Generalized Cases: Representation and Steps Towards Efficient Similarity Assessment
Interval Based Relaxation Heuristics for Numeric Planning with Action Costs
Predicting Numbers: An AI Approach to Solving Number Series
Knowledge Sources for Understanding and Describing Image Sequences
Formalizing Local Constraint Propagation Methods
XPRTS - An Implementation Tool for Program Synthesis
Modeling Human-Level Intelligence by Integrated Cognition in a Hybrid Architecture
An Implementation and Evaluation of User-Centered Requirements for Smart In-house Mobility Services
Konsistenzüberprüfung bei sich verändernden Wissensbasen
GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings
Using Theory Resolution to Simplify Interpreted Formulae
A Human-Oriented Term Rewriting System
Tools for Autonomous Agents (Abstract)
Integrating Action Calculi and Description Logics
Adaptive Vision for Playing Table Soccer
Generalized Earley Deduction and Its Correctness
AI Languages and AI Machines: An Overview
Comparing Two Approaches for the Recognition of Temporal Expressions
A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations
Cones, Negation, and All That
A Computational Model of Bistable Perception- Attention Dynamics with Long Range Correlations
Relational Neural Gas
Sequential Exceptional Pattern Discovery Using Pattern-Growth: An Extensible Framework for Interpretable Machine Learning on Sequential Data
Ellipsenrekonstruktion im Kontext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS
Teaching AI to Explain its Decisions Can Affect Class Balance
Parametrizing Cartesian Genetic Programming: An Empirical Study
Modellgestütztes Bildverstehen von Dokumenten
Hierarchical Hybrid Planning in a Mobile Service Robot
Extracting Planning Operators from Instructional Texts for Behaviour Interpretation
Explaining Multivariate Time Series Forecasts: An Application to Predicting the Swedish GDP
Deductive vs. Inductive Instructions: Evaluating the Predictive Powers of Cognitive Models for Conditional Reasoning
Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning
A Prolog Framework for Integrating Business Rules into Java Applications
Sektion "Küstliche Intelligenz und Datenbanksysteme - Konzeptuelle Modellierung und Systemarchitektur"
Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems
Managing Multiple Contexts Efficiently
Inferenzen bei Ungewißheit in Expertensystemen
Learning Search Control Knowledge for Equational Theorem Proving
An Organization of Lexical Knowledge for Generation
Planning in the Wild: Modeling Tools for PDDL
A Contribution to the Question of Authenticity of Resus Using Part-of-Speech Tagging
From Intelligibility to Debuggability in Context-Aware Systems
Move Prediction in Go - Modelling Feature Interactions Using Latent Factors
GWAI-90, 14th German Workshop on Artificial Intelligence, Eringerfeld, Germany, 10.-14. September 1990, Proceedings
Detecting Floors in Residential Buildings
Cyclic Rules in Linear Connection Proofs
NeuralPDE: Modelling Dynamical Systems from Data
Compiling Dynamic Agent Conversations
Multidisciplinary Design of Air-Launched Space Launch Vehicle Using Simulated Annealing
A Priori Approximation of Symmetries in Dynamic Probabilistic Relational Models
Dealing Efficiently with Ontology-Enhanced Linked Data for Multimedia
Structured Incremental Proof Planning
Harmonizing Feature Attributions Across Deep Learning Architectures: Enhancing Interpretability and Consistency
Understanding NLP Neural Networks by the Texts They Generate
Using Logic Programming for Fault Diagnosis in Digital Circuits
Division of Work During Behaviour Recognition - The SCENIC Approach
A Model Elimination Calculus with Built-in Theories
Recognition and Visualization of Music Sequences Using Self-organizing Feature Maps
Be Busy and Unique ... or Be History - The Utility Criterion for Removing Units in Self-Organizing Networks
Proceedings of the KI 2013 Workshop on Visual and Spatial Cognition KIK - KI & Kognition Workshop Series co-located with 36th German Conference on Artificial Intelligence (KI 2013), Koblenz, Germany, September 17, 2013
Game-Theoretic Agent Programming in Golog Under Partial Observability
Behaviour Monitoring and Interpretation - Smart Environments
Oddness-Based Classifiers for Boolean or Numerical Data
Coherent Choice and Epistemic Entrechment (Preliminary Report)
A Probabilistic Approach for Dynamic State Estimation Using Visual Information
Atomic Metadeduction
Thresholding for Segmentation and Extraction of Extensive Objects on Digital Images
A New Method for Asynchronous Multisensor Information Fusion
Numbers Don't Lie: Hybrid Extraction and Validation of Quantitative Statements in Arguments with Semi-structured Information
History of AI in Germany and The Third Industrial Revolution
Contraction Hierarchies on Grid Graphs
Verbmobil - Translation of Face-To-Face Dialogs
The Process Semantics Based Reasoning about Continuous Change
Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals
Deep Learning Emulators for Large-Scale, High-Resolution Urban Pluvial Flood Prediction
Küstliche Intelligenz, Repräsentation von Wissen und natürlichsprachliche Systeme, Frühjahrsschule, Dassel (Solling), 5.-16. März 1984
Syntaktische und semantische Generalisierungen im strukturierten Lexikon
Computational Reflection
KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings
Temporal Logic in Artificial Intelligence
Rule-based intention recognition from spatio-temporal motion track data in ambient assisted living
IRT2: Inductive Linking and Ranking in Knowledge Graphs of Varying Scale
GWAI-91, 15. Fachtagung für Künstliche Intelligenz, Bonn, 16.-20. September 1991, Proceedings
Einführung in LISP
Autonomous Weapon Systems - Dangers and Need for an International Prohibition
Multi-Perspective Anomaly Detection on Bipartite Multi-Layer Social Interaction Networks
Artifical Intelligence for Nature - Why Knowledge Representation and Problem Solving Should Play a Key Role in Environmental Decision Support
Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem
GLIF: A Declarative Framework for Symbolic Natural Language Understanding
An Empirically Validated Model for Computing Spatial Relations
Towards a Unified Algebraic Framework for Non-Monotonicity
GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings
Data Augmentation in Latent Space with Variational Autoencoder and Pretrained Image Model for Visual Reinforcement Learning
On Human-Aware Information Seeking
An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies
Semantik und sprachliche Information
Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries
Knowledge-Based Approach to the Executable Design Concept
Some Useful Search Techniques for Natural Language Generation
Kernel Feature Maps from Arbitrary Distance Metrics
Interfacing Prolog and External Data Management Systems: A Model
EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ
Humanities-Centered AI: From Machine Learning to Machine Training
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog
Action Model Acquisition Using Sequential Pattern Mining
NIGEL Gets To Know Logic
Cooperating to Be Noncooperative: The Dialog System PRACMA
Navidgator - Similarity Based Browsing for Image and Video Databases
MINERVA: A Tour-Guide Robot that Learns
Contour-Based Segmentation of Historical Printings
Propagating Maximum Capacities for Recommendation
Any-World Access to OWL from Prolog
Towards Systematic Evaluation of Computer Vision Models Under Data Anonymization
From Linear Proofs to Direct Logic with Exponentials
Integrating Semantic Knowledge in Data Stream Processing
Experience Management with Task-Configurations and Task-Patterns for Descriptive Data Mining
Providing Built-In Counters in a Declarative Dynamic Programming Environment
Change Point Detection via Synthetic Signals
Adjustable Context-Aware Transformer
Accurate and Efficient Real-World Fall Detection Using Time Series Techniques
Rail Crack Propagation Forecasting Using Multi-horizons RNNs
Weighted Average of Human Motion Sequences for Improving Rehabilitation Assessment
From Univariate to Multivariate Time Series Anomaly Detection with Non-Local Information
Advanced Analytics and Learning on Temporal Data - 9th ECML PKDD Workshop, AALTD 2024, Vilnius, Lithuania, September 9-13, 2024, Revised Selected Papers
Advanced Analytics and Learning on Temporal Data - 7th ECML PKDD Workshop, AALTD 2022, Grenoble, France, September 19-23, 2022, Revised Selected Papers
Advanced Analytics and Learning on Temporal Data - 6th ECML PKDD Workshop, AALTD 2021, Bilbao, Spain, September 13, 2021, Revised Selected Papers
RED CoMETS: An Ensemble Classifier for Symbolically Represented Multivariate Time Series
Classification of Raw MEG/EEG Data with Detach-Rocket Ensemble: An Improved ROCKET Algorithm for Multivariate Time Series Analysis
Change Detection in Multivariate Data Streams: Online Analysis with Kernel-QuantTree
Fast Channel Selection for Scalable Multivariate Time Series Classification
Designing a New Search Space for Multivariate Time-Series Neural Architecture Search
Change Points Detection in Multivariate Signal Applied to Human Activity Segmentation
Ranking by Aggregating Referees: Evaluating the Informativeness of Explanation Methods for Time Series Classification
Time-Aware Predictions of Moments of Change in Longitudinal User Posts on Social Media
Temporal Performance Prediction for Deep Convolutional Long Short-Term Memory Networks
Data Augmentation for Time Series Classification with Deep Learning Models
Advanced Analytics and Learning on Temporal Data - 8th ECML PKDD Workshop, AALTD 2023, Turin, Italy, September 18-22, 2023, Revised Selected Papers
ShapeDBA: Generating Effective Time Series Prototypes Using ShapeDTW Barycenter Averaging
State Discovery and Prediction from Multivariate Sensor Data
Deep Long Term Prediction for Semantic Segmentation in Autonomous Driving
Multivariate Human Activity Segmentation: Systematic Benchmark with ClaSP
Do Cows Have Fingerprints? Using Time Series Techniques and Milk Flow Profiles to Characterise Cow Milking Performance and Detect Health Issues
Extracting Features from Random Subseries: A Hybrid Pipeline for Time Series Classification and Extrinsic Regression
Multimodal Meta-Learning for Time Series Regression
Explainable Parallel RCNN with Novel Feature Representation for Time Series Forecasting
tGLAD: A Sparse Graph Recovery Based Approach for Multivariate Time Series Segmentation
ODIN AD: A Framework Supporting the Life-Cycle of Time Series Anomaly Detection Applications
RESIST: Robust Transformer for Unsupervised Time Series Anomaly Detection
Detection of Critical Events in Renewable Energy Production Time Series
TRAMESINO: Traffic Memory System for Intelligent Optimization of Road Traffic Control
Dimension Selection Strategies for Multivariate Time Series Classification with HIVE-COTEv2.0
RevDet: Robust and Memory Efficient Event Detection and Tracking in Large News Feeds
Highly Scalable Time Series Classification for Very Large Datasets
Exploiting Context and Attention Using Recurrent Neural Network for Sensor Time Series Prediction
Non-parametric Multivariate Time Series Co-clustering Model Applied to Driving-Assistance Systems Validation
Human Activity Segmentation Challenge @ ECML/PKDD'23
EDGAR: Embedded Detection of Gunshots by AI in Real-time
Evaluating Explanation Methods for Multivariate Time Series Classification
Window Size Selection in Unsupervised Time Series Analytics: A Review and Benchmark
Experimental Study of Time Series Forecasting Methods for Groundwater Level Prediction
State Space Approximation of Gaussian Processes for Time Series Forecasting
Application of Attention Mechanism Combined with Long Short-Term Memory for Forecasting Dissolved Oxygen in Ganga River
Fast Time Series Classification with Random Symbolic Subsequences
Identification of the Best Accelerometer Features and Time-Scale to Detect Disturbances in Calves
Conformal Prediction Techniques for Electricity Price Forecasting
Back to Basics: A Sanity Check on Modern Time Series Classification Algorithms
Temporal Phenotyping for Characterisation of Hospital Care Pathways of COVID19 Patients
Clustering Time Series with k-Medoids Based Algorithms
Electricity Load and Peak Forecasting: Feature Engineering, Probabilistic LightGBM and Temporal Hierarchies
Comparing the Performance of Recurrent Neural Network and Some Well-Known Statistical Methods in the Case of Missing Multivariate Time Series Data
Cluster-Based Forecasting for Intermittent and Non-intermittent Time Series
Clustering of Time Series Based on Forecasting Performance of Global Models
Human-Robot Personal Relationships - Third International Conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010, Revised Selected Papers
"Adventures of Harvey" - Use, Acceptance of and Relationship Building with a Social Robot in a Domestic Environment
Modeling Mixed Groups of Humans and Robots with Reflexive Game Theory
Digital Adultery, "Meta-Anon Widows, " Real-World Divorce, and the Need for a Virtual Sexual Ethic
Towards a Sociological Understanding of Robots as Companions
From Speech to Emotional Interaction: EmotiRob Project
Talking to Robots: On the Linguistic Construction of Personal Human-Robot Relations
A Design Process for Lovotics
The Potential of Socially Assistive Robotics in Care for Elderly, a Systematic Review
Using Empathy to Improve Human-Robot Relationships
Can Children Have a Relationship with a Robot?
Spatial Sounds (100dB at 100km/h) in the Context of Human Robot Personal Relationships
Loving Machines: Theorizing Human and Sociable-Technology Interaction
The Development of an Online Research Tool to Investigate Children's Social Bonds with Robots
Children's Perception and Interpretation of Robots and Robot Behaviour
The Yume Project: Artists and Androids
Investigation on Requirements of Robotic Platforms to Teach Social Skills to Individuals with Autism
Interaction between Task Oriented and Affective Information Processing in Cognitive Robotics
On the convergence to fairness in overloaded FIFO systems
Assembling Edge Intelligence and Decentralized Infrastructure on Command using LLMs
Context-aware adaptive video streaming for mobile users
Connectivity-Based Localization of Large Scale Sensor Networks with Complex Shape
PassiveRETRO: Enabling Completely Passive Visible Light Localization for IoT Applications
A General Analysis Techinque for ARQ Protocol Performance in High Speed Networks
To offload or not to offload? The bandwidth and energy costs of mobile cloud computing
Resource Allocation in Multi-cell OFDMA-based Relay Networks
Wireless and Computing Resource Allocation for Selfish Computation Offloading in Edge Computing
Demand-Aware Network Design with Minimal Congestion and Route Lengths
SDN-based Order-aware Live Migration of Virtual Machines
WRF-GS: Wireless Radiation Field Reconstruction with 3D Gaussian Splatting
Ultra Reliable and Low Latency Authentication Scheme for Internet of Vehicles Based on Blockchain
Antenna orientation and range assignment in WSNs with directional antennas
Channel allocation in wireless data center networks
Analyzing Learning-Based Networked Systems with Formal Verification
Scheduling Jobs with Random Resource Requirements in Computing Clusters
On Designing Improved Controllers for AQM Routers Supporting TCP Flows
Distributed Caching Algorithms for Content Distribution Networks
Towards adaptive continuous scanning in large-scale RFID systems
Strict-Sense Non-Blocking Conditions for Shuffle/Exchange Networks with Vertical Replication
Maximizing Resilient Throughput in Peer-to-Peer Network: A Generalized Flow Approach
IP Multicast Extensions for Mobile Internetworking
Computational Analysis and Efficient Algorithms for Micro and Macro OFDMA Scheduling
Relative Delay Differentiation and Delay Class Adaptation in Core-Stateless Networks
Non-Deterministic Periodic Packet Streams and their Impact on a Finite-Capacity Multiplexer
Virtual resource allocation for information-centric heterogeneous networks with mobile edge computing
Dynamic segment size selection in HTTP based adaptive video streaming
Analyzing the Energy-Latency Trade-Off During the Deployment of Sensor Networks
Impairment-Aware Offline RWA for Transparent Optical Networks
PSFL: Parallel-Sequential Federated Learning with Convergence Guarantees
When Deep Learning Meets Steganography: Protecting Inference Privacy in the Dark
Padding for orthogonality: Efficient subspace authentication for network coding
Timely video popularity forecasting based on social networks
flexRLM: Flexible Radio Link Monitoring for Multi-User Downlink Millimeter-Wave Networks
Fast secret key generation in static wireless networks: A virtual channel approach
Farsighted users harness network time-diversity
Efficient Synchronous MAC Protocols for Terahertz Networking in Wireless Data Center
Fast and Scalable Selective Retransmission for RDMA
CU-LTE: Spectrally-efficient and fair coexistence between LTE and Wi-Fi in unlicensed bands
Energy efficient resource allocation for collaborative mobile cloud with hybrid receiver
Camel: Context-Aware Magnetic MIMO Wireless Power Transfer with In-band Communication
Spectrum Patrolling with Crowdsourced Spectrum Sensors
Classification encryption via compressed permuted measurement matrices
A Novel Methodology for the Automated Detection and Classification of Networking Anomalies
Multirate multicast: Optimal algorithms and implementation
Extracting mobile user behavioral similarity via cell-level location trace
Reinforcement learning in BitTorrent systems
A Dynamic RWA Algorithm in a Wavelength-Routed All-Optical Network with Wavelength Converters
DeePar: A Hybrid Device-Edge-Cloud Execution Framework for Mobile Deep Learning Applications
5GC-Fuzz: Finding Deep Stateful Vulnerabilities in 5G Core Network with Black-Box Fuzzing
TTL-based Cloud Caches
Speedup of information exchange using multiple channels in wireless ad hoc networks
Optimal Selection of Multicast Groups for Resource Location on a Distributed System
Effective Loss of Multiplexed ATM Cell Streams
Measuring Network-Aware Worm Spreading Ability
Time Synchronization for High Latency Acoustic Networks
A Class-Oriented Replacement Technique for Lost Speech Packets
A Loop-Free Path-Finding Algorithm: Specification, Verification and Complexity
Memory flipping: a threat to NUMA virtual machines in the Cloud
Age of Actuation in a Wireless Power Transfer System
Design of a Channel Characteristics-Aware Routing Protocol
Analysis and Optimization of Transmission Schedules for Single-Hop WDM Networks
Did you also hear that? Spectrum sensing using Hermitian inner product
A Portable Communication System for Video-On-Demand Applications Using the Existing Infrastructure
Latency-aware C-ITS application for improving the road safety with CAM messages on the Smart Highway testbed
Information Dissemination in Power-Constrained Wireless Networks
Toward Optimal Software-Defined Interdomain Routing
A formal analysis of IEEE 802.11w deadlock vulnerabilities
Perspectives on FDDI and DQDB MAN Technologies
Proceedings IEEE INFOCOM '95, The Conference on Computer Communications, Fourteenth Annual Joint Conference of the IEEE Computer and Communications Societies, Bringing Information to People, Boston, Massachusetts, USA, April 2-6, 1995
On the scalability of router forwarding tables: Nexthop-Selectable FIB aggregation
SpecGuard: Spectrum misuse detection in dynamic spectrum access systems
Performance Issues with the SAE LTPB and the IEEE 802.4 Protocols
Efficient IPv6 Router Interface Discovery
Measuring routing tables in the internet
AI in Space: Evaluating ML Algorithms for Onboard Decision-Making in Nanosatellites
EMF: Embedding multiple flows of information in existing traffic for concurrent communication among heterogeneous IoT devices
Silent Thief: Password Eavesdropping Leveraging Wi-Fi Beamforming Feedback from POS Terminal
FLoD: A Framework for Peer-to-Peer 3D Streaming
Evolutionary coalitional games for random access control
Transport throughput of secondary networks in spectrum sharing systems
A Unifying Perspective on the Capacity of Wireless Ad Hoc Networks
On Channel Power Sensing in Terrestrial Spread Spectrum Packet Radio Networks
Analysis of Symmetric Nonexhaustive Polling with Multiple Servers
On Node Isolation Under Churn in Unstructured P2P Networks with Heavy-Tailed Lifetimes
Efficient Quorumcast Routing Algorithms
Traffic engineering in software defined networks
A Bayesian Framework for Online Nonconvex Optimization over Distributed Processing Networks
Grafting Arborescences for Extra Resilience of Fast Rerouting Schemes
Design Considerations for Using the X.25 Packet Layer in Data Terminal Equipment
TapFinger: Task Placement and Fine-Grained Resource Allocation for Edge Machine Learning
Network latency prediction for personal devices: Distance-feature decomposition from 3D sampling
On exploiting flow allocation with rate adaptation for green networking
Distinct element counting in distributed dynamic data streams
Spectral Analysis of Internet Topologies
On Network Topology Augmentation for Global Connectivity under Regional Failures
Distributed load shedding with minimum energy
Performance bounds and associated design principles for multi-cellular wireless OFDMA systems
Capacity of multi-user MIMO systems with MMSE and ZF precoding
Looking before Crossing: An Optimal Algorithm to Minimize UAV Energy by Speed Scheduling with a Practical Flight Energy Model
Packet Scheduling in Input-Queued Cell-Based Switches
GridDataBus: Information-centric platform for scalable secure resilient phasor-data sharing