yusuke1997/dblp-id-title huggingface dataset:
Spelling Correction for an Intelligent Tutoring System
Structured Graph Models: An Efficient Tool for VLSI Desgin
Compiler Course with a Semi-Challenging Project
Structured On-Line Directory and File Organization
Genetic Algorithms and the Search for Optimal Database Index Selection
A Microinstruction Based Procedure to Diagnose Hardware Failures in Industrial Robots
A Specification and Verifiaction Tool for Communication Protocols
Visualization of Program Performance on Concurrent Computers
An Adaptive Numerical Integration Algorithm for Simplices
Massively Parallel Implementations of Adaptively Subdividing Fractal Generating Algorithms with Parameter Extensions
Correct and Provably Efficient Methods for Rectilinear Steiner Spanning Tree Generation
Mutation and Recombination Effects on the Adaptability of Sexual and Asexual Organisms
An Object-Based Approach to the Specification of Office Entities
A Cooperative Algorithm for the Dynamic Stereo Problem
A Compund Decision Theory Approach to Digital Signal Reconstruction
Random Permutations from Logarithmic Signatures
Approximate Integration Using Iterated Levin Transformations
A Search for Good Lattice Rules Based on the Reciprocal Lattice Generator Matrix
Low Dimensional Middle Cubes Are Hamiltonian
Lexical Acquisition for Lexical Databases
Designing and Implementing Parallel Constructs
The HK Singular Value Decomposition of Rank Deficient Matrix Triplets
An Interactive System for Generating Hospital Progress Notes
A Template-Based Approach for Recognition of Intermittent Sounds
Development of an Experimental Setup for Studying Parallel Processing
Formation of Categories in Document Classification Systems
Predicting Chemical Reactions with a Neural Network
A Mathematical Model of Uncertain Information
Property Testing - Current Research and Surveys
Dynamic Approximate Vertex Cover and Maximum Matching
Green's Conjecture and Testing Linear Invariant Properties
Sublinear Graph Approximation Algorithms
Testing (Subclasses of) Halfspaces
Composition of Low-Error 2-Query PCPs Using Decodable PCPs
Polylogarithmic Approximation for Edit Distance and the Asymmetric Query Complexity
Limitation on the Rate of Families of Locally Testable Codes
Testing by Implicit Learning: A Brief Survey
Testing Monotone Continuous Distributions on High-Dimensional Real Cubes
Optimal Testing of Reed-Muller Codes
Query-Efficient Dictatorship Testing with Perfect Completeness
Comparing the Strength of Query Types in Property Testing: The Case of Testing k -Colorability
Sublinear Algorithms in the External Memory Model
Testing Juntas: A Brief Survey
Property Testing of Massively Parametrized Problems - A Survey
Short Locally Testable Codes and Proofs: A Survey in Two Parts
Testing Linear-Invariant Non-linear Properties: A Short Report
The Program of the Mini-Workshop
Transitive-Closure Spanners: A Survey
On Constant Time Approximation of Parameters of Bounded Degree Graphs
Introduction to Testing Graph Properties
Testing Euclidean Spanners
A Brief Introduction to Property Testing
Some Recent Results on Local Testing of Sparse Linear Codes
Sublinear-time Algorithms
Local Property Reconstruction and Monotonicity
Invariance in Property Testing
Quantum Mechanical Programs for Distributed Systems: Strategies and Results
Management of Variable Data Streams in Networks
The Role of Medical Robotics in Computer-Integrated Surgery
Team Automata for CSCW - A Survey
Secure Web Services for ambient embedded Systems
Open Petri Nets as Semantic Model for Workflow Integration
Congestion Control for Routing Overlays
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
World Modeling and Movement Planning for Mobile Robots
Individuell CAD/CAM-vorgefertigte Titanimplantate und mikrochirurgische Gewebetransfers zur Versorgung komplexer kraniofazialer Defekte
KasOp - Operationsplanung in der kranio-maxillo-fazialen Chirurgie
Formalisms for concurrency and distribution
Resemblance and Symmetries of Geometric Patterns
Model Based Formal Verification of Distributed Production Control Systems
Invariant Generation for Probabilistic Programs
Using Cross-Modal Context for Diagnosing Language Learner Errors
Specification and Verification of Distributed Systems
Finite Elasto-Plasto-Dynamics - Challenges & Solutions
Ein schneller, vollautomatischer Matchingalgorithmus für prä- und intraoperative 3D-Kernspintomogramme
On Spanning Trees with Low Crossing Numbers
Model Checking with Accumulated Weights
A Framework for Interaction in a Virtual 3D Stereoscopic Environment for Multiple Persons
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0
Analysis and Synthesis of Interactive Component and Connector Systems
Data Collection and Data Processing for On-Line Simulation in Smart Environments
RobaCKa: Ein Robotersystem für den Einsatz in der Chirurgie
Alternative automata-based approaches to probabilistic model checking
Graph Conditions with Variables and their Application in Metamodel Instance Generation
Evaluating computational models of sensorimotor contingencies
Object and scene relations in 3D scene understanding
Intra-operative Augmented Reality mit magnetischer Navigation und multitexturbasiertem Volume Rendering in der minimal-invasiven Chirurgie
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets
Robust Skin Detection with an Active Near-Infrared Camera System
A Formal Framework for Petri Net Class Transformations
Experiences with Distributed Systems, International Workshop, Kaiserslautern, FRG, September 28-30, 1987, Proceedings
Technisation of the Social in Social Robotics
On the Adequate Support of Communication Interfaces in Distributed Systems
Rechnergestützte CT-basierte Klassifikation in der Unfallchirurgie am Beispiel von Acetabulumfrakturen
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems
Correctness of Attributed Graph Transformation Systems under Adverse Conditions
Programming Abstractions for Ubiquitous Applications
Why Interval Arithmetic is so Useful
Mobile Scanning
Load Management on Multiprocessor Systems
Inter-organizational Business Process Management with XML Nets
Babelsberg: Unifying Constraint Satisfaction with Object-oriented Execution
Veno-atrio-ventrikuläre Kopplung: Modellierung der Mitralklappenfunktion
Modeling and Designing Real-World Networks
Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements
Interactive Verification of Statecharts
Resource Management in Large Networks
Vision-based Autonomous Navigation of Quadrotors in Unstructured Environment
Distributed Image Synthesis with Breadth-First Ray Tracing and the Ray-Z-Buffer
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology
Inter-procedural Herbrand Equalities
A Protocol Framework for Highly Reliable Ultra-Low Latency Communication
Management of Complex Data
Interaktive 3D-Volumenvisualisierung und Integration von Softwaremodulen
Data-Dependent Controller Synthesis for Correct Service Composition
A model-based Optical Navigation System
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks
Predictive User Models in Smart Environment
Model Synthesis through Transformations
Automatic Optimization for Data-Parallel Streaming Systems
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering
Modeling Vision
Analysis of fault tolerant software systems
Methods for Exploitation of Fine-Grained Parallelism
Deciding MSO over w-Words by means of Finite Automata
A Framework for Sharing GPGPUs in Multi-tasking Environments
Telepresence in high resolution multi display environments
Interactive Hyperspectral Image Visualization and Analysis
Efficient Spatiotemporal Sampling in Wireless Sensor Networks based on Compressed Sensing
Information presentation in multi-presenter scenarios
Modeling Interestingness and Serendipity in Relevance Search
Balanced Strategies for Routing on Meshes
Specification and Implementation of a Standard for Remote Database Access
A Survey on Approximation Algorithms for Scheduling with Machine Unavailability
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms
Object- and Memory-Management Architecture - A Concept for Open, Object-Oriented Operating Systems
Efficient device oriented Plug and Play Middleware Architecture
A memory-centric run-time executive for heterogeneous many-core systems
Specification and Formal Verification of Temporal Properties of Production Automation Systems
Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator
Fault Tolerance in Distributed Shared Memory Multiprocessors
Spatial Access Structures for Geometric Databases
Optoelectronic Interconnections
Talking directly to the body: the user's muscles ELS wearable input & output devices through computer-controlled electrical muscle stimulation
Learning Terminological Knowledge with High Confidence from Erroneous Data
Ein Simulator für Schädelbohrungen bei stereotaktischen Eingriffen - Eine Java 3D-Anwendung
Enhancement of Mobility and Multi-homing in Heterogeneous Network Environments
Minimum Cycle Bases and Their Applications
Making Multi Touch Tabletops perceive their Users
Multicast Routing and Design of Sparse Connectors
Haptic Perception in In-hand Manipulation System
Neue dreidimensionale diagnostische Verfahren in der Herzchirurgie
Privacy Aware Data Exchange in Distributed Health Infrastructures
Survey of Techniques for Data-dependent Triangulations
Discovering the neural basis for setting learning rates during value-based decision-making
Energy Consumption of Video Decoding Systems
Der Einsatz von Resektionsschablonen, Navigation und Robotern zur Knochenresektion und einzeitigen Rekonstruktion mittels individueller CAD/CAM-Implantate im Bereich des Hirnschädels
Understanding Code with Execution Traces
Causality Based Proof of a Distributed Shared Memory System
Localization in Wireless Sensor Networks
Automatic Deployment and Adaptive Placement of Ubiquitous Applications
Event Pattern Matching
Managing the Performance vs. Productivity Trade-off in Hybrid Parallel Computing
Graph Transformation Systems and Verification with k-Inductive Invariants
Own Actions and Multisensory Integration
High-Availability Through Software Fault Tolerance
A Holistic Framework for Realistic, Reproducible, Real-world Sensor Network Experimentation
Formal Semantics for Roles
Interleaving of Modification and Use in Dataflow-driven Tool Development
Area Efficient Methods to Increase the Reliability of Circuits
Capacity of a railway network
Rechnergestützte chirurgische Rekonstruktion von Herzkranzgefäßen: Hightech-Lösung für ein klinisches Problem
Uncertainty in Land-Use Change Modeling
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
Ein Beobachtersystem zur Patientenüberwachung in der Herzchirurgie
Quantitative Engineering of Business Processes with VIP business
A Distributed Process Execution and Communication Environment for High- Performance Application Systems
Multi-weighted automata models and quantitative logics
Processes of Cooperation around Tabletops for Museums
Fuzzy Description Logics with General Concept Inclusions
Comparing and Describing Datasets on the Web of Data
Peer-to-Peer Protocol Security in Critical and Mobile Environments
Approaches to the Steiner Problem in Networks
Efficient Processing of geodata in the context of other attributes
Aufbereitung medizinischer Bilddaten
Design and Setup of Mechanical and Electronical Control for Elastically Actuated Robots
Virtuelle Modelloperation und computer-assistierte Orbitarekonstruktion - neue Möglichkeiten in der rekonstruktiven Gesichtschirurgie
Event Recognition during Exploration of Line-Based Graphics in Virtual Haptic Environments
Information Extraction for Disaster Management
Querschnittsprojekt Q2: Methodenevaluierung
Distributed Game Tree Search on a Massively Parallel System
Certifying Algorithms for Interactive Components and Distributed Systems
A Framework for Visualizing Multivariate Geodata
Learning Convex Sets Under Uniform Distribution
Complexity of Boolean Functions on PRAMs - Lower Bound Techniques
Optimization-based Control for Networked Control Systems
Towards the Implementation of a Uniform Object Model
A Design Framework for Mobile Service-Oriented Sensor-Actuator Networks
Rechner- und sensorgestützte Chirurgie, Proceedings zum Workshop, 19.-20. Juli 2001, Heidelberg, Veranstaltet vom Sonderforschungsbereich 414, Proceedings
Role-based Database Model and Architecture
Probabilistic Logic and Probabilistic Automata
Precise and Scalable Localization in Ad-hoc Networks using Inertial Data Fusion
Sec-Home: A Security-Enhanced Framework for Smart Home Environments
Concept of a Novel CMOS Image Sensor Architecture for Analog Image Pre-Processing
Integrated Circuits for Analog Signalprocessing in Heterogeneous Image Systems
Parallel Computer Architectures: Theory, Hardware, Software, Applications
The Performance of Object Decomposition Techniques for Spatial Query Processing
Quantitative methods for similarity and generalization in Description Logics
Visualization of Large and Unstructured Data Sets: Second workshop of the DFG's International Research Training Group "Visualization of Large and Unstructured Data Sets - Applications in Geospatial Planning, Modeling, and Engineering", September 9-11, 2007 Kaiserslautern, Germany
Models of Non-atomic Congestion Games - From Unicast to Multicast Routing
Spatial Mapping of Input, Content and Output Spaces in VE and Effects on Spatial Presence Experiences
Data Structures and Efficient Algorithms, Final Report on the DFG Special Joint Initiative
New Processor Architectures Utilizing 3D Chip Stacking
Coordination of Multi-Robot Systems
Ongoing oscillatory brain activity in pain perception
Modeling and Formal Verification of Production Automation Systems
Role-based Excecution Execution of Ubiquitous Interactive Processes
Classifying Partners of Services with Temporal Logic
The Petri Net Markup Language
Optimal Multiprogramming Control for Parallel Computations
Distributed Algorithms for Scheduling in Wireless Networks
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version
The Use of UML for Development of a Railway Interlocking System
Interactive medical 3D-simulations by means of stereoscopy and standard hardware
Service-Oriented Integration, Processing, and Provision of Massive 3D Point Clouds
Process Architectures in Healthcare
Modellierung von Gewebestrukturen und Simulation risikominimierender chirurgischer Eingriffe
Design, Implementation and Application of Multi-Perspective 3D Panoramas for 3D Geovisualization
GPU Accelerated Gesture Detection for Real Time Interaction
Enumerative vs. Genetic Optimization: Two Parallel Algorithms for the Bin Packing Problem
Shared Reconfigurable Sensor-Actuator Networks
Face Recognition in Unknown and Difficult Lighting Conditions
Monotonous Bisector * Trees - A Tool for Efficient Partitioning of Complex Scenes of Geometric Objects
An Orthogonal Distribution Language for Uniform Object-Oriented Languages
Energy efficiency in multi-application wireless sensor networks
Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification
Aktuelle Aspekte der Rhythmuschirurgie
A Framework for the Visualization of Brain Structures
On the Modification of Phonon Tracing
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets
Architectures for Parallel Slicing Enumeration in VLSI Layout
Model-Based Test Design for Software Product Lines
High Performance Universal Hashing, with Applications to Shared Memory Simulations
Haptic-sonified Virtuals Environment for Spatial Knowledge Acquisition of Blind and Visually-impaired people
Using Cylindrical Algebraic Decomposition in Satisfiability Modulo Theories
Content based image authentication with tamper detection capability
On the Integration of Modular Heterogeneous Specifications
Ersetzt die 3D-CT-Angiografie die digitale Subtraktionsangiografie in der Diagnostik akuter Subarachnoidalblutungen?
Fast and Generic Hardware Architectures for 3D Image Acquisition and Processing
From State-of-the-Art Static Fleet Assignment to Flexible Stochastic Planning of the Future
Numerical Simulation of Complex Fluid Flows on MIMD Computers
Parallel Sorting of Large Data Volumes on Distributed Memory Multiprocessors
Dynamic Event Structures and Concurrency
Interaktive 3D-Segmentierung
Efficient Grammar Induction for Wide-coverage Semantic Parsing
Genauigkeitsanalyse zur navigationsgestützten Planung und Insertion von dentalen Implantaten in Unterkieferkunststoffmodellen
Algorithmics of Large and Complex Networks - Design, Analysis, and Simulation [DFG priority program 1126]
Temporalised Description Logics for Monitoring Partially Observable Events
On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling
Accommodating Heterogeneity
Motion Correction for Weight-Bearing C-arm CT of Knees
Formal Verification of ODE-Solvers
Weighted Models over Discrete Structures
Scenario-Based Design of Data-Dependent Services
Rule-Based Refinement of Petri Nets: A Survey
Weighted Temporal Logic
Comparative Tensor Visualisation within the Framework of Consistent Time-Stepping Schemes
Active Intrusion Detection in Self-Organized Wireless Multihop Networks
Enhancing Multi-Display Environments using Private Mobile Devices
Observations on Building Distributed Languages and Systems
Efficient Coding of Non-Conventional Video Data Structures
Parallelism in a Semantic Network for Image Understanding
Authentic Facial Expressions of Emotion and their Impact on User Evaluation
Using Static Analysis to Support Programming on Devices with Touch Based Input
Robust Spatio-Temporal Logic for Mobile Agents
Entwicklung eines Hochpräzisions-Manipulators für die stereotaktische Neurochirurgie
Traffic Networks and Flows over Time
Scenario-based Creation of Behavioural Models and their Evaluation in Smart Environments
Potentialities for Intertwinements of Interactive Systems and Cultural Spaces
Quantitative automata and logics for infinite discrete structures
Übersicht über die Querschnittsprojekte
Neural Sound Source Localisation for Speech Processing Based on the Inferior Colliculus
STOP - Specification Technique of Operational Processes
Efficient, Robust, and Scale-Invariant Decomposition of Raman Spectra
Non-invasive registration in computer assisted craniomaxillofacial surgery
BASYSNET - An Integrated Approach for Automated Control System Development
Generation of Animation Views for Petri Nets in GenGED
Formal Semantics for Models with Meta-Predicates
Compositionality in Probabilistic Model Checking
Chirurgieroboter und Navigation
Verification of Code for Programmable Logic Controllers
Grammar-based statistical machine translation
A Survey of Implicit Surface Rendering Methods, and a Proposal for a Common Sampling Framework
Generation and Refinement of PLC Function Blocks
Robotic Self-Exploration and Acquisition of Sensorimotor Primitives
Ziele des Sonderforschungsbereiches 414
Sensor-based Perception of non-verbal Communication
Graph Embeddings for Routing in Wireless Networks
Experiences with the Development of a Portable Network Operation System
Structure-Changing Petri Nets as a Mode! of Adverse Conditions
Estimation and Scheduling in Sensor-Networks Involving Periodic Data
Securing Multi-Tenant SaaS Environments
Improving RDF Data with Data Mining
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems
Interface Theory for Stochastic Hybrid Systems
Natural Neighbor Concepts in Scattered Data Interpolation and Discrete Function Approximation
Dynamic Optimization of Communication Resources and Communication Strategies in Wireless Mesh Networks
Modelling a Railway Crossing with Message Sequence Charts and Petri Nets
Challenges of Next Generation Manufacturing Systems
On the Duality of Fault Tolerant System Structures
A computational approach for analyzing recurrences in long time series
Security Quantification in Mixed Mode Systems
Concept Based Multimodal Learning For Multimedia Retrieval
Multimodal based Objects Categorization and Recognition
Spatial Active World Modeling for Autonomous Mobile Robots
Compressive Sensing for Photonic Mixer Device
Four Steps Towards Sound Business Process Models
Which Kinds of OS Mechanisms Should be Provided for Database Management?
Distributed System Construction: Experience with the Conic Toolkit
Graph Models for Performance Evaluation of Parallel Programs
Explicit Role Invocation Dispatch
Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation
Verbally Assisted Haptic Graph Comprehension
Efficient Visibility Estimation
Activity Recognition with Instrumented Artifacts: The Wavelet Approach
Restricted Orientation Computational Geometry
Automatic presentations of infinite structures
Quantitative Automata and Logics on Tree-like Structures
A Guide to Modelling and Control with Modules of Signal Nets
Processing and Visualization of THz-Data
FOCUS: A Formal Design Method for Distributed Systems
Navigation in der Leberchirurgie - Anforderungen und Lösungsansatz
User-definable Concrete Domains
Introduction to Subject Area "Verification"
A Formal Component Concept for the Specification of Industrial Control Systems
Modeling Multi-Sensory Integration For Orientation and Action Selection in The Superior Colliculus
Flight control for tilt-rotor UAV
Profitiert der Patient von der Anwendung der Navigation (Freihandstereotaxie) bei neurochirurgischen Operationen? - Betrachtung an 104 konsekutiven Fällen
Processing of Hierarchically Defined Graphs and Graph Families
On the Parallel Solution of 3D PDEs on a Network of Workstations and on Vector Computers
A Survey on Multiple Objective Minimum Spanning Tree Problems
A Unifying Semantics for Sequential Function Charts
Design Principles of Operating Systems for Large Scale Multicomputers
Approximation Algorithms for Combinatorial Auctions
MEMSY - A Modular Expandable Multiprocessor System
Development of Image Guided Surgical Procedures
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems
3D Sensor Data Fusion
Counting Logics and Games with Counters
Sensor-Assisted Mobile Learning
Scalable Global Illumination
Geometrie Numerical Integration of Simple Dynamical Systems
3D Osteotomieplanung in der MKG-Chirurgie unter Berücksichtigung der räumlichen Weichgewebeanordnung
Decision Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain
Design and Engineering of External Memory Traversal Algorithms for General Graphs
An Affordance-Based Conception of Social Space for Socially-Aware Robot Placement
The Petri Net Kernel
A Platform-Based Modeling Approach Supporting C2X System Design
Correlation Analysis for Data Analytics
Cooperation and Network Coding based MAC Protocol for VANETs
Multimodal integration in grasping
Statistischer Atlas zur Segmentierung des Kniegelenkes
Application Development Assistance with the Petri Net Baukasten
Adaptive Data Structures Optimizations in Language Implementations
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014
Application of Fault Parallelism to the Automatic Test Pattern Generation for Sequential Circuits
Personal Digital Assistants in der funktionellen Neurochirurgie
Formal Verification of LSCs in the Development Process
Situation-Aware Control of Smart Meeting Rooms
Semantical Integration of Object-Oriented Viewpoint Specification Techniques
Foundations of Dynamic Coalitions Process-Oriented Modeling of Dynamic Coalitions
Elektromechanische Modellierung des Vorhofs: Validierung, Planung und Simulation atrialer rhythmuschirurgischer Eingriffe
Introduction to Subject Area 'Charts'