yusuke1997/dblp-id-title huggingface dataset:
Marginal productivity index policies for scheduling restless bandits with switching penalties
A Steam-Boiler Control Specification with Statecharts and Z
Compensated Horner Scheme
Dynamically Reconfigurable Architectures, 02.04. - 07.04.2006
Grasping Unknown Objects
Multiresolutional Visualization of Evolving Distributed Simulations Using Wavelets and MPI
Towards a Verified Enumeration of All Tame Plane Graphs
Formal Description, Time and Performance Analysis. A Framework
09271 Report - Perspectives Workshop: Semantic Web Reflections and Future Directions
Algorithms and Number Theory, 16.05. - 21.05.2004
Surface approximation to point cloud data using volume modeling
Operationalization and Measurement of Evaluation Constructs
Constructive Foundations for Featherweight Java
Formalisierung und Feminismus
06131 Abstracts Collection -- Peer-to -Peer -Systems and -Applications
[Virtual + 1] * Reality - Blending "Virtual" and "Normal" Reality to Enrich Our Experience
The complexity of positive first-order logic without equality II: The four-element case
Roadmapping Working Group 2 Results
Geographic Visualization
Optimizing Surface Profiles during Hot Rolling: A Genetic Algorithms based Multi-objective Analysis
Visual Representations
08043 Summary -- Perspectives Workshop: Telecommunication Economics
Data structures for 3D multi-tessellations: an overview
CoCoME Jury Evaluation and Conclusion
Plan-Based Control for Autonomous Soccer Robots (Preliminary Report)
Computing earliest arrival flows with multiple sources
08351 Abstracts Collection - Evolutionary Test Generation
Humans Create, Occasionally. Computers Operate, Always
XQuery Implementation Paradigms, 19.11. - 22.11.2006
Understanding User Behavior Geospatially
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources
Glycosylation Patterns of Proteins Studied by Liquid Chromatography-Mass Spectrometry and Bioinformatic Tools
Feature validation and conversioni
Stability and Instability in Discrete Tomography
Data Visualization: The State of the Art
Microsimulating Farm Business Performance
On Continuation Methods for the Numerical Treatment of Multi-Objective Optimization Problems
Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations
Quality Assessment of Pareto Set Approximations
Parallelization of Mapping Algorithms for Next Generation Sequencing Applications
05501 Summary - Automatic Performance Analysis
The 2-D Leap-Frog: Integrability, Noise, and Digitization
Real-time communication in shared-medium high speed lans
05101 Executive Summary - Scheduling for Parallel Architectures: Theory, Applications, Challenges
Achieving Fault Tolerance for Arithmetic Circuits with a Mutable RNS Monitor
Synchronization of Multi-agent Systems
Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007
07462 Abstracts Collection -- Assisted Living Systems - Models, Architectures and Engineering Approaches
Function-Based Object Recognition
Challenges and Unsolved Problems
An Improved Algorithm for TV- L 1 Optical Flow
Performance of a Distributed Robotic System Using Shared Communication Channels
10271 Abstracts Collection - Verification over discrete-continuous boundaries
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java
A Microsimulation Tool for Social Force Models
07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems
Information Fusion and Metabolic Network Control
Directed Feedback Vertex Set Problem is FPT
09341 Abstracts Collection - Cognition, Control and Learning for Robot Manipulation in Human Environments
06061 Abstracts Collection -- Theory of Evolutionary Algorithms
On dissemination mechanism of corporate social responsibility (CSR): Analysis with agent simulation
Limited Verification of Identities to Induce False-Name-Proofness
Ontology Alignment: An annotated Bibliography
From TimeML to TPL
Seven Catchy Phrases for Computational Creativity Research
Declarative Synchronous Multithreaded Programming
State Identification
Explicit Non-Adaptive Combinatorial Group Testing Schemes
Design, Actuation, and Control for Biologically Inspired Four-Legged and Two-Legged Robots
Adding Features to Component-Based Systems
A New Tree Distance Metric for Structural Comparison of Sequences
09371 Abstracts Collection - Algorithmic Methods for Distributed Cooperative Systems
Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9
Model equivalence of PRISM programs
Parameterized Constraint Satisfaction Problems: a Survey
Artificial Creative Systems: Completing the Creative Cycle
PET - priority encoding transmission
The Semantics of Information, 06.06. - 11.06.2010
A Taxonomy for Ensuring Institutional Compliance in Utility Computing
Cognition, Control and Learning for Robot Manipulation in Human Environments, 16.08. - 21.08.2009
Relevance Matrices in LVQ
Embodied Artificial Intelligence: Trends and Challenges
Visualization of Environment Protection Data
Accessing Related Web Resources Through Annotated Documents
Network Statistics
Fehlertoleranz in universellen Hochleistungs-Parallelrechnern
Techniques for Empirical Validation
Toward a Cognitive System Algebra: Application to Facial Expression Learning and Imitation
Introduction to Multivariate Network Visualization
Exploiting the ASM method within the Model-driven Engineering paradigm
Difficulties in Image Retrieval
Detecting Feature Interactions: How Many Components Do We Need?
Model-Based Visualization for Intervention Planning
Design and Analysis of Randomized and Approximation Algorithms, 15.05. - 20.05.2005
Approximating minimum cost connectivity problems
Variational Bayes via Propositionalization
Stimulating creative flow through computational feedback
08291 Abstracts Collection - Statistical and Geometrical Approaches to Visual Motion Analysis
Infrastructureless Localization in WSN
Hybrid and Robust Approaches to Multiobjective Optimization, 18.01. - 23.01.2009
09171 Abstracts Collection - Adaptive, Output Sensitive, Online and Parameterized Algorithms
Graphics and Robotics, Dagstuhl Castle, Germany, April 19-22, 1993
Integration of Automated Guided Vehicles into Manufacturing Plants
Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10. - 31.10.2008
Design mit energieoptimierten Twists
Automatic Model-Generation for Image Analysis
Sensitivity Analysis in the Social Sciences: Problems and Prospects
Monte Carlo solution for the Poisson equation on the base of spherical processes with shifted centres
Searching with an Autonomous Robot
Learning in Parallel Universes
05411 Abstracts Collection -- Anonymous Communication and its Applications
V2X Simulation Environment for Comprehensive Design Space Exploration Verification and Test
An analytic solution to the alibi query in the bead model for moving object data
Model-driven Generation of Security Policies for Service-oriented Architectures
On impossibility of sequential algorithmic forecasting
Towards a Formal Specification for the AgentComponent
On Approximation of Jordan Surfaces in 3D
05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints
Surface Reconstruction Based on a Descriptive Approach
g4re: Harnessing GCC to Reverse Engineer C++ Applications
Progress on the State Explosion Problem in Model Checking
Structured Audio Information Retrieval System
Towards Dilated Placement of Dynamic NoC Cores
09031 Abstracts Collection - Symmetric Cryptography
Pre-Routed FPGA Cores for Rapid System Construction in a Dynamic Reconfigurable System
Mathematics, Algorithms, Proofs, 9.-14. January 2005
06111 Abstracts Collection -- Complexity of Boolean Functions
Scenario Optimization for Multi-Stage Stochastic Programming Problems
Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings
An Edge-preserving, Data-dependent Triangulation Scheme for Hierarchical Rendering
06251 Abstracts Collection - Multi-Robot Systems: Perception, Behaviors, Learning, and Action
Bringing Knowledge to Middleware - Grid Scheduling Ontology
Software Architecture Trends and Promising Technology for Ambient Assisted Living Systems
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis
Partial Matching by Structural Descriptors
Efficient Robot Self-Localization in Simple Polygons
Median Topographic Maps for Biomedical Data Sets
09211 Executive Summary - Visualization and Monitoring of Network Traffic
Diagonal Circuit Identity Testing and Lower Bounds
10101 Abstracts Collection - Computational Foundations of Social Choice
Testing Dynamic Component Systems
Compression vs Queryability - A Case Study
A Parallel Theorem Prover with Heuristic Work Distribution
Approaches to Compute Workflow Complexity
Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008
Text Mining Using Markov Chains of Variable Length
Drawing Graphs, Methods and Models (the book grow out of a Dagstuhl Seminar, April 1999)
Cell Complexes and Digital Convexity
Architectural Issues in the StormCast System
Distribution-based Image Similarity
The Chase Procedure and its Applications in Data Exchange
Correctness of Graph Programs Relative to Hyperedge Replacement Conditions
Management of the Future Internet, 27.01. - 30.01.2009
Technology Transfer and Education Introduction
10411 Abstracts Collection - Computational Video
Specialization of Imperative Programs Through Analysis of Relational Expressions
Zur Konstitution der Informatik als Wissenschaft
Introduction to My Book "Essays in Constructive Mathematics"
Yet Another Laboratory for Software Engineering
Ray-Based Data Level Comparisons of Direct Volume Rendering Algorithms
09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions
Image-Based Motion Compensation for Structured Light Scanning of Dynamic Surfaces
A New Linear Time Algorithm to Compute the Genomic Distance Via the Double Cut and Join Distance
Cases of Software Services Design in Practice
10402 Abstracts Collection and Executive Summary - Inter-Vehicular Communication
08421 Working Group: Imprecision, Diversity and Uncertainty: Disentangling Threads in Uncertainty Management
Orientations in Verification Engineering of Avionics Software
Logics for Quantitative Systems
The IFS Parallel Architectures Group University of Essex
Adaptive Rich Media Presentations via Preference-Based Constrained Optimization
Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely
Applications of the Generic Programming Paradigm in the Design of CGAL
Context Aware Browser
Towards Automatic Feature-based Visualization
Quantitative Empirical Modeling for Manageing Software Development: Constraints, Needs and Solutions
Using Affective Technologies to Increase Engagement and Motivation in Fitness and Sports
Decomposability Helps for Deciding Logics of Knowledge and Belief
Embodied creativity
Enhancing Visual Perception Using Dynamic Updating of Display
Steps toward a Relational 3D System
08221 Abstracts Collection - Geometric Modeling
Components, Features, and Agents in the ABC
Negotiation, Auctions, and Market Engineering, International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers
How to make a bridge between transformation and analysis technologies?
Electromagnetic Wave Field Synthesis for an Over-the-Air Test of Radios in the Graduate School
Acquisition of Performance Parameters in Race-Bike Training
Bericht der Arbeitsgruppe "Ganzheitliche Sicht des Integrationsproblems von Umweltdaten"
Domain-Specific Optimizations of Composed Parallel Components
Sparse Reconstructions for Inverse PDE Problems
Algorithmic Differentiation Through Automatic Graph Elimination Ordering (ADTAGEO)
Bounded Reductions
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers
Relational Clustering
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004
A domain of spacetime intervals in general relativity
Schematization in Cartography, Visualization, and Computational Geometry, 14.11. - 19.11.2010
Statistical and Geometrical Approaches to Visual Motion Analysis, International Dagstuhl Seminar, Dagstuhl Castle, Germany, July 13-18, 2008. Revised Papers
05462 Session Summary - "Service Management"
Belief Change with Noisy Sensing and Introspection
Quantum Network Coding
06501 Abstracts Collection - Practical Approaches to Multi-Objective Optimization
Involving Industry Professionals in Empirical Studies with Students
Why Timed Sequence Diagrams Require Three-Event Semantics
Spatial Representation and Reasoning in Language: Ontologies and Logics of Space, 28.03. - 01.04.2010
Ranked XML Querying, 09.03. - 14.03.2008
Factor-graph Based Channel Estimation for MIMO-OFDM Systems
Simple, Fast, and Robust Ray Casting of Irregular Grids
Automatic Time Measurement for UML Modeling Activities
06351 Summary -- Methods for Modelling Software Systems (MMOSS)
Transformation Techniques in Software Engineering, 17.-22. April 2005
Probabilistic Methods in the Design and Analysis of Algorithms, 23.09. - 28.09.2007
Simulation in Umweltinformationssystemen
05321 Abstracts Collection - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics
04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models
Planar Graph Isomorphism is in Log-Space
Research Challenges for Argumentation
10252 Executive Summary - Game Semantics and Program Verification
A Data Abstraction Alternative to Data Structure/Algorithm Modularization
Complete Interval Arithmetic and its Implementation
Algorithms for Sensor and Ad Hoc Networks, Advanced Lectures [result from a Dagstuhl seminar]
Questions in the Methodology of Artificial Societies
A Survey of Visualization Methods for Special Relativity
06201 Executive Summary -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery
XML: Model, Schemas, Types, Logics, and Queries
Physical 2D Morphware and Power Reduction Methods for Everyone
Context-aware Reputation Framework
OOP and Interval Arithmetic - Language Support and Libraries
Modeling Dimensions of Self-Adaptive Software Systems
Polygon Exploration with Discrete Vision
Intelligent Guidance of an Unmanned Helicopter
Advances in pre-processing and model generation for mass spectrometric data analysis
Interaction in High-resolution Display Environments
Automist - A Tool for Automated Instruction Set Characterization of Embedded Processors
06141 Executive Summary -- Dynamically Reconfigurable Architectures
Uncertainties in stochastic programming models: The minimax approach
08281 Abstracts Collection - Software Engineering for Trailor-made Data Management
Algorithm Engineering, 27.06. - 02.07.2010
Contextual Occurence Nets and Concurrent Constraint Programming
AMTP: Towards a high performance and configurable mulipeer transfer service
The "CAD-Reference-Model": An Architectural Approach to Future CAD-Systems
04441 Executive Summary - Mobile Information Management
Modellbildung und Simulation
Representing Vertex-Based Simplicial Multi-complexes
Deriving Non-approximability Results by Reductions
Towards Mapping-Based Document Retrieval in Heterogeneous Digital Libraries
Query Processing in Ad-hoc Environments
Robust Normative Systems
Step-Indexed Biorthogonality: a Tutorial Example
09282 Abstracts Collection - Foundations for Forgery-Resilient Cryptographic Hardware
Abstract Feature Space Representation for Volumetric Transfer Function Exploration
Self-Healing Protocol Implementations
Profile of an Artifact Assessment Capability
Adapting Open Source Software for Establishing Product Line Infrastructures
Branch-and-Price Solving in G12
Robust Query Processing, 19.09. - 24.09.2010
Approximation Algorithms for 2-stage and Multi-stage Stochastic Optimization
A Multifunctional Historical Document Research System
Self-Managed Resource Consumption Optimization by Near-Future User Behavior Prediction at Application Level
Smoothed Analysis of Binary Search Trees and Quicksort Under Additive Noise
SINUS - Simulationsmodell integrierte Nutzungs- und Sanierungsplanung
Results on Reasoning about Updates in Transaction Logic
Predictors of metabolic energy expenditure from body acceleration and mechanical energies in new generation active computer games
Implementation Options for Time-Series Data
Fast and Accurate Collision Detection for Virtual Environments
MACE: A Multi-attribute Combinatorial Exchange
Workload Characterization Issues and Methodologies
Towards more Dependable Verification of Mixed-Signal Systems
Adaptive Thinning Algorithms of Atmospheric Observations in Data Assimilation for Numerical Weather Prediction
Issues in Security and Fault Tolerance
On Active Deductive Databases: The Statelog Approach
Model-Based Testing for the Cloud
Storytelling in Serious Games
Taming Dynamic and Selfish Peers
Triangular B-Splines for Modeling in Graphics and Robotics
Reference-Dependent Preferences in Multi-Issue Bargaining
Digital Partitions Encoding
Multiresolution Approximation of Polyhedral Solids
Frauen in Mathematik und Informatik, Tagungsbericht, Schloß Dagstuhl, 1.6.-4.6.1993
05261 Summary - Multi-Version Program Analysis
Empirical Paradigm: Position Paper
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
Kinetic kd-Trees and Longest-Side kd-Trees
Graph Clustering Based on Structural Similarity of Fragments
On the evolution of conceptual modeling
Video Retrieval using Semantic Data
Testing with Functions as Specifications
An Alchemist's Primer on Reaction-Diffusion Patterns
Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains
An Inner/Outer Stationary Iteration for Computing PageRank
Immersive Investigation of Scientific Data
End User Programming for Scientists: Modeling Complex Systems
Vision for Interaction
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map
Discussion: Code Generator Specification Techniques
08071 Executive Summary -- Scheduling
10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages
09102 Report - Perspectives Workshop: Naming and Addressing in a Future Internet
10302 Abstracts Collection - Learning paradigms in dynamic environments
09391 Abstracts Collection - Algorithms and Complexity for Continuous Problems
05321 Executive Summary - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics
Bericht der Arbeitsgruppe "Qualitätssicherung bei der Integration von Umweltdaten"
09311 Abstracts Collection - Classical and Quantum Information Assurance Foundations and Practice
A Language and System for Constructing and Presenting Low Fidelity Algorithm Visualizations
Encapsulation and Interaction in Future Operating Systems
Specifying Optimal Design of a Steam-Boiler System
Optimizing XML Compression in XQueC
Things That See: Context-Aware Multi-modal Interaction
Naming and Addressing for Next-Generation Internetworks, 29.10. - 01.11.2006
Structural Sampling for Statistical Software Testing
Dependable Data Management in Dynamic Distributed Systems
Scheduling periodic tasks in a hard real-time environment
Normative Reasoning and Consequence
05201 Abstracts Collection - Design and Analysis of Randomized and Approximation Algorithms
The complexity of Boolean functions from cryptographic viewpoint
On Composing RESTful Services
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures
Segmentation and texture-based hierarchical rendering techniques for large-scale real-color biomedical image data
Preparing Educational Standards in the Field of Object-Oriented Modelling
Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
08302 Summary - Countering Insider Threats
06191 Summary -- Rigorous Methods for Software Construction and Analysis
Chronoscopes: A theory of underspecified temporal representations
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms
Event Processing, 16.05. - 21.05.2010
Combination of Geometrical and Statistical Methods for Visual Navigation of Autonomous Robots
Retargetable compilation of self-test programs using constraint logic programming
Planning in Multiagent Systems, 09.11. - 14.11.2008
A Uncertainty Perspective on Qualitative Preference
05271 - Prospectus for Dagstuhl Library Working Group
07122 Abstracts Collection - Normative Multi-agent Systems
Combining Study Designs and Techniques Working Group Results
Combining Planning and Motion Planning
On the Monotonicity of the String Correction Factor for Words with Mismatches
Creating Real Value in Software Engineering Experiments
Algebra and the Complexity of Digraph CSPs: a Survey
Lessons Learned from Building and Using the Arjuna Distributed Programming System
Demarcating User eXperience, 15.09. - 18.09.2010
An Introduction to the Tool Ticc
An In-Memory XQuery/XPath Engine over a Compressed Structured Text Representation
Specificity of Protein-DNA Interactions
Notes on the demonstration of the formation of a new "symbol"
Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, 7.-12. August 2005
Software Visualization for Reverse Engineering
Computational Treatment of Temporal Notions - The CTTN-System
Methods to Measure Map Readability
Abstraction, ontology and task-guidance for visual perception in robots
Integrity Constraints in (Conceptual) Database Models
Perspectives Workshop: Peer-to-Peer Mobile Ad Hoc Networks - New Research Issues, 9.-12. April 2005
Scenario-Based Statistical Testing of Quality of Service Requirements
Aesthetics of Mundane Interactions
06231 Abstracts Collection - Towards Affordance-Based Robot Control
08091 Abstracts Collection - Logic and Probability for Scene Interpretation
08451 Abstracts Collection - Representation, Analysis and Visualization of Moving Objects
Efficient Algorithms for Global Optimization Methods in Computer Vision - International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20-25, 2011, Revised Selected Papers
Using Filtered Cartesian Flattening and Microrebooting to Build Enterprise Applications with Self-adaptive Healing
Complete Interval Arithmetic and Its Implementation on the Computer
Integrating Monitoring and Modeling to a Performance Evaluation Methodology
05191 Abstracts Collection - Graph Drawing
04391 - Semantic Interoperability and Integration: Executive Summary
Capacity Constrained Routing Algorithms for Evacuation Route Planning
The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006
Management of Inconsistencies in Data Integration
Asymmetric Similarity Measures for Video Summarisation
AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects
07191 Summary -- Event Processing
On the Intertwining of Social and Technical Factors in Software Development Projects
VELOS - A VR Environment for Ship Applications: Current Status and Planned Extensions
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation
An Agent Based Approach for the Decentralised Compensation of Business Processes
New statistical algorithms for clinical proteomics
Analyzing various models of Circadian Clock and Cell Cycle coupling
Collinearity and Weak Collinearity in the Digital Plane
Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005
07491 Executive Summary - Mining Programs and Processes
Attending to Motion: an object-based approach
06221 Dagstuhl Report - Computational Aesthetics in Graphics, Visualization and Imaging
Epistemic Norms in a Nutshell
Optimizing Return-On-Investment (ROI) for Empirical Software Engineering Studies Working Group Results
Methodological Issues in Model-Based Testing
Nature-Inspired Wireless Sensor-Actuator-Networks
Short Tutorial: Getting Started With Ipopt in 90 Minutes
Monitor and Control System of Distributed Data Exchange in MANETs for Dissaster Scenarious