yusuke1997/dblp-id-title huggingface dataset:
Scalable Decentralised Decision Making and Optimisation in Heterogeneous Teams
A method for estimation of lightness of objects with intensity data from SOKUIKI sensor
Multiple Ground Target Tracking with a GMTI Sensor
Handling heterogeneous information sources for multi-robot sensor fusion
A multi-robot platform for mobile robots - A novel evaluation and development approach with multi-agent technology
Self-Supervised Learning and Multi-Task Pre-Training Based Single-Channel Acoustic Denoising
Emotion classification based on structured information
Use of non-reward based electrical stimuli of the ventral posteromedial thalamic nucleus to control the turning behavior of rat motor navigation
Human activity recognition using robust spatiotemporal features and convolutional neural network
Emotional state transfer model based on FSM
Hand gesture recognition for Human-Robot Interaction for service robot
The research of visual attention mechanism model fuse multi-feature
Disambiguating localization symmetry through a Multi-Clustered Particle Filtering
Data Fusion for Ground Moving Target Tracking
An argumentation based feedback system for action planning of service robots
Underwater Terrain Navigation Using Standard Sea Charts and Magnetic Field Maps
3-Axis magnetic field mapping and fusion for indoor localization
State estimation in networked control systems with delayed and lossy acknowledgments
Elongated strip oil spill segmentation based on a cooperative model
Robust road line color recognition based on 2-dimensional S-color space
Efficient Nonlinear Bayesian Estimation based on Fourier Densities
Fusing low-cost sensor data for localization and mapping of automated guided vehicle fleets in indoor applications
Online 3D Frontier-Based UGV and UAV Exploration Using Direct Point Cloud Visibility
State dependent detection and object tracking
Visual saliency detection by DCT coefficient dissimilarity
Intelligent scheduling method for life science automation systems
Experimental comparison of EKF and Constraint Manifold particle Filter for robot localization
Interpolation of the cross-sectional area of a premotor neuron in a silkworm moth brain using the ellipse model
IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI 2012, Hamburg, Germany, September 13-15, 2012
The Accuracy of 6D SLAM using the AIS 3D Laser Scanner
Performance analysis of GPS/INS integrated system by using a non-linear mathematical model
An Inequality for Bayesian Bregman Risks With Applications in Directional Estimation
Context aided fusion procedure for road safety application
Kalman Filtered Compressive Sensing Using Pseudo-Measurements
Trajectory planning for variable geometry truss manipulator via LMI optimization
Measurement and estimation of temperature distribution inside core and cavity of the mold using virtual micro sensors
Optimal view selection and event retrieval in multi-camera office environment
Map segmentation based SLAM using embodied data
Vision based inspection of transmission lines using unmanned aerial vehicles
Evaluation of motion tracking methods for therapeutic assistance in everyday living environments
SVD-based scattered small targets detection
Generalized polynomial chaos-based estimation of human knee stiffness
Robot programming by demonstration of multiple tasks within a common environment
A computer-aided assistance system for ressource-optimal sensor scheduling in Intelligence, Surveillance, and Reconnaissance
PTracking: Distributed Multi-Agent Multi-Object Tracking through Multi-Clustered Particle Filtering
Lower Bounds In Estimation Fusion With Partial Knowledge of Correlations
Certifiably Optimal Monocular Hand-Eye Calibration
A method of multi-surface evidence fusion slope stability analysis based on random set
Uncalibrated fixed-camera visual servoing of robot manipulators by considering the motor dynamics
Digital Preservation: How to Be Trustworthy
Ontology-Based Data Collection for Heritage Buildings
Digital Cultural Heritage: Semantic Enrichment and Modelling in BIM Environment
Digital Heritage and 3D Printing: Trans-media Analysis and the Display of Prehistoric Rock Art from Valcamonica
3D Visualisation of a Woman's Folk Costume
Semantic Representation and Enrichment of Cultural Heritage Information for Fostering Reinterpretation and Reflection on the European History
Exploring Cultural Heritage Using Virtual Reality
3D Pose Estimation Oriented to the Initialization of an Augmented Reality System Applied to Cultural Heritage
Towards a Digital Infrastructure for Illustrated Handwritten Archives
3D Data Acquisition and Modelling of Complex Heritage Buildings
Virtual Reality Annotator: A Tool to Annotate Dancers in a Virtual Environment
Knowledge Management Using Ontology on the Domain of Artworks Conservation
3D Digitization of Selected Collection Items Using Photometric Stereo
Minimal Functionality for Digital Scholarly Editions
Linked Open Data as Universal Markers for Mobile Augmented Reality Applications in Cultural Heritage
Rapid Reconstruction and Simulation of Real Characters in Mixed Reality Environments
Technologies of Non Linear Storytelling for the Management of Cultural Heritage in the Digital City: The Case of Thessaloniki
Using Innovative Technologies in Preservation and Presentation of Endangered Archives
Innovative Business Plans for H-BIM Application Related to Alternative Financing Opportunities for Cultural Heritage
Anchoring Unsorted E-Sources About Heritage Artefacts in Space and Time
Digital Cultural Heritage - Final Conference of the Marie Skłodowska-Curie Initial Training Network for Digital Cultural Heritage, ITN-DCH 2017, Olimje, Slovenia, May 23-25, 2017, Revised Selected Papers
Analysis, Documentation and Proposal for Restoration and Reuse of the "Chrysalis" Silk Factory in Goumenissa, Kilkis, Northern Greece
Low Cost 3D Surveying Methodologies: Colors and Dimensional Accuracy in the Case Study of the Island of Procida, Italy
The VR Kiosk - Using Virtual Reality to Disseminate the Rehabilitation Project of the Canadian Parliament Buildings
Design of 3D and 4D Apps for Cultural Heritage Preservation
A DICOM-Inspired Metadata Architecture for Managing Multimodal Acquisitions in Cultural Heritage
The Loom: Interactive Weaving Through a Tangible Installation with Digital Feedback
The Conservation of Cultural Heritage in Conditions of Risk, with 3D Printing on the Architectural Scale
Building Information Modeling for Cultural Heritage: The Management of Generative Process for Complex Historical Buildings
3D Models of Ancient Greek Collection of the Perm University History Museum - Creation and Use
Classification of Specification and Validation Methods for Distributed Systems
Generative Sequence Diagrams with Textual Annotations
Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation
iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92
A Process Algebra Semantics for MSC Including Conditions
Entwicklung korrekter zeitkritischer Systeme
Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen
Specification Modules for Methodical System Development
Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme
Revised Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP
Assumption-Commitment Specifications and Safety-Critical Systems
Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken
Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers
Ereignisverbände
Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen
Bewertung von MSC-Spezifikationen mit Task-Graphen
Formale Entwicklung verteilter reaktiver Systeme mit FOCUS
Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls
Statische Analysetechniken für speicherprogrammierbare Steuerungen
Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen
Synchronous Automata for Synchronous Programming Languages
PMSC -- Integrating Performance into Message Sequence Chart
Verification of Distributed Applications by translating CCS to Binary Decision Diagrams
First-Order Proofs for Higher-Order Languages
Combining Object-Z and CSP
Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware
Introduction of Gate Types into SDL
Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+
Mobile Objects (a project overview)
Formal Methods and Conformance Testing --or-- What are we testing anyway?
Formal Specification and Verification of Communication-Systems for designing in VHDL
Automatisches verteiltes Rücksetzen
Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description to Traces within Communications Systems
Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien
Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC
A Compiler for the Parallel Execution of Estelle Specification
Pomsets for MSC
Code Generation for Real-Time Specifications
Modeling Dynamic Processes in TLA
Szenarios: Lokale Kriterien für globale Korrektheit
Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung
Semantics of simple SDL
On the Semantics of Message Sequence Charts
Towards an application of FDT within OOAD
Entwurf und Implementierung eingebetteter Systeme
Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000
Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999
Rapid Prototyping with AutoFocus
Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs
Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992
Development of a MSC/UML Test Format
Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation
Combining SDL and Pattern-based Design for the Customization of Communication Subsystems
BDD-basierte Verifikation von Echtzeit-Systemen
SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen
Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung?
Repetitive Quiescence in Implementation and Testing
Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken
Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR
Towards the Generation of Distributed Test Cases Using Petri Nets
Test Case Specification with Real-time TTCN
-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation
Eine Spezifikationsmethode für echtzeitkritische Kommunikationssysteme
A Petri Net View of Process Communication
Efficient Implementation Strategies for SDL
10 Years Focus - Lessons learned
Automatische Generierung effizienter Protokollimplementierungen
Test Data Filtering
The Development of a Parser for SDL - 2000
A Petri-net Semantics for Sequence Diagramms
Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework
SITE - Eine SDL Entwicklungsumgebung
Formal Methods for Reflective System Specification
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze
Datentypsematik für SDL - 2000
Timed MSCx - an Extension to MSC'96
Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998
QoS Control by Balancing Continuous MM Streams
Towards a QoS Binding Notation
Eine Entwicklungsumgebung für SDL'92
Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
Mobile and Distributed Objects versus Central Referencing
An Informal Introduction to the Design Method FOCUS
Prototyping mit SDL
A Formal Model for Componentware
Kompositioneller Entwurf mit Stochastischen Prozeßalgebren
Ableitung von parallelen Strukturen aus Estelle-SpezifiKationen
Using SDL Patterns for the Design of a CAN-based Communication Subsystem
Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997
An AAL5 Performance Test Suite in PerfTTCN
Hierarchische Familien formaler Anforderungen
Symbolic Minimisation of Stochastic Process Algebra Models
Modellierung und Beschreibung von Soll/Ist-Abweichungen
Action refinement for Vertical Implementation
TIPP - Introduction and Application to Protocol Performance Analysis
Diagrams for Dataflow
Specification of (parts of) a Lip-Sync Protocol Using HyCharts
Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach
Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel
Concepts of Cottbus Timed Automata
Tool Support for the Compositional Development of Distributed Systems
SDL-Based Performance Evaluation - A Survey
MUNITY
Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen
Towards the Methodical Usage of Message Sequence Charts
Modelling Dynamic Distributed Systems in LOTOS
Transformations in Pattern-Based System Specifications
Spezifikation eines RPC-Speichers mit der Sprache ProFun
Generating Test Cases for Infinite System Specifications
Formale Spezifikationsmethoden auf dem Prüfstand: Erfahrungen bei der Implementierung komplexer Middleware
Objekt-orientierte Datenkonzepte für SDL
Test Suite Simulation
Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL
Soft and Hard Digital Hermeneutics
Topics of the Literary Canon: A Case Study of 19 th -century Slovenian Narrative Prose
Model, Corpus, Interpretation: Elements of Computational Hermeneutics
Digital Hermeneutics in the History of Concepts. The Tool Sense Clustering over Time (SCoT): Application, Workflow, and Methodological Questions
Digital Hermeneutics II: Sources, Analysis, Interpretation, Annotation, and Curation - Third International Workshop, Frankfurt am Main, Germany, November 23-24, 2023, Revised Selected Papers
Reconstructive Social Research Prompting. Distributed Interpretation Between AI and Researchers
Towards Supporting Digital Hermeneutic Application with Emerging Knowledge and Argumentation Detection Through Vocabulary Evolution Analysis
Towards a Knowledge-Management System Supporting Hermeneutic Argumentation
On the Integration of Manual and Automated Processes for the Distinctiveness of Naturalism and Modernism - A Transdisciplinary Approach Between Deterministic and Heuristic Methodologies in Digital Literary Studies
What You See Is What You Annotate (WYSIWYA) TEI Editor for Digital (Scholarly) Editions
Content Moderation as Practice and Object of Digital Hermeneutics: An Infrastructural Analysis of the Auschwitz Museum on Twitter
IVIS4DH: Towards a Reference Model for Digital Hermeneutics
IVIS4DH: Evaluation of a Reference Model for Digital Hermeneutics
Topic Extraction from Biographical Interviews
Towards a Generic Service Oriented Framework for Integrated User Management of Virtual Communities
Computational GRIDs and online laboratories
A Grid Services Implementation for a Virtual Research Environment
VCLab as an Example of GRIDifying Virtual Scientific Experiments
Global University System with Globally Collaborative Environmental Peace Gaming Project
Designing Assessment Tools in a Service Oriented Architecture
A bootstrapping scenario for elicitating CSCL services within a GRID virtual community
edCity - a New Learning Environment
Experiences with Writing Grid Clients for Mobile devices
Ontology based user modeling for personalization of grid learning services
Competence-based Knowledge Structures for Personalised Learning
A Conceptual Framework for Conversations and Services
Lesson Learnt from CSCL to Enrich E-Learning
Towards Short Term Content Adaptation
1st International ELeGI Conference on Advanced Technology for Enhanced Learning, Vico Equense (Naples), Italy, 15-16 March 2005
Gathering Requirements for a Grid-based Automatic Marking System
Collaborative learning aspects in VSE
The use case specification of actions in the goal oriented knowledge based learning environment
Peer Conversations for e-Learning in the Grid
Towards a Domain Specific Application Development Environment for the ELeGI architecture: the Software Factories approach
A Dynamic component-based approach to design and implement Grid Services
Web based simulations for Virtual Scientific Experiment: methodology and tools
GRID Technologies => 'Education' = 'Distance Education'
The Semantic Aspects of e-Learning: Using the Knowledge Life Cycle to Manage Semantics for Grid and Service Oriented Systems
Social Assistive Robotics for Autistic Children (short paper)
Proceedings of the Workshop on Adapted intEraction with SociAl Robots, cAESAR 2020, Cagliari, Italy, March 17, 2020
A Flexible and Scalable Social Robot Architecture Employing Voice Assistant Technologies
Towards a Social Robot as Interface for Tourism Recommendations
Adaptation in Humanoid Robots Serious Games with for Mild Cognitive Impairment Older Adults (short paper)
Cloud-based User Modeling for Social Robots: A First Attempt (short paper)
Moral evaluation of Human and Robot Interactions in Japanese Preschoolers
Automatic abstraction for verification of cyber-physical systems
A model-based synthesis flow for automotive CPS
On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications
Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems
Real-Time Distribution Grid State Estimation with Limited Sensors and Load Forecasting
Charge scheduling for large-scale battery management systems
ACM/IEEE 1st International Conference on Cyber-Physical Systems, ICCPS '10, Stockholm, Sweden, April 12-15, 2010
Defining CPS Challenges in a Sustainable Electricity Grid
Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems
Conformance-Driven Anomaly Detection for Cyber-Physical Systems
Machine learning assisted propeller design
Deep intelligent network for device-free people tracking: WIP abstract
WiP Abstract: Supporting Coordinated Negotiation in CPS Design
Model-bounded monitoring of hybrid systems
Parallel scheduling for cyber-physical systems: analysis and case study on a self-driving car
Microgrid Losses: When the Whole Is Greater Than the Sum of Its Parts
Towards non-invasive bladder volume sensing via bio-impedance spectroscopy: feasibility demonstration in ex-vivo bladder models
Localizing loads in microgrids using high-precision voltage phase
Collision free autonomous ground traffic: a model predictive control approach
Synthesis of platform-aware attack-resilient vehicular systems
Plug-in electric vehicles demand modeling in smart grids: a deep learning-based approach: wip abstract
Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry
Learning-based control design for deep brain stimulation
Pseudorange measurement outlier detection for navigation with cellular signals: WIP abstract
Probabilistic conformance for cyber-physical systems
Ethics by Design in Autonomous Driving: Developing a Model-Based Liability Determination Framework
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online
Towards a framework for comprehensive and systematic reliability evaluation of building management systems
Model-based Design of NEMA-Compliant Dual-ring-barrier Traffic Signal Controller
Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations
Adaptive Beamforming for Connected Vehicles - A Co-simulation Framework
Taxi dispatch with real-time sensing data in metropolitan areas: a receding horizon control approach
Poster Abstract: A Unified Distributed Control Framework for Inverter-Based Islanded Microgrid
Rhocop: receding horizon multi-robot coverage
WiP Abstract: Cyber Physical Simulations for Supporting Smooth Development from All-Simulated Systems to All-Real Systems
Re-thinking EEG-based non-invasive brain interfaces: modeling and analysis
Toward multi-task support and security analyses in PLC program translation for verification: poster abstract
Guiding Federated Learning with Inferenced Formal Logic Properties
Event-Triggered Diffusion Kalman Filters
Cooperative driving of connected autonomous vehicles using responsibility-sensitive safety (RSS) rules
A Platform for Evaluating Autonomous Intersection Management Policies
Structural Health Monitoring in Wireless Sensor Networks by the Embedded Goertzel Algorithm
Soh aware battery management optimization on decentralized energy network
Towards Formal Verification of Freeway Traffic Control
A low complexity coordination architecture for networked supervisory medical systems
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety
Hexacopters for everyone: online access to advanced robotics platforms for your research
Optimal Runtime Assurance via Reinforcement Learning
VaRSM: Versatile Autonomous Racquet Sports Machine
Analysis of the coupling of communication network and safety application in cooperative collision warning systems
UrbanCPS: a cyber-physical system based on multi-source big infrastructure data for heterogeneous model integration
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Cyber-Physical-Security Framework for Building Energy Management System
Context-aware detection in medical cyber-physical systems
Battery state-of-health estimation for mobile devices
SHARE: SoH-aware reconfiguration to enhance deliverable capacity of large-scale battery packs
Methodology for generating attack trees for interoperable medical devices
Guaranteed physical security with restart-based design for cyber-physical systems
An End-to-End Multi-Robot Framework for Weed Control in Agricultural Fields
Formal analysis of Fresenius infusion pump (FIP)
Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles
eFlx: Energy Flexibility Provisioning for E-taxi Fleets
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation
Control Reconfiguration of Cyber-physical Systems for Improved Performance via Reverse-engineering and Accelerated First-order Algorithms
Evaluating Sequential Reasoning about Hidden Objects in Traffic
15th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2024, Hong Kong, May 13-16, 2024
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning
Towards a Science of Cyber-Physical Systems Design
A cryptographic scheme for real-world wireless sensor networks applications
The impact of packet dropouts on the reachability energy
Estimate Aggregation with Delay Constraints in Multihop Wireless Sensor Networks
WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems
A benchmarking framework for control and optimization of smart stormwater networks: demo abstract
L1Simplex: fault-tolerant control of cyber-physical systems
Context-sensitive synthesis of executable functional models of cyber-physical systems
Controller synthesis for autonomous systems interacting with human operators
Bundle: a group based programming abstraction for cyber physical systems
13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022
Dynamic integration of heterogeneous transportation modes under disruptive events
ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, Nashville, Tennessee, USA, May 19-21, 2021
Autoware on board: enabling autonomous vehicles with embedded systems
STIP: Spatio-temporal intersection protocols for autonomous vehicles
Uncertainty Quantification for Physics-Informed Traffic Graph Networks
BubCam: A Vision System for Automated Quality Inspection at Manufacturing Lines
Markov decision process routing games
Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems