yusuke1997/dblp-id-title huggingface dataset:
Serious Games Architectures and Engines
Steam-Boiler Control Specification Problem
Instant topological relationships hidden in the reality
Algorithms for Memory Hierarchies, Advanced Lectures [Dagstuhl Research Seminar, March 10-14, 2002]
Explaining Data Type Reduction in the Shape Analysis Framework
Service-Oriented Design: The jABC Approach
10371 Executive Summary - Dynamic Maps
On the Cost of Shifting Event Processing within Wireless Environments
Structured Decompositions and Efficient Algorithms, 30.11. - 05.12.2008
Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven der Informatik", Dagstuhl, November 1993]
07381 Abstracts Collection -- Cryptography
Informatik und Ästhetik
07351 Executive Summary - Formal Models of Belief Change in Rational Agents
The Constraint Satisfaction Problem: Complexity and Approximability
07311 Abstracts Collection -- Frontiers of Electronic Voting
09041 Summary - Hybrid and Robust Approaches to Multiobjective Optimization
Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016
Akzeptanz
07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems
Zukunftswerkstatt als Methode zur Förderung kommunikativer Kompetenz im Software Engineering
The de Groot dual for general collections of sets
Program Composition and Optimization: An Introduction
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference
08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures
Competitive Analysis of Algorithms
Designing Software Services for Business Agility
Modelling Learning Subjects as Relationships
08251 Summary - Contextual and Social Media Understanding and Usage
Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling
Data Sharing Enabling Technologies Working Group Results
Reinforcement Learning of Predictive Features in Affordance Perception
Interactive Visualization in the Austrian Ozone Network
Architectural and Representational Requirements for Seeing Processes, Proto-affordances and Affordances
Test Derivation from Timed Automata
Algebraic Methods in Computational Complexity, 11.10. - 16.10.2009
Controlled Interpolation for Scientific Visualization
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010
Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version
Interaktive Visualisierung mit VISION-Umwelt
Some Fixed Point Basics
GeoWin - A Generic Tool for Interactive Visualization of Geometric Algorithms
Issues in Skill Acquisition Via Human Demonstration
Simulating the Social Context of Human Choice
Integrated Human Behavior Modeling
On the locality of virtual networks: Informal learning in the San Francisco Bay Area
Use of Affordances in Geospatial Ontologies
Technology Requirements for Advanced Service Robots
The Past, Present and Future of High Performance Computing
Verified Methods in Stochastic Traffic Modelling
Numerical Irreducible Decomposition Using PHCpack
Attentive Monitoring and Adaptive Control in Cognitive Robotics
Tutoring System for Modelling and Simulation for Biologists
07391 Abstracts Collection - Probabilistic Methods in the Design and Analysis of Algorithms
Equilibrium Tracing in Bimatrix Games
Artificial Intelligence Modelling: Data Driven and Theory Driven Approaches
Wireless Sensor Networks and Applications
Towards Robust Perception and Model Integration
ECA Perspectives - Requirements, Applications, Technology
Anforderungen an Metainformationssysteme für den Umweltbereich
Eye Movement Navigation Interface Supporting Reading
Combinatorial Approaches for Mass Spectra Recalibration
OPTIMIZATION APPROACHES TO AIRLINE INDUSTRY CHALLENGES: Airline Schedule Planning and Recovery
Integration of Home Automation Technology into an Assisted Living Concept
Megamodelling and Etymology
Centrality Indices
State-of-the-Art in Content-Based Image and Video Retrieval [Dagstuhl Seminar, 5-10 December 1999]
Probabilistic, Logical and Relational Learning - Towards a Synthesis, 30. January - 4. February 2005
The Design of a Back-end Object Management System
Computational Foundations of Social Choice, 07.03. - 12.03.2010
10261 Executive Summary - Algorithm Engineering
Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010
Distributed Algorithm Engineering
Description Logics for Modeling Dynamic Information
What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?
Integrative Bioinformatics - Aspects of the Virtual Cell, 04.07. - 09.07.2004
09192 Abstracts Collection - From Quality of Service to Quality of Experience
Self-Applicable Online Partial Evaluation
Hausdorff Sampling of Closed Sets into a Boundedly Compact Space
10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols
Video-based Capturing and Rendering of People
Spatial Representation: Discrete vs. Continuous Computational Models
07471 Abstracts Collection - Equilibrium Computation
Theory of Evolutionary Algorithms, 15.-20. February 2004
Operating Systems of the 90s and Beyond (with Emphasis on Multiprocessing)
07212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems
Circuit-Theoretic Module-Based Modeling and Control of Robotic Systems
Automated Generation of Diagrams with Maple and Java
04411 Preface - Service Management and Self-Organization in IP-based Networks
A Model-Based Approach To Requirements Analysis
A MDA Approach to Model & Implement Transformations
The (Practical) Importance of SE Experiments
Social Gaming and Learning Applications: A Driving Force for the Future of Virtual and Augmented Reality?
Establishing the Fundamentals of Software Engineering
Arbeitsgruppe Visualisierung
Cluster-based Channel Assignment for Multi-radio Multi-channel Wireless Mesh Networks
05011 Executive Summary - Computing and Markets
Optimization of mail collection networks
A Visual Approach to Analysis of Stress Tensor Fields
golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems
Diversity in Strategies of Partnership Formation
A Methodology to Improve Dependability in Spreadsheets
Towards Automated Processing of Folk Song Recordings
Zur Frage der professionellen Ethik
Proposals for Future Virtual Environment Software Platforms
05462 Report from the Composition Group
Useware Design and Evolution: Bridging Social Thinking and Software Construction
A Petri Net Approach to Verify and Debug Simulation Models
The Art of Self-Assembly: the Self-Assemby of Art
Ubiquitous Nature of Event-Driven Approaches: A Retrospective View
A Key-Recovery Attack on SOBER-128
Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces
Fast resource management in ATM networks
06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science
FITE - Future Integrated Testing Environment
Very Large Cliques are Easy to Detect
Visualization of Structured Data via Generative Probabilistic Modeling
10071 Abstracts Collection - Scheduling
Textpresso - an Information Retrieval and Extraction System for Biological Literature
05061 Summary - Foundations of Semi-structured Data
06101 Abstracts Collection -- Spatial Data: mining, processing and communicating
Quality of Information in Wireless Sensor networks
TEI and Microsoft: a marriage made in...
Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes
Models of Reactive Systems - Communication, Concurrency, and Causality
Pseudospectral Fourier reconstruction with IPRM
From Model-Driven Software Development Processes to Problem Diagnoses at Runtime
Multiresolution representation of datasets with material interfaces
08181 Report - The Evolution of Conceptual Modeling
Geometric Networks, Metric Space Embeddings and Spatial Data Mining, 01.11. - 06.11.2009
Tensor Field Reconstruction Based on Eigenvector and Eigenvalue Interpolation
FlexFilm - an Image Processor for Digital Film Processing
An Algorithm for Matching Nondeterministic Services with Operating Guidelines
Discovering Unexpected Patterns in Temporal Data Using Temporal Logic
Real Computation and Complexity, 1.-6. February 2004
Ecological Robotics: A Schema-Theoretic Approach
Summary 3: On Graph(ic) Encodings
Exploration and Confirmation: An Historical Perspective
Drawing Trees, Series-Parallel Digraphs, and Lattices
Introduction to Overlapping Attributes
Programming and certifying a CAD algorithm in the Coq system
Incentive Compatible Regression Learning
Knowledge Mobility: Semantics for the Web as a White Knight for Knowledge-Based Systems
Engineering Self-Adaptive Systems through Feedback Loops
05382 Abstracts Collection - Efficient Text Entry
Visualizing process information and the health status of wastewater treatment plants - A case study of the ESPRI-project WaterCIME
Performance Evaluation: Origins and Directions
Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006
Power-Aware Real-Time Scheduling: Models, Open Problems, and Practical Considerations
Set-Theoretic Graph Rewriting
Engineering Perceptually Effective Visualizations for Abstract Data
Exact Elimination of Cycles in Graphs
The Steam-Boiler Problem - A TLT Solution
Self-Maintenance for Autonomous Robots in the Situation Calculus
09282 Executive Summary - Foundations for Forgery-Resilient Cryptographic Hardware
Procedural volume modeling, rendering, and visualization
Potential of Open Source Systems as Project Repositories for Empirical Studies Working Group Results
Understanding Social and Environmental Requirements in China
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction
Ideas on Signal Generation for Evolutionary Testing of Continuous Systems
09291 Abstracts Collection - Computational Creativity: an interdisciplinary approach
Similarity-based learning on structures, 15.02. - 20.02.2009
Some Annotations on X-ray Tracing
Applications of Sensor Networks
Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic
Objects and Classes, Co-Algebraically
Geometry in Sensor Networks, 09.04. - 13.04.2007
09441 Executive Summary - The Constraint Satisfaction Problem: Complexity and Approximability
Future Perspectives - Introduction
10492 Executive Summary - Information-Centric Networking
Retargetable code generation for parallel, pipelined processor structures
04101 Discussion - A Taxonomy of Model Transformations
MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments
Distributed Implementation of a Self-Organizing Decentralized Multimedia Appliance Middleware
End-user (further) development: A case for negotiated semiotic engineering
Semantic Gadgets: Ubiquitous Computing Meets the Semantic Web
Correctness Proofs of Distributed Algorithms
Recognition and Synthesis of Human Movements by Parametric HMMs
Parallel Logic Programs on Transputers
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting
Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures
Recommendation: A Less Explored Killer-App of Uncertainty?
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
06301 Abstracts Collection -- Duplication, Redundancy, and Similarity in Software
Knowledge Federation over the Web Based on Meme Media Technologies
Application of verification techniques to inverse monoids
Visualisierung von Umweltdaten, 2. Workshop, 26.-28. November 1991, Dagstuhl
Measuring Ranks via the Complete Laws of Iterated Contraction
Towards Affordance-Based Robot Control, 05.06. - 09.06.2006
Exploring Visualization Methods for Complex Variables
Stochastic Modeling Formalisms for Dependability, Performance and Performability
Status of Empirical Research in Software Engineering
Empirical Studies as a tool to Improve Teaching Concepts
Interacting Deformable Objects
Die zwei Teilthesen des Funktionalismus
Visualization in Multimodal User Interfaces of Mobile Applications
The Complexity of Valued CSPs
Small space analogues of Valiant's classes and the limitations of skew formula
Mobility, Ubiquity and Security, 25.02. - 02.03.2007
Weighted Voronoi Region Algorithms for Political Districting
Empirical Software Engineering Issues. Critical Assessment and Future Directions, International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers
Fundamentals of Generic Programming
Premise Independence in Judgment Aggregation
Stability Features for Free Form Surfaces
Uniprocessor EDF Feasibility is an Integer Problem
Decision Problems over the Domain of the Real Numbers
Visualisierung in der Umweltinformatik - Aktivitäten im Umfeld von AVS
CakES: Cake Metaphor for Analyzing Safety Issues of Embedded Systems
Dynamic Interactions Between Goals and Beliefs
Interactive Exploration of the Network Behavior of Personal Machines
Service Specific Overlay Networks Setup and Maintenance using Pattern-based Management
04131 Abstracts Collection - Geometric Properties from Incomplete Data
06172 Executive Summary -- Directed Model Checking
08131 Executive Summary -- Ontologies and Text Mining for Life Sciences : Current Status and Future Perspectives
Present and Future of Practical SAT Solving
Limitations of Applicative Bisimulation (Preliminary Report)
08051 Executive Summary - Theory of Evolutionary Algorithms
The ADAM Abstract Dataflow Machine
06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice
Designers Need End-User Software Engineering
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs
Crowdsourcing Technology to Support Academic Research
Social and Human Aspects of Software Engineering
Guaranteed Optimization for Domain-Specific Programming
Towards Open Service Environments
Mining Additions of Method Calls in ArgoUML
The Refinement Relation of Graph-Based Generic Programs
From best effort to enhanced QoS
On Experimental Computer Science
Data Collection, Analysis, and Sharing Strategies for Enabling Software Measurement and Model Building
The RTL System: A Framework for Code Optimization
Large-Scale Requirements Analysis as Heterogeneous Engineering
Simulation-based analysis of E2E voting systems
08301 Final Report - Group Testing in the Life Sciences
From Life Event Analysis to Life Course Analysis
Gesellschaftsrechtliche Anforderungen an Risikomanagementsysteme
08491 Abstracts Collection - Theoretical Foundations of Practical Information Security
Virtual Realities - Dagstuhl Seminar 2008
08061 Abstracts Collection -- Types, Logics and Semantics for State
Reconfigurable Processing Units vs. Reconfigurable Interconnects
Deterministic Fault Injection of Distributed Systems
On the Complexity of Parabolic Initial Value Problems with Variable Drift
A logical formalism for the subjective approach in a multi-agent setting
Computing Segmented Volumes
Functional Changes in Older Adults: Impact on Home Technology Design
Mathematica Connectivity to Interval Libraries filib++ and C-XSC
MiKO - Mikado Koncurrent Objects
Programming Methods for Neural Computing
Programming Manifolds
Bidding Strategies for Multi-object Auctions
Optimal Speedup on a Low-Degree Multi-Core Parallel Architecture (LoPRAM)
Event Extraction and Temporal Reasoning in Legal Documents
ASODPOP: Making Open DPOP Asynchronous
Sensor Fusion and Learning for Environmental Modelling
Analysis of Network Ensembles
Actions and Belief Revision: A Computational Approach
Session 6 Summary: Technology Transfer, Teaching and Training
Topological Neighborhoods for Spline Curves: Practice & Theory
Feature-driven Emergence of Model Graphs for Object Recognition and Categorization
An Algorithm for Fast 3D Picking and Snapping using a 3D Input Device and 3D Cursor
Surface Reconstruction - An Introduction
Social Network Games
Internal collision attack on Maraca
Extended Static Checking: A Ten-Year Perspective
Norms and accountability in multi-agent societies
Bridging the Gap between Relocatability and Available Technology: The Erlangen Slot Machine
Generische und generative Methoden
09072 Abstracts Collection - Bandwidth on Demand
Distributed Computing for Conglomerate Mathematical Systems
Logic Based Information Agents, 18.04. - 23.04.2004
Argument Structure in TimeML
Nutzung des Umweltdatenkatalogs in Weitverkehrsnetzen
Affective Computing in Games
08332 Executive Summary - Distributed Verification and Grid Computing
Metainformation in der FAM-Datenbank
Empirical Case Studies in Industry: Some Thoughts
Inductive Definability and the Situation Calculus
Implementation of the reciprocal square root in MPFR
06391 Abstracts Collection -- Algorithms and Complexity for Continuous Problems
Using Cyclic String Matching to Find Rotational and Reflectional Symmetries in Shapes
Graph Transformation in a Nutshell
A Modeller for Preliminary Design
Inconsistency Tolerance [result from a Dagstuhl seminar]
Task-Directed Planning of Cooperating Sensors: A Framework
Artificial and Computational Intelligence for Games on Mobile Platforms
Helping Everday Users Establish Confidence for Everyday Applications
06271 Executive Summary - Challenges in Symbolic Computation Software
Interpersonal Maps: How to Map Affordances for Interaction Behaviour
Analysis of Player Motion in Sport Matches
09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers
Biologically Inspired Methods for Organizing Distributed Services on Sensor Networks
Visually Guided Navigation
Point-to-Line Mappings and Hough Transforms
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems
Evolution of Partial Evaluators: Removing Inherited Limits
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies
Temporal Evolution and Local Patterns
On Transaction Management in Temporal Databases
Competitive Analysis of Distributed Algorithms
Temporal Support of Regular Expressions in Sequential Pattern Mining
08261 Executive Summary - Structure-Based Compression of Complex Massive Data
05281 Abstracts Collection - Simulation & Scheduling: Companions or Competitors for Improving the Performance of Manufacturing Systems
06361 Abstracts Collection -- Computing Media Languages for Space-Oriented Computation
Implicit Characterizations of Pspace
Synthesizing Probabilistic Generative Models for Intention Analysis
The Transport PDE and Mixed-Integer Linear Programming
An Environment for Compuatational Steering
An Axiomatic Approach to Algebrization
Autonomy, Signature and Creativity
Query Answering in Inconsistent Databases
Market Engineering: A Research Agenda
Dagstuhl '97, Scientific Visualization, Dagstuhl, Germany, 9-13 June 1997
A Fast Algorithm for Matrix Balancing
Realistic Computer Models
A Creative Dance: Symbols, Action and the Bringing Forth of Meaning
Numerical Analysis Methods
Brownian Dynamics Simulations for Cell Biological Applications
Remote Performance Monitor (RPM)
New Models and Methods for Arc Routing
Adapting Web Services for Multiple Devices: a Model-Driven, Aspect-Oriented Approach
Towards a Human Memory Prosthesis
Randomized Heuristics for Exploiting Jacobian Scarcity
Online Algorithms, The State of the Art (the book grow out of a Dagstuhl Seminar, June 1996)
Value Flow Graph Analysis with SATIrE
Sorting for Polyhedron Compositing
Parallel Universes: Multi-Criteria Optimization
Visual Capabilities in an Interactive Autonomous Robot
Composite Protocols and Networking Services
Determinization of Büchi-Automata
Unconditional Lower Bounds against Advice
Theory of Evolutionary Algorithms, 05.02. - 10.02.2006
07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents
Hardware Reliability
Empirical Studies as a Basis for Technology Transfer
Imitation Learning and Transferring of Human Movement and Hand Grasping to Adapt to Environment Changes
On the Forecast Accuracy of Sports Prediction Markets
Content-Based Retrieval, 23.04. - 28.04.2006
Strong Price of Anarchy for Machine Load Balancing
Sozialorientierte Informatik und Frauenforschung
08241 Abstracts Collection - Transactional Memory : From Implementation to Application
"Frauenspezifische Informatik" und Frauenförderpläne: Wie paßt das zusammen?
Anti-Counterfeiting: Mixing the Physical and the Digital World
Statistical and Geometrical Approaches to Visual Motion Analysis, 13.07. - 18.07.2008
Mobile Devices for Virtual Reality Interaction. A Survey of Techniques and Metaphors
Program Equivalence with Names
Compiling Geometric Algebra Computations into Reconfigurable Hardware Accelerators
End-User Software Engineering Position Paper
Bridging today's Internet Heterogeneity with a Content-oriented Approach
Integrated Vehicle Routing and Crew Scheduling in Waste Management (Part II)
Forgetting and Update -- an exploration
Closure and Causality
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
The Beauty Dilemma
Telexistence
Semantics for Non-Monotone Queries in Data Exchange and Data Integration
A Generic Time Hierarchy for Semantic Models With One Bit of Advice
Dynamic Graph Drawing
Applying Auction Theory to Procurement Auctions - An Empirical Study Among German Corporations
The Priority R-Tree: A Practically Efficient and Worst-Case-Optimal R-Tree
10341 Abstracts Collection - Insider Threats: Strategies for Prevention, Mitigation, and Response
Software Service Engineering, 04.01. - 07.01.2009
Synthesis of Behavioral Controllers for Discrete Event Systems with Augmented Petri Net Models
Nonlinear Approximation and Image Representation using Wavelets
NBI and MOGA-II, two complementary algorithms for Multi-Objective optimizations
Parallel Rule-Firing Production Systems
End-User Software Engineering, 18.02. - 23.02.2007
Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems
Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Maximizing the Minimum Load for Selfisch Agents
Information Visualization - Human-Centered Issues in Visual Representation, Interaction, and Evaluation, 28.05. - 01.06.2007
Product Form Queueing Networks
Research Challenges for Business Process Models at Run-Time
Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009
09171 Executive Summary - Adaptive, Output Sensitive, Online and Parameterized Algorithms
Selfish Agents and Economic Aspects
Model-Based Testing - A Glossary
On Turing complete T7 and MISC F--4 program fitnes landscapes
Randomized QuickSort and the Entropy of the Random Source
Representing and Reasoning About Object Functionality: Towards an Integrated Approach
Active Control of Resolution for Stable Visual Tracking
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems
Some Experiments on Tiling Loop Programs for Shared-Memory Multicore Architectures
Facility location with uncertain demand and economies of scale
Visualization of Deformation Tensor Fields
Human-Centered Aspects
Non-Markovian Agent Evolution with EVOLP
04381 Abstracts Collection - Dependently Typed Programming
Service Management and Self-Organization in IP-based Networks
Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006
Operating System Support for Monitoring Parallel Software Systems
VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs
Abstracting out Byzantine Behavior
Equilibria for two parallel links: The strong price of anarchy versus the price of anarchy
10041 Abstracts Collection - Perspectives Workshop: Digital Social Networks
Data Always and Everywhere - Management of Mobile, Ubiquitous, Pervasive, and Sensor Data, 16.10. - 21.10.2005
Learning and Game AI
Chronoscopes : A Theory of Underspecified Temporal Representations
General Logic Programs as Infinite Games
New descriptors for image and video indexing
Using Branch-and-Price to Find High Quality Solutions Quickly
Geometric Motion Design
Tools for Computing Tangent Curves and Topological Graphs
06461 Abstracts Collection -- Negotiation and Market Engineering
Three Perspectives on Information Integration
Propagating and measuring anchor uncertainty in space-time prisms on road networks