yusuke1997/dblp-id-title huggingface dataset:
SHIM: A Language for Hardware/Software Integration
08361 Executive Summary - Programming Multi-Agent Systems
Features for Learning Local Patterns in Time-Stamped Data
Music Information Retrieval: An Inspirational Guide to Transfer from Related Disciplines
09061 Abstracts Collection - Combinatorial Scientific Computing
Modeling and Simulation of TDL Applications
Towards a Taxonomy of Network Protocol Visualization Tools
Advances in Feature Selection with Mutual Information
CoolBOT: A Component-Oriented Programming Framework for Robotics
SpaMod: Design of a Spatial Modeling Tool
Path-Controlled Graph Grammars for Mutliresolution Image Processing and Analysis
10101 Executive Summary - Computational Foundations of Social Choice
08471 Report - Geographic Privacy-Aware Knowledge Discovery and Delivery
Lightweight Formal Methods for Scenario-Based Software Engineering
Enhanced Contraction and (In)dependence Preliminary report
Lower bound for estimating frequency for update data streams
A Bayesian Reputation System for Virtual Organizations
Algorithms for Hardware Caches and TLB
Tracking Clothed People
07311 Executive Summary -- Frontiers of Electronic Voting
Large Consistent Geometric Landmark Maps
Scientific Visualization, 14.06. - 19.06.2009
A Logic for Programming Database Transactions
Understanding Algorithms by Means of Visualized Path Testing
Fundamentals in Discrete Convex Analysis
Services for Real-Time Computing
04171 Abstracts Collection - Logic Based Information Agents
Constraint-Based Behavioral Consistency of Evolving Software Systems
Negotiation and Market Engineering, 12.11. - 17.11.2006
Evaluation of LC-MS data for the absolute quantitative analysis of marker proteins
Conceptual Model of the Globalization for Domain-Specific Languages
Homotopy Conditions for Tolerant Geometric Queries
Graphs and Circuits: Some Further Remarks
09432 Report - Quantitative Software Design
09041 Abstracts Collection - Hybrid and Robust Approaches to Multiobjective Optimization
Advances and Applications of Automata on Words and Trees, 12.12. - 17.12.2010
Basic and Dependent Metrics
An Operator-based Approach to Incremental Development of Conform Protocol State Machines
TimeBank-Driven TimeML Analysis
MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems
Labelled Transition Systems
Beispiel eines kommunalen UIS: Wasserschutzgebiet Winerbacher Wurzelbach
Introduction to the GI-Dagstuhl Book on Entertainment Computing and Serious Games
An Overview of Cache Optimization Techniques and Cache-Aware Numerical Algorithms
Text Type and the Position of a Temporal Adverbial within the Sentence
Perpetual Assurances for Self-Adaptive Systems
Wireless access to high speed networks
Near-Optimal Sensor-Based Navigation in an Environment Cluttered sith Simple Shapes
Strategies for creating new informational primitives in minds and machines
Real-World Applications of Multiobjective Optimization
05301 Summary - Exact Algorithms and Fixed-Parameter Tractability
09471 Executive Summary - Computer-assisted proofs - tools, methods and applications
Logic-Based Learning: Theory and Application
Simplification of Controlled PUF primitives
10261 Abstracts Collection - Algorithm Engineering
05181 Abstracts Collection -- Mobile Computing and Ambient Intelligence: The Challenge of Multimedia
Essential Ingredients of Literacy in Informatics
UML 2.0 Testing Profile
JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI)
Bewertungskriterien Geografischer Informationssysteme
The Role of Deontic Logic in the Specification of Information Systems
Equilibrium Computation, 25.04. - 30.04.2010
Gender HCI Issues in End-User Software Engineering Environments
Semantic-Web Technology: Applications at NASA
HIV-1 Drug Resistance Prediction and Therapy Optimization: A Case Study for the Application of Classification and Clustering Methods
Visualization of Complex Physical Phenomena and Mathematical Objects in Virtual Environment
Model Driven Management of Complex Systems: Implementing the Macroscope's vision
Zur Gleichstellung von Frauen und Männern in der Informatik
Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers
Mutual Adaptation in a Prosthetics Application
Bio-Based Control for Intelligent Autonomous Systems
Assertional Specification and Verification Using PVS of the Steam Boiler Control System
The CIDOC CRM, an Ontological Approach to Schema Heterogeneity
Managing power amongst a group of networked embedded fpgas using dynamic reconfiguration and task migration
07091 Executive Summary - Mobility, Ubiquity and Security
04441 Working Group - Some Open Aspects of Mobile Ad-hoc NETwork, Peer-to-Peer, and Self-organizing Systems
Algorithms and Heuristics in VLSI Design
07112 Summary - Cutting, Packing, Layout and Space Allocation
Information-Theoretic Models of Tagging
Getting rid of stochasticity: applicable sometimes
Learning Grammatical Models for Object Recognition
Algorithmic Aspects of Sensor Networks - Scheduling, Localization and Topology Control
Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments
Perspectives of Model-Based Testing, 5.-10. September 2004
Consideration of Partial User Preferences in Evolutionary Multiobjective Optimization
09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs
08141 Executive Summary - Organic Computing - Controlled Self-organization
Visualization of Global Trade-Offs in Aerodynamic Problems by ARMOGAs
Pre-operative Planning and Intra-operative Guidance for Shoulder Replacement Surgery
There's Nothing Like Shared Nothing
04221 Abstracts Collection - Robust and Approximative Algorithms on Particular Graph Classes
06371 Executive Summary -- From Security to Dependability
The RPC-Memory Specification Problem: UNITY+Refinement Calculus
Cutting, Packing, Layout and Space Allocation, 13.03. - 16.03.2007
An Adaptive Scheme to Generate the Pareto Front Based on the Epsilon-Constraint Method
Enumerating all Solutions for Constraint Satisfaction Problems
Automatically Generating Loop Invariants Using Quantifier Elimination
Informatics and Standards at an Early Stage
Cellular Automata Models as a Modelling Tool
Multiobjective Optimization and Multiple Constraint Handling with Evolutionary Algorithms
Service Provisioning Framework for Self-Organized Networks
Backdoor Sets for CSP
SANA - Security Analysis in Internet Traffic through Artificial Immune Systems
Analysing Rational Properties of Change Operators Based on Forward Chaining
Computer Science in Physics
2D and 3D World Modelling Using Optical Scanner Data
Qualitative Techniques and Tools for Measuring, Analyzing, and Simulating Software Processes
Hybrid Representations for Composition Optimization and Parallelizing MOEAs
A Geometric Relaxation Solver for Constraint-Based Models
Towards a Services-Based Process Platform
08391 Group Summary - The Evolution and Dynamics of Research Networks
Massively multiple online role playing games as normative multiagent systems
05031 Abstracts Collection - Algorithms for Optimization with Incomplete Information
Position paper: Establishing the Market for Assisted Living Solutions
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
10042 Abstracts Collection - Semantic Challenges in Sensor Networks
The Consensus Glossary of Temporal Database Concepts - February 1998 Version
Advances in Plan-Based Control of Robotic Agents, International Seminar, Dagstuhl Castle, Germany, October 21-26, 2001, Revised Papers
Objectives and Context of Software Measurement, Analysis and Control
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine
Preferences on Intervals: a general framework
Interpolation and Approximation of Surfaces from Three-dimensional Scattered Data Points
Economic Security Metrics
Domain Globalization: Using Languages to Support Technical and Social Coordination
05011 Abstracts Collection - Computing and Markets
Content Creation and Authoring Challenges for Virtual Environments: From User Interfaces to Autonomous Virtual Characters
Audio Content-Based Music Retrieval
Understanding Human Motion: A Historic Review
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS
Functional Information, Biomolecular Messages and Complexity of BioSequences and Structures
What do partial metrics represent?
Interdisciplinary Design Research for End-User Software Engineering
Hierarchical Method for Segmentation by Classification of Motion Capture Data
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation
Distance Signatures: Distributed Spatial Relations
Modeling of Context-Aware Self-Adaptive Applications in Ubiquitous and Service-Oriented Environments
Mean Value Analysis: a Personal Account
Disruption Management and Planning with Uncertainties in Aircraft Planning
Computerethik
Flow control and switching strategy for preventing congestion in multistage networks
Some Results for Identification for Sources and its Extension to Liar Models
Line Based Modelling from Laser Radar Data
Doing Empirical Research on Software Development: Finding a Path between Understanding, Intervention, and Method Development
Modal µ-Calculus and Alternating Tree Automata
Program Specialization via Program Slicing
Modeling the Observed Behavior of a Robot through Machine Learning
ESCAPE: Expert System Compilation and Parallelization Environment
Estimation of Boar Sperm Status Using Intracellular Density Distribution in Grey Level Images
Nonsymmetric algebraic Riccati equations associated with an M-matrix: recent advances and algorithms
10041 Manifesto - Perspectives Workshop: Digital Social Media
On the development of global mobile environment
The MUSE Parallel Prolog System
Software Engineering as an Organisational Challenge
Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures
Affordance-Based Human-Robot Interaction
Learning in Reactive Environments with Arbitrary Dependence
05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar
Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming
Some Thoughts on Systems Challenges for the 1990s
10401 Abstracts Collection - Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction
The Role of Controlled Experiments Working Group Results
Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010
On transforming code generation to a parsing problem
Gaming as social activity
Distributed Usage Control, 06.04. - 09.04.2010
Parallel Linear & UR-Deduction
High-Dimensional Methods for Dementia Analysis
08331 Abstracts Collection - Perspectives Workshop: Model Engineering of Complex Systems (MECS)
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010
09421 Executive Summary - Algebraic Methods in Computational Complexity
Programming Multi-Agent Systems, 31.08. - 05.09.2008
08221 Summary - Geometric Modeling
Search Methodologies, 05.07. - 10.07.2009
SEE MORE: Improving the Usage of Large Display Environments
The Enabling Power of Graph Coloring Algorithms in Automatic Differentiation and Parallel Processing
Services for annotation of biomedical text
Variable-Order Surface Reconstruction Through Region Growing
Basic Concepts and Issues in Fault-Tolerant Distributed Systems
Experiments with ROO: A Parallel Automated Deduction System
Requirements Engineering for Social Software
Non-WAM Models of Logic Programming and Their Support by Novel Parallel Hardware
Environments and Languages to Support Social Simulation
Specifying Algorithm Visualizations: Interesting Events or State Mapping?
Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective
Annotating, Extracting and Reasoning about Time and Events, 10.-15. April 2005
Rigorous Results in Combinatorial Optimization
Market Engineering: An Interdisciplinary Research Challenge
Efficient Rendering of Light Field Images
Towards Imitation Learning from a Viewpoint of an Internal Observer
08421 Working Group: Classification, Representation and Modeling
Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers
Topology Control
08491 Executive Summary - Theoretical Foundations of Practical Information Security
Überblick über PRAM-Simulationen und ihre Realisierbarkeit
Motion Capture for Interaction Environments
Query Processing in Data Integration
Scientific Visualization, 15.07. - 20.07.2007
Multi-Aspect Tagging for Collaborative Structuring
A Unified code generation approach using mutation scheduling
Policy-Based Architectural Adaptation Management: Robotics Domain Case Studies
Component-Base Modeling and Simulation, 18.-23. January 2004
Transaction Model vs. Virtual Synchrony Model: Bridging the Gap
A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling
07221 Abstracts Collection -- Information Visualization - Human-Centered Issues in Visual Representation, Interaction, and Evaluation
Code Selection by Regularly Controlled Term Rewriting
Faster OWL Using Split Programs
Efficient Software Model Checking of Data Structure Properties
Graph Drawing Algorithm Engineering with AGD
Exploring and Testing Theories: On the Role of Parameter Optimization in Social Science Computer Simulation
Combinatorial proof of Muchnik's theorem
09201 Executive Summary - Self-Healing and Self-Adaptive Systems
Description Logic Programs: A Practical Choice For the Modelling of Ontologies
Computational Creativity: An Interdisciplinary Approach, 12.07. - 17.07.2009
Autonomous Shuttle System Case Study
Exploration of Object Symmetries in Computer Vision and Robotics
Robot Finger Design for Developmental Tactile Interaction: Anthropomorphic Robotic Soft Fingertip with Randomly Distributed Receptors
MAid: A Robotic Wheelchair Operating in Public Environments
Adaptive Analysis of On-line Algorithms
CoCoME in Fractal
08261 Abstracts Collection - Structure-Based Compression of Complex Massive Data
On Class Diagrams, Crossings and Metrics
SAT-based Automatic Test Pattern Generation
The New Dutch Timetable: The OR Revolution
Annotating, Extracting and Reasoning About Time and Events
Dense Elastic 3D Shape Matching
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances
Energy Conservation in Memory Hierarchies using Power-Aware Cached-DRAM
08251 Abstracts Collection - Contextual and Social Media Understanding and Usage
Code Generation - Concepts, Tools, Techniques, Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991
Architecting Systems with Trustworthy Components, 12.-17. December 2004
Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003
Sensor Event Processing on Grid
ESM Systems and the Composition of Their Computations
07081 Executive Summary - End-User Software Engineering
Operative Schriften als Geistestechnik. Zur Vorgeschichte der Informatik
Strahlenschutzvorsorge durch Visualisierung radioökologischer Daten
What is an End User Software Engineer?
Mathematical Modeling of Cell Signalling: Kinetic Properties of the Wnt Pathway
Robustness and Randomness
Subjectivity in Clone Judgment: Can We Ever Agree?
Coalgebraic Semantics for Component Systems
Barriers to Successful End-User Programming
Dominant Strategy Mechanisms with Multidimensional Types
Text Type and the Position of a Temporal Adverbial Within the Sentence
Session 3 Summary: Procedures and Mechanisms for Measurement or Experimentation
Project Summaries
Strategy-proof assignment with a vanishing budget surplus
Multi-objective Optimization and its Engineering Applications
Integrated Design and Configuration of Versatile Software Documents in Automotive Software Engineering
Challenges in preservation (planning)
05462 Session Summary - "Cross Cutting Concerns"
05051 Abstracts Collection - Probabilistic, Logical and Relational Learning - Towards a Synthesis
Source-To-Source Analysis with SATIrE - an Example Revisited
Path Planning for Cooperating Robots Using a GA-Fuzzy Approach
Virtual Realities, International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers
Computer-Supported Elicitation of Curatorial Intent
Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009
Performance Analysis of Distributed Systems in the COIN Environment
Inconsistency Issues in Spatial Databases
Reliable Digital Identities for SOA and the Web
Theory of Real Computation According to EGC
Shaman: Software and Human Agents in Multiattribute Auctions and Negotiations
Combining the Advantages of Product Lines and Open Source, 02.04. - 05.04.2008
Visualisierung avifaunistischer Habitatbindungen als Teil einer rechnerunterstützten Landschaftsbewertung
Content Distribution Infrastructures, 11.05. - 14.05.2004
Sources of Superlinearity in Davenport-Schinzel Sequences
Challenges in Ubiquitous Data Management
05451 Group 5 -- Bananas, Dark Worlds, and AspectH
The Value of Constraints for 3D User Interfaces
Open Problem Session
Runtime Analysis of a Simple Multi-Objective Evolutionary Algorithm
10131 Executive Summary and Abstracts Collection - Spatial Representation and Reasoning in Language: Ontologies and Logics of Space
Are the Eyes Homologous?
Introductory Remarks
Programming Models for Multicore Computers
Every Deterministic Nonclairvoyant Scheduler has a Suboptimal Load Threshold
The Parallel Supply Function Abstraction for a Virtual Multiprocessor
Part VI. Beyond Testing
07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems
On Properly Pareto Optimal Solutions
Preset based interaction with high dimensional parameter spaces
Computational Proteomics, 02.03. - 07.03.2008
06031 Executive Summary -- Organic Computing -- Controlled Emergence
The Continuous Shearlet Transform in Arbitrary Space Dimensions
Pattern Discovery Tools for Detecting Cheating in Student Coursework
Informatik und Philosophie. Eine Einführung
Algorithms and Complexity for Continuous Problems, 20.09. - 25.09.2009
Interleaving Object Categorization and Segmentation
Formalizing On Chip Communications in a Functional Style
Sampling-based Optimization in the Presence of Uncertainty, 26.04. - 30.04.2009
Digital and Image Geometry, Advanced Lectures [based on a winter school held at Dagstuhl Castle, Germany in December 2000]
2-bit Flip Mutation Elementary Fitness Landscapes
08102 Working Group -- Early Warning Systems
04301 Abstracts Collection - Cache-Oblivious and Cache-Aware Algorithms
Performance modeling and control of ATM networks
Surface interpolation by spatial environment graphs
Semantic Grid Roadmap
An Active Stereometric Triangulation Technique Using a Continuous Colour Pattern
Evaluating Embodied Conversational Agents, 14.03. - 19.03.2004
Refinement and Consistency in Component Models with Multiple Views
Integrating Rules and Connectionism for Robust Reasoning
Google Pageranking Problem: The Model and the Analysis
Half-Quadratic Algorithm for ℓ p - ℓ q Problems with Applications to TV-ℓ 1 Image Restoration and Compressive Sensing
Dyadic Subbases and Representations of Topological Spaces
3D Human Motion Analysis in Monocular Video: Techniques and Challenges
Introduction to Dependability Metrics
Efficient architectures for streaming applications
Managing Capacity by Drift Control
Model-Based Integration
Conceptual Modeling Approaches for Dynamic Web Service Composition
Belief Update in AgentSpeak-DL
Aspects and Views on Mathematical Optimization in Logistics in the Chemical Process Industry
The Adaptable Viral Archive
Inductive Theorem Proving meets Dependency Pairs
Assisted Living Systems - Models, Architectures and Engineering Approaches, 14.11. - 17.11.2007
Listing all maximal cliques in sparse graphs in near-optimal time
Density of Ideal Lattices
Animating and Model Checking B Specifications with Higher-Order Recursive Functions
Calculus and Algebra for Distributed Data Management
Software Engineering - Introduction
10471 Abstracts Collection - Scalable Visual Analytics
Pervasive Public Displays, 03.01. - 08.01.2010
A Logical Approach to Constraint Satisfaction
Logical Approaches to Incomplete Information: A Survey
Animating Algorithms Live and Post Mortem
Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon 0
06491 Abstracts Collection -- Digital Historical Corpora- Architecture, Annotation, and Retrieval
From SPLs to Open, Compositional Platforms
Model-Driven Assessment of QoS-Aware Self-Adaptation
Unifying Functional Interpretations
The Sunflower Tool Suite - Hardware and Software Research Platforms for Energy-Constrained and Failure-Prone Systems
Surfaces in an object-oriented geometric framework
Scientific Visualization: Interactions, Features, Metaphors
The Monadic Theory of Tree-like Structures
Bericht der Arbeitsgruppe "Zugang zu Umweltinformationen im Internet"
Recovering Piecewise Smooth Multichannel Images by Minimization of Convex Functionals with Total Generalized Variation Penalty
Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995)
09421 Abstracts Collection - Algebraic Methods in Computational Complexity
SMT-Solving for the First-Order Theory of the Reals
Model-Based Design of Trustworthy Health Information Systems, 11.02. - 14.02.2009
A Collision-Resistant Rate-1 Double-Block-Length Hash Function
Extended Update Functionality in Temporal Databases
PRIAMOS: An Advanced Moblie System for Service, Inspection, and Surveillance Tasks
Decentral Task Processing by Cooperation and Interaction: Models Assisting in Local Algorithm Design
Adaptable Similarity Search in Large Image Databases
Entertainment Computing and Serious Games - International GI-Dagstuhl Seminar 15283, Dagstuhl Castle, Germany, July 5-10, 2015, Revised Selected Papers
UPML: The Language and Tool Support for Making the Semantic Web Alive
Model Reuse and Technology Transfer
Visualizing Memory Graphs
Data Gathering in Sensor Networks
Ethical Assessment in the Design of Ambient Assisted Living
Two-Way Tree Automata Solving Pushdown Games
Ad Hoc, Wireless, Mobile Networks: The Role of Performance Modeling and Evaluation
Towards Constructing Story Databases Using Maximal Analogies Between Stories
Part III. Model-Based Test Case Generation
Safety Assurance of Open Adaptive Systems - A Survey
Palladio - Prediction of Performance Properties
A Constraint-Based Approach for Plan Management in Intelligent Environments
Integration von Ausbreitungsberechnungen in ein geographisches Informationssystem
Exploiting Structural Similarity For Effective Web Information Extraction
Cooperative Multi-Agent Systems from the Reinforcement Learning Perspective - Challenges, Algorithms, and an Application
Device-Agent Based Middleware Approach for Mixed Mode Environments
Exact, Approximative, Robust and Certifying Algorithms on Particular Graph Classes, 20.05. - 25.05.2007
Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers
The Unique Games Conjecture with Entangled Provers is False
Survey of Grid Generation Methodologies and Scientific Visualization Efforts
06251 Executive Summary - Multi-Robot Systems: Perception, Behaviors, Learning, and Action
Using the Reform Inference System for Parallel Prolog
Towards a Logic of Graded Normativity and Norm Adherence
Qualitative Abstraction and Inherent Uncertainty in Scene Recognition
Role Assignments
08393 Manifest - The Role of Law in an Electronic World Dominated by Web 2.0
Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005
Model-Based Multisensory Robot Vision
Distillating knowledge about SCOTCH
Zur kartographischen Visualisierung von raumbezogenen Daten mit modernen Methoden der graphischen Datenverarbeitung
Logical Languages for Data Mining
10491 Results of the break-out group: Gulls Data