yusuke1997/dblp-id-title huggingface dataset:
Session 2 Summary: Objectives and Context of Measurement or Experimentation
Point-Based Temporal Extensions of SQL and Their Efficient Implementation
Real-Time Rendering and Modeling of Vegetation
Participatory Organizational and Technological Innovation in Fragmented Work Environments
Personalizing XML Full Text Search in PIMENTO
Computational Geometry, 08.03. - 13.03.2009
Discrete Geometry for Algebraic Elimination
Probabilistic Image Models for Object Recognition and Pose Estimation
Normative Multi-Agent Systems
The Role of Models in Self-adaptive and Self-healing Systems
Large Scale Replication and Data Consistency
Runtime Verification, 02.01. - 06.01.2007
Fault-Tolerance in Sixth-Generation Operating Systems
A dynamical solution of Kronecker's problem
Specific-Purpose Web Searches on the Basis of Structure and Contents
07271 Summary - Computational Social Systems and the Internet
Computing an Optimal Layout for Cone Trees
Towards Diagrammatic Specifications of Symbolic Computation Systems
Coming up With Good Excuses: What to do When no Plan Can be Found
Introduction to Multiobjective Optimization: Noninteractive Approaches
Spotlight Abstraction of Agents and Areas
09141 Abstracts Collection - Web Application Security
09421 Abstracts Collection - From Form to Function
A Memory Module Specification Using Composable High-Level Petri Nets
A Fourier Technique for Volume Rendering
Semantic Challenges in Sensor Networks, 24.01. - 29.01.2010
Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, September 28 - October 2, 1998, Selected Papers
05371 Executive Summary - Principles and Practice of Semantic Web Reasoning (PPSWR)
Upper and Lower Bounds for Certain Graph Accessibility Problems on Bounded Alternating omega-Branching Programs
Computer Science in Sport - Mission and Methods, 07.09. - 10.09.2008
Linear-time certifying recognition for partitioned probe cographs
The Summit County Integrated Public Safety Initiative: Information Sharing in Law Enforcement
An internetworking architecture for multimedia communication over heterogeneous networks
Visual Simulation of Flow
09221 Abstracts Collection - Algorithms and NumberTheory
Informatik in den Naturwissenschaften
Parallel Closure-Based Automated Reasoning
Social Science Microsimulation [Dagstuhl Seminar, May, 1995]
Gestaltung von Benutzerschnittstellen in Umweltinformationssystemen als Einheit von Interaktions- und Applikationsobjekten
Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems
Perspectives of Neuro--Symbolic Integration -- Extended Abstract --
Attributed Transformational Code Generation for Dynamic Compilers
Moderately Exponential Time Algorithms, 19.10. - 24.10.2008
Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007
Competitive Odds and Ends
Component-based intelligent visualization
04371 Abstracts Collection - Perspectives of Model-Based Testing
10102 Executive Summary -- Grand Challenges for Discrete Event Logistics Systems
09081 Abstracts Collection - Similarity-based learning on structures
Development of Tool Extensions with MOFLON
04121 Abstracts Collection -- Evaluating Embodied Conversational Agents
Graphs and Designing
07261 Summary -- Fair Division
Cognitive Vision Systems, Sampling the Spectrum of Approaches [based on a Dagstuhl seminar]
Evolution of Learning Rules in Space
Unmasking Fault Tolerance: Masking vs. Non-masking Fault-tolerant Systems
Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic
Interval Arithmetic Using SSE-2
Advanced Centrality Concepts
08412 Executive Summary - Science of Design : High-Impact Requirements for Software-Intensive Systems
On Feature Orientation and on Requirements Encapsulation Using Families of Requirements
Scientific Visualization: Advanced Concepts
Implementing probabilistic description logics: An application to image interpretation
Attention Demands in Text Entry Interfaces
Multivariate Networks in the Life Sciences
07451 Summary - Model-Based Engineering of Embedded Real-Time Systems
Multidamping simulation framework for link-based ranking
10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages
Interacting with Visualizations
Curvature-Constrained Path Planning
08492 Abstracts Collection - Structured Decompositions and Efficient Algorithms
Generation of Adaptive Streak Surfaces Using Moving Least Squares
09161 Summary - Generalization of spatial information
Model Transformation Technologies in the Context of Modelling Software Systems
Control Patterns in a Health Care Network
Sensors for AAL - what is actually missing?
Modeling Sensor and Ad Hoc Networks
Three Decision-making Mechanisms to facilitate Negotiation of Service Level Agreements for Web Service Compositions
Kolmogorov Complexity and Applications, 29.01. - 03.02.2006
Embodied Artificial Intelligence, International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003, Revised Papers
The Use of Grounded Theory in Empirical Software Engineering
04172 Abstracts Collection - Perspectives Workshop: Visualization and Image Processing of Tensor Fields
Reachability Analysis of Hybrid Systems
Feature Extraction for DW-MRI Visualization: The State of the Art and Beyond
Scalable Visual Analytics, 21.11. - 26.11.2010
Genomics of Gene Regulation: The View from Escherichia coli
05191 Executive Summary - Graph Drawing
Connecting Keywords Through Pointer Paths over the Web
On the Evolution of Quality Conceptualization Techniques
Creation of a Digital Corpus of Bulgarian Dialects
Formal Verification of Self-Organizing Systems
10201 Executive Summary and Manifesto - Event Processing
Thesaurusgestützter Zugriff zu Umweltinformationen in einem netzübergreifenden Hypermediasystem
A Functional Model for Affordance-Based Agents
Anchoring Temporal Expressions in Scheduling-related Emails
Generalized metatheorems on the extractability of uniform bounds in functional analysis
Parallel Distributed Belief Networks
Linking Sheet Music and Audio - Challenges and New Approaches
Perspectives Workshop: Theory and Practice of Argumentation Systems, 20.01. - 23.01.2008
Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again
Estimating Time Delay in Gravitationally Lensed Fluxes
10291 Report - Automation in Digital Preservation
Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments
Sublinear Algorithms, 17.08. - 22.08.2008
Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication
DAML-ONT: An Ontology Language for the Semantic Web
Tactile Man-Robot Interaction for an Industrial Service Robot
Random Thoughts on Multi-level Conceptual Modelling
Expressive Power of Temporal Relational Query Languages and Temporal Completeness
Derandomization
Functional Quantization and Entropy for Stochastic Processes
Distributed Information Retrieval of Computational Biological Models
The Autotelic Principle
Evaluation of a Scalable In-Situ Visualization System Approach in a Parallelized Computational Fluid Dynamics Application
Map Labeling with Application to Graph Drawing
10491 Results of the break-out group: Similarity measures
Model-based Testing: Next Generation Functional Software Testing
Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
10351 Abstracts Collection - Modelling, Controlling and Reasoning About State
A Typical Verification Challenge for the GRID
Infrared Image Understanding
Semantic Annotation for Web Content Adaptation
Information processing, rational belief change and social interaction, 23.08. - 27.08.2009
Agents, Norms and Forest Cleaning
Why Is Cartographic Generalization So Hard?
Hardness of Parameterized Resolution
10491 Results of the break-out group: Benchmarking
Fast Stable Storage as a Basis for Fault-Tolerant Architectures
Inter-Vehicular Communication, 03.10. - 06.10.2010
Modeling Languages for Real-Time and Embedded Systems - Requirements and Standards-Based Solutions
Dynamically Reconfigurable Architectures, 11.07. - 16.07.2010
Studies in Comparative Visualization of Flow Features
Human Motion - Understanding, Modeling, Capture and Animation. 13th Workshop, 11.06. - 16.06.2006
04441 Working Group - Towards a Handbook for User-Centred Mobile Application Design
Fraud Detection from a Business Perspective: Future Directions and Challenges
A Virtual Layer for FPGA Based Parallel Systems (MP-SoCs)
08191 Working Group Summary - Visually Comparing a Set of Graphs
Measurement-Based Modelling Issues - The Problem of Assuring Ultra-High Dependability
Point-set algorithms for pattern discovery and pattern matching in music
Modelling with Relational Calculus of Object and Component Systems - rCOS
Ontology Mapping: The State of the Art
Algorithm Animation Using Data Flow Tracing
Living with Uncertainty in the Age of Runtime Models
An Integrated VR- and Simulation-Environment for Supporting the Complete Product Life Cycle of Space-Related Systems
05441 Abstracts Collection - Managing and Mining Genome Information: Frontiers in Bioinformatics
Approximation of 3D Shortest Polygons in Simple Cube Curves
Support for Information Sharing in CSCW Based on Causally and Totally Ordered Group Communication
Operational Semantics of Security Protocols
On Revenue Equivalence in Truthful Mechanisms
Foundations of Model (Driven) (Reverse) Engineering : Models - Episode I: Stories of The Fidus Papyrus and of The Solarus
Architecture and Protocols for High-Speed Networks [1st Int. Workshop, Dagstuhl, Germany, August 30 - September 3, 1993]
Unified Theory for Classical and Advanced Transaction Models
Network Models with Convex Cost Structure like Bundle Methods
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland
Reliability-Aware Power Management Of Multi-Core Systems (MPSoCs)
Aktuelle Ansätze im Bereich Feature Recognition
Flächenmodifikation mit der Methode der finiten Elemente
An Information-Theoretic Model of Voting Systems
Sound and Fine-grain Specification of Ideal Functionalities
09511 Executive Summary - Parameterized complexity and approximation algorithms
An Empirical Study of Introductory Lectures in Informatics Based on Fundamental Concepts
An Axiomatic Approach to Digital Topology
Collecting Usage Data for Digital Preservation
Curve and Surface Interrogation
Learning an Analysis Strategy for Knowledge-Based Exploration of Scenes
Structuring Families of Industrial Case Studies
Embodied Artificial Intelligence: 10 Years Back, 10 Years Forward
Representation Methods and the Emergence of Inter-Group Cooperation
Subjects, Models, Languages, Transformations
07291 Summary - Scientific Visualization
05142 Abstracts Collection - Disruption Tolerant Networking
10471 Executive Summary - Scalable Visual Analytics
Models and Infrastructure Support for Self-Adaptive Service-Oriented Software Systems
The Locales Framework: Making Social Thinking Accessible for Software Practitioners
Awareness and forgetting of facts and agents
Verifying Data-Dependent Services
A Visual Introduction to Cubic Surfaces Using the Computer Software Spicy
Polyhedral Risk Measures and Lagrangian Relaxation in Electricity Portfolio Optimization
CSG Operations of Arbitrary Primitives with Interval Arithmetic and Real-Time Ray Casting
10441 Abstracts Collection - Exact Complexity of NP-hard Problems
06161 Executive Summary -- Simulation and Verification of Dynamic Systems
AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems
The Need to Adapt and Its Implications for Embodiment
Discrete-Event Simulation in Performance Evaluation
A Dynamic Specification of the RPC-Memory Problem
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic
Integrierte Modellierung komplexer Prozesse (Turial)
Remote Homology Detection of Protein Sequences
07461 Abstracts Collection -- Numerical Methods for Structured Markov Chains
Towards Enablement of Mobile Orientation-aware Services
From Local to Global Patterns: Evaluation Issues in Rule Learning Algorithms
Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis
Probabilistically Stable Numerical Sparse Polynomial Interpolation
Using Virtual Reality to Visualize Scientific, Engineering, and Medical Data
End-user Programming of Ambient Narratives
Generalized Hyper-cylinders: a Mechanism for Modeling and Visualizing N-D Objects
Sublinear Geometric Algorithms
09451 Abstracts Collection - Geometric Networks, Metric Space Embeddings and Spatial Data Mining
Preface -- Workshop Trustworthy Software 2006
Tree Automata Make Ordinal Theory Easy
From Visualization to Visually Enabled Reasoning
Theoretical Foundations of Practical Information Security, 30.11. - 05.12.2008
Stabilising aggregation AMG
Verteilte Termersetzung als Berechnungsmodell für objektorientierte Systeme
Combinatorial Problems in High-Performance Computing: Partitioning
07381 Executive Summary - Cryptography
A Contract and Balancing Mechanism for Sharing Capacity in a Communication Network
Combining Processor Virtualization and Split Compilation for Heterogeneous Multicore Embedded Systems
05421 Abstracts Collection -- Data Always and Everywhere -- Management of Mobile, Ubiquitous, Pervasive, and Sensor Data
Towards Interoperability of Biomedical Ontologies, 27.03. - 30.03.2007
Localizing Self on the Internet: Designing for "Genius Loci" in a Global Context
Probabilistic, Logical and Relational Learning - A Further Synthesis, 15.04. - 20.04.2007
Exploitation of the Memory Hierarchy in Relational DBMSs
Computational Transportation Science, 21.03. - 26.03.2010
10102 Abstracts Collection -- Grand Challenges for Discrete Event Logistics Systems
Requirements Engineering Domain Dimensions
Suballowable sequences of permutations
Systems biology approaches for prioritizing therapeutic gene targets
Secure remote reconfiguration of FPGAs
Temporal Database Bibliography Update
Recognizable Sets of Graphs of Bounded Tree-Width
07421 Executive Summary -- Formal Protocol Verification Applied
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version)
Graphical Models for Human Motion Modelling
The Contribution of Computer Science to Technical Literacy
An Enhanced Spreadsheet Supporting Calculation-Structure Variants, and Its Application to Web-Based Processing
Decision Procedures for Loop Detection
And-Or Dependence Graphs for Slicing Statecharts
09081 Summary - Similarity-based learning on structures
08391 Group Summary - The Berners-Lee Hypothesis: Power laws and Group Structure in Flickr
Infrastructure for Smart Cities: The Killer Application for Event-Based Computing
Representing Paraconsistent Reasoning via Quantified Propositional Logic
Generic Programming Techniques that Make Planar Cell Complexes Easy to Use
Named Entity or Entity Name?
Slicing Functional Programs by Calculation
Extending C Global Surveyor
Tests of Dynamic Social Models with Time Related Surveys: an Experimental Approach
Connectionist Inference Systems
Types of Cooperation in the Distributed Robot Systems CoMRoS
Aging Users are Still Users
Exploring the common concepts of adaptive MCMC and Covariance Matrix Adaptation schemes
07071 Report on Dagstuhl Seminar -- Web Information Retrieval and Linear Algebra Algorithms
Komplexität von Umweltdaten
Complete Characterization of Security Protocols by Pattern Refinement
05021 Abstracts Collection -- Mathematics, Algorithms, Proofs
Introduction to Guarded Logics
Signalling Preferences in Interviewing Markets
Types, Logics and Semantics for State, 03.02. - 08.02.2008
Against Individual Creativity
Bibliography on Competitive Algorithms
Underwater Mixed Environments
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs
Streaming Aerial Video Textures
Selected Design Issues
Intelligent File Systems for Object Repositories
Algorithm Animation
05491 Executive Summary -- Spatial Cognition: Specialization and Integration
On updates with integrity constraints
The Empirical Paradigm Discussion and Summary
Evaluating Expectations of Functionals of Brownian Motions: a Multilevel Idea
Performance Metrics in Software Design Models
Civitas: A Secure Remote Voting System
Qualitative Arrangement Information for Matching
10492 Abstracts Collection - Information-Centric Networking
Real-Time Monocular Visual Odometry for On-Road Vehicles with 1-Point RANSAC
Measurement of modeling abilities
Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings
Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA
Memory Hierarchies - Models and Lower Bounds
An Agenda for Research in Large-Scale Distributed Data Repositories
Rethinking the Software Life Cycle: About the Interlace of Different Design and Development Activities
07081 Abstracts Collection - End-User Software Engineering
Modeling Techniques for Multi-level Abstraction
Pragmatics of Type-Directed Partial Evaluation
Consistent Metric Usage: From Design to Deployment
04411 Abtracts Collection -- Service Management and Self-Organization in IP-based Networks
Discrete classical vs. continuous quantum data in abstract quantum mechanics
05441 Executive Summary - Managing and Mining Genome Information: Frontiers in Bioinformatics
Software Process Simulation Frameworks in Support of Packaging and Transferring Empirical Evidence
What is a Model?
07071 Abstracts Collection -- Web Information Retrieval and Linear Algebra Algorithms
Drawing TimeML Relations with TBox
An Architecture and Construction of a Business Event Manager
Multi-Modal Sensor Monitoring for Context-Aware Assistance
S-Match: an algorithm and an implementation of semantic matching
Multi-criteria ranking of a finite set of alternatives using ordinal regression and additive utility functions - a new UTA-GMS method
Joining Volume with Surface Rendering
Deduction and Decision Procedures, 30.09. - 05.10.2007
Why Are We Simulating Anyway? Some Answers from Economics
Software Performance Evaluation by Models
Reversible Surface Skeletons of 3D Objects by Iterative Thinning of Distance Transforms
Parallel Repetition of MIP(2, 1) Systems
Program Development for Extreme-Scale Computing, 02.05. - 07.05.2010
Fusion-Rule Estimation in Multiple Sensor Systems Using Stochastic Approximation
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas
04441 Abstracts Collection - Mobile Information Management
Scene Understanding of Urban Road Intersections with Description Logic
Perspectives Workshop: Semantic Web Reflections and Future Directions, 28.06. - 03.07.2009
Automata for Program and Model Analysis (working title)
Industrial Approaches and Standards for Security Assessment
Evolution of Embodied Intelligence
Annotating, Extracting and Reasoning about Time and Events, International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
Path planning and optimization in the traveling salesman problem: Nearest neighbor vs. region-based strategies
The VisAD Java Class Library for Scientific Data and Visualization
09302 Summary - New Developments in the Visualization and Processing of Tensor Fields
Search in Real-Time Video Games
A modal logic for reasoning on consistency and completeness of regulations
Localization and On-Line Map Building for an Autonomous Mobile Robot
Knowledge Acquisition in Software Engineering Requires Sharing of Data and Artifacts
07011 Abstracts Collection -- Runtime Verification
Use of a Network-Enabled Server System for a Sparse Linear Algebra Grid Application
Representation of Automotive Software Description Means in ASCET
Component Based Electronic Voting Systems
Parameterized Complexity: The Main Ideas and Connections to Practical Computing
08191 Working Group Report - Visualization of Trajectories
Using Options with Set Exercise Prices to Reduce Bidder Exposure in Sequential Auctions
Modeling Components and Component-Based Systems in KobrA
Stable Memory - Another Look
Challenges in Computational Commutative Algebra
Soul: An Object-Oriented OS Framework for Object Support
Relevant Logic and Paraconsistency
A Case Study in Verification Based on Trace Abstractions
Computer Science in Sport, 17.09. - 20.09.2006
On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes
06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science
Run-Time Verification
09181 Working Group on Hybridization between R&S, DoE and Optimization
Optimal Approximation of Elliptic Problems by Linear and Nonlinear Mappings
Particle Filtering with Evidential Reasoning
09091 Abstracts Collection - Formal Methods in Molecular Biology
08191 Executive Summary - Graph Drawing with Applications to Bioinformatics and Social Sciences
Design Rationale for the MOSKITO Kernel
09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs
08341 Abstracts Collection - Sublinear Algorithms
Wireless Routing Protocols for Earthquake Early Warning Systems
Evaluating Embodied Conversational Agents in Collaborative Virtual Environments
Stream-Based Reasoning in DyKnow
Contraction Bidimensionality: the Accurate Picture
Mental Models for Robot Control
Parallel NN-search for large multimedia repositories
Development and Tuning Framework of Master/Worker Applications
Empirical Software Engineering Research Roadmap Introduction
Illustrative Focus+Context Approaches in Interactive Volume Visualization
On Comparison of Mechanisms of Economic and Social Exchanges: The Times Model
Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]
Formal Protocol Verification Applied, 14.10. - 19.10.2007
07041 Abstracts Collection - Power-aware Computing Systems
License Auctions with Royalty Contracts for (Winners and) Losers
A Relational Approach to Content-based Analysis of Motion Capture Data
Algorithms and Number Theory, 24.05. - 29.05.2009
Similarity-Based Clustering, Recent Developments and Biomedical Applications [outcome of a Dagstuhl Seminar]
08372 Executive Summary - Computer Science in Sport - Mission and Methods
Bericht der Arbeitsgruppe Metadaten
Computer Assisted Interfacing: On the Use of Computer Simulation for Theory Construction
From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases
Reconstruction issues in volume visualization
Motivic Pattern Mining
08372 Abstracts Collection - Computer Science in Sport - Mission and Methods
On-line Searching and Navigation
05081 Abstracts Collection - Foundations of Global Computing
Parallel and Efficient Implementation of the Compartmentalized Connection Graph Proof Procedure: Resolution to Unification
Efficient cost sharing with a cheap residual claimant
Symmetric Cryptography, 11.01. - 16.01.2009
Extrapolation and minimization procedures for the PageRank vector
Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous Systems
Managing Known Clones: Issues and Open Questions
Some Notes on Knowledge Assimilation in Deductive Databases
Planning with Uncertainty of Vision
Optimal algorithms for global optimization in case of unknown Lipschitz constant
Online Scheduling with Bounded Migration
06451 Abstracts Collection -- Circuits, Logic, and Games
A SOA-Based Architecture Framework
A Robust Estimator of Image Thumbnail and Video Histogram Representation
08391 Group Summary - Mining for Social Serendipity
08102 Manifesto -- Perspectives Workshop: Network Attack Detection and Defense
An Evaluation Approach for Scene Flow with Decoupled Motion and Position
Two Applications of Point Matching
Real-Time Synthesis of Body Movements Based on Learned Primitives
An Efficient Algorithm to Test Square-Freeness of Strings Compressed by Balanced Straight Line Program
Performability
Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems, 08.10. - 11.10.2008
Semantic Integration in the Information Flow Framework
On the Complexity of Computing Multi-Homogeneous Bézout Numbers