yusuke1997/dblp-id-title huggingface dataset:
Interpreting Place Descriptions for Navigation Services
Geometric Modeling, 29.05. - 03.06.2005
Diameter of Polyhedra: Limits of Abstraction
Insights emerged while comparing three models for global computing
Learning Causality and Intentional Actions
Mensch-Maschine-Schnittstelle
09261 Abstracts Collection - Models and Algorithms for Optimization in Logistics
Patient-Specific Mappings between Myocardial and Coronary Anatomy
Segmented Iterators and Hierarchical Algorithms
Competitive Analysis of Paging
Uncertainty in Self-Adaptive Software Systems
04101 Summary - Language Engineering for Model-driven Software Development
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints
Image Content Analysis and Description
SoftwareTesting with Active Learning in a Graph
Graphs in Software Visualization - Introduction
Sublinear Algorithms, 17.07. - 22.07.2005
B-tree indexes for high update rates
Discrete-Continuous Optimization for Optical Flow Estimation
On the Mathematical Foundations of Semantic Interoperability and Integration
A Cartesian Closed Extension of the Category of Locales
The Empirical Paradigm Introduction
07212 Abstracts Collection -- Constraint Databases, Geometric Elimination ang Geographic Information Systems
Declarative Update Policies for Nonmonotonic Knowledge Bases
On Singular Interval Systems
A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems
Iterate Logic
Reaching out for Commitments: Systems Development as Networking
Globalizing Domain-Specific Languages - International Dagstuhl Seminar Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers
Error-Free Transformation in Rounding Mode toward Zero
Population models from PEPA descriptions
3D Scene Reconstruction by Stereo Methods for Analysis and Visualization of Sports Scenes
Towards a Semantic Grid Architecture
Parallel Computation: MM +/- X
Recent Results on the Algebraic Approach to the CSP
Error Containment in the Presence of Metastability
The Combinatorics of (S, M, L, XL) or the best fitting delivery of T-shirts
06401 Abstracts Collection - Complexity of Constraints
Expressing and Verifying Business Contracts with Abductive Logic Programming
Adaptation of Learning Spaces: Supporting Ubiquitous Learning in Higher Distance Education
An Application of Wavelet Theory to Early Breast Cancer
08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications
Efficient Evaluation of Numerical Preferences: Top k Queries, Skylines and Multi-objective Retrieval
Quantitative Information Flow Analysis in Isabelle
Residential oriented customer premises network based on ATM principles
Syntax and Semantics of Hybrid Database Languages
09181 Abstracts Collection - Sampling-based Optimization in the Presence of Uncertainty
Developing Cognitive Functions in Self-Optimizing Systems with Solution Patterns
And Now For Something Completely Different...
Modeling and Validating Norms
A Reuse Culture for Software Construction
Fast Component-By-Component Construction of Rank-1 Lattice Rules for (Non-)Primes (Part II)
Constraint Satisfaction Problems with Infinite Templates
The Methodology of Modal Constraints
On the Design of Simple Multi-unit Online Auctions
On Foundational Categories in Software Development
Clone Detector Use Questions: A List of Desirable Empirical Studies
A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity
Roadmapping Working Group 3 Results
Cross-Display Input Device for Co-located Collaborative Work
Extracting Visibility Information by Following Walls
Distributed Control of Microrobots for Different Applications
Erlangian Approximation to Finite Time Ruin Probabilities in Perturbed Risk Models
Enabling conditions for interpolated rings
Interactive Information Retrieval, 01.03. - 06.03.2009
Hierarchical exploration of large multivariate data sets
Performance Analysis of Concurrency Control Methods
Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT)
07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services
Execution-Time Plan Management for a Cognitive Orthotic System
The Road to Utopia: A Future for Generative Programming
Design and Primitive Specification for Shannon
Proving the PCP-Theorem
Rechnerarchitektur
07341 Abstracts Collection - Code Instrumentation and Modeling for Parallel Performance Analysis
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?
Regular Approximation of Computation Paths in Logic and Functional Languages
Balancing Technology, Organization, and Process in Inner Source
Content Generation for Serious Games
Social Web Communities, 21.09. - 26.09.2008
Basic External Memory Data Structures
Ambiguity and Multiplicity in Music Representation
08381 Executive Summary - Computational Complexity of Discrete Problems
Structure and Constraints in Interactive Exploratory Algorithm Learning
Autonomous Fast Learning in a Mobile Robot
Integration von heterogenen Komponenten des Umweltinformationssystems (UIS) Baden-Württemberg
What Doesn't Fit: The "Residual Category" as Analytic Resource
Design and Implementation of Process-Oriented Environments with Brokers and Services
Towards a Vision System for a Domestic Robot
Multimodal Interaction for Ambient Assisted Living (AAL)
09111 Abstracts Collection - Computational Geometry
Feature tracking with skeleton graphs
Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010
Reflective lambda-Calculus
Software Engineering Still on the Way to an Engineering Discipline
Video Processing and Computational Video - International Seminar, Dagstuhl Castle, Germany, October 10-15, 2010. Revised Papers
05291 Abstracts Collection -- Sublinear Algorithms
Representing and Modeling Collaborative Practices for Systems Development
Statistical Tests for Key Recovery Using Multidimensional Extension of Matsui's Algorithm 1
Web Application Security, 29.03. - 03.04.2009
Abstraction of Process Specifications
Social Science Multilevel Simulation with MIMOSE
A practical and secure coercion-resistant scheme for remote elections
Leveraging relational autocorrelation with latent group models
Temporal information extraction from legal documents
07411 Executive Summary -- Algebraic Methods in Computational Complexity
Software Development in PVS Using Generic Development Steps
05151 Summary - Annotating, Extracting and Reasoning about Time and Events
Applicability of Temporal Data Models to Query Multilevel Security Databases: A Case Study
08071 Abstracts Collection -- Scheduling
Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments - Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22-27, 2015, Revised Contributions
Temporal Multivariate Networks
Reconstruction of Surfaces from Three-Dimensional Point Clouds
Sandbox Learning: Try without error?
Supporting continuous media applications in a micro-kernel environment
Service-Oriented Visualization of 3D Geovirtual Environments based on Standards and Images
Introduction to the Maximum SolutionProblem
Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract)
Extending Empirical Studies to Cover More Realistic Industrial Development and Project Management Issues
Complexity of Boolean Functions, 12.03. - 17.03.2006
Interactive Mathematical Documents on the Web
Constraint Oriented Temporal Logic Specification
Resource Management in BPMN
Shape Analysis via Monotonic Abstraction
09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems
Scheduling, 10.02. - 15.02.2008
Performance Evaluation of Multiresolution Isosurface Rendering
An Object Model for Distributed and Concurrent Programming Based on Decomposition
09101 Abstracts Collection - Interactive Information Retrieval
A mathematical approach towards hardware design
On the Notion of Genre in Digital Preservation
Learning with Local Models
Declarative Frameworks for Inheritance
03411 Abstracts Collection - Language Based Security
Efficient Exact Motion Planning in Realistic Environments
Operating System Support for High-Performance Architectures
Projective Reconstruction from Multiple Uncalibrated Images
Aspects of Higher-Order Pushdown Systems - Infinite Regular Games and Strategies
Tools for Test Case Generation
08391 Working Group Summary - Analyzing Tag Semantics Across Tagging Systems
Selecting, Implementing, and Measuring Methods to Improve the Software Development Process
Software Engineering Models, Using and Reusing
Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM)
Compressive Rendering of Multidimensional Scenes
Decidability of S1S and S2S
omega-Automata
Perspectives Workshop: Preventing the Brainware Crisis, 31.03. - 03.04.2009
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997
Belief merging, judgment aggregation and some links with social choice theory
A Pie That Can't Be Cut Fairly (revised for DSP)
Parallel Job Scheduling: A Performance Perspective
Software Engineering Processes for Self-Adaptive Systems
Solving Classical String Problems an Compressed Texts
Cell projection of meshes with non-planar faces
Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning
Privacy and Reciprocity in Sensor-Networks
04261 Abstracts Collection - Algorithmic Methods for Railway Optimization
The Atomic Manifesto: a Story in Four Quarks
Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers
Assistive Technology for Successful Aging: Perspectives from Developmental Behavioral and Neuroscience
Data Structures, 22.-27. February 2004
Digital Lines and Digital Convexity
Artificial and Computational Intelligence in Games
Handling Sensing Failures with Partial Causal Models
Localize Me!
Improving the Decoding Efficiency of Private Search
Foundations of Semistructured Data, 6.-11. February 2005
Revealed preference, iterated belief revision and dynamic games
Runtime Analysis of Binary PSO
Propositional Relevance through Letter-Sharing: Review and Contribution
Games for Health
PDL with Intersection and Converse is 2EXP-complete
Analysis of Robust Soft Learning Vector Quantization and an application to Facial Expression Recognition
08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations
Comparative Visualization Using Cross-Mesh Field Evaluations and Derived Quantities
Machine learning approaches to statistical dependences and causality, 27.09. - 02.10.2009
The Road from Panama to Keccak via RadioGatún
Atomicity in System Design and Execution, 25.04. - 30.04.2004
(Semi-)Automated digital preservation archives for small institutions and private users
Progressive automation to gain appropriate trust in management automation systems
Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007
Disruption Tolerant Networking, 3.-6. April 2005
06201 Abstracts Collection -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery
Computational Aspects of the Resolution of Singularities
Auction Design with Avoidable Fixed Costs: An Experimental Approach
Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems
High-accuracy peak picking of proteomics data
Feature-Based Assembly for Aeronautics Design
Ontology-Based Interactive Information Extraction
Interkonnektionsarchitektur für Multicomputer
Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises
Creating Proper Media Objects for Computer Supported Learning-Environments
Batch renewal process: exact model of traffic correlation
On Average P vs. Average NP
On Layering Directed Acyclic Graphs
Goal, Question, Metric
Feature-Modelling - Design by Feature
Reorienting
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work
Multi-Version Program Analysis, 26. June - 1. July 2005
Quality of Service Modeling Language
Stabilizing Consensus with the Power of Two Choices
A New Approach on Many Objective Diversity Measurement
Dualities for Constraint Satisfaction Problems
Generic modelling of code clones
Code generation based on trellis diagrams
Web Information Retrieval and Linear Algebra Algorithms, 11.02. - 16.02.2007
05142 Executive Summary - Disruption Tolerant Networking
Tackling the RPC-Memory Specification Problem with I/O Automata
An Algebraic Specification of the Steam-Boiler Control System
Denial of Information Attacks in Event Processing
Synthesising Research Results
The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007]
Evaluating Stationary Distribution of the Binary GA Markov Chain in Special Cases
Distribution Free Statistics for Segmentation
08332 Abstracts Collection - Distributed Verification and Grid Computing
Effective Use of TimeBank for TimeML Analysis
GerManC - Towards a Methodology for Constructing and Annotating Historical Corpora
Many-to-Many Feature Matching in Object Recognition
A Generalised Segment Concept
Canonical Derivaitons for High-Level Replacement Systems
Boolean Property Encoding for Local Set Pattern Discovery: An Application to Gene Expression Data Analysis
Algorithms for Optimization with Incomplete Information, 16.-21. January 2005
Representing preferences in the possibilistic setting
Research with Collaborative Unmanned Aircraft Systems
Visualization of Complex Software Systems
I/O-automata Based Testing
A Client-Server System for the Visualisation of Algebraic Surfaces on the Web
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods
Task-Achieving Agents on the World Wide Web
05191 Open Problem Session Report
MOSES: A Platform for Experimenting with QoS-Driven Self-Adaptation Policies for Service Oriented Systems
07411 Abstracts Collection -- Algebraic Methods in Computational Complexity
Performance of Client/Server Systems
Rowing to Barbados
A Tutorial on Evolutionary Multi-Objective Optimization (EMO)
Intelligent Integration and Dissemination of Services in a Smart Environment
SUCHTHAT - Generic Programming Works
Multiple Precision Interval Packages: Comparing Different Approaches
Multi-Domain Integration with MOF and extended Triple Graph Grammars
Metamodel-based Technologies for the Development of Optical Nanostructures
A dynamically adaptive, unstructured multicast overlay
The Grand Challenges and Myths of Neural-Symbolic Computation
Building Biologically-Inspired Self-Adapting Systems
08102 Outcome Working Group -- Situational Awareness
Policies: Giving Users Control over Calls
On Patterns for Decentralized Control in Self-Adaptive Systems
Uniqueness of Optimal Mod 3 Circuits for Parity
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis
A Cognitive Perspective on Spatial Context
Design and Analysis of Randomized and Approximation Algorithms, 11.05. - 16.05.2008
Auditory Representation of Scientific Data
A Reconfigurable Outer Modem Platform for Future Communications Systems
Using HyTech to Synthesize Control Parameters for a Steam Boiler
A Self-Applicable Supercompiler
Power Assignment in Radio Networks with Two Power Levels
04441 Working Group - Research Issues in Mobile Transactions
Mainframe Systems
Self-Healing Systems: Foundations and Challenges
Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005
VDM Specification of the Steam-Boiler Control Using RSL Notation
Self-Organized Network Optimization via Placement of Additional Nodes
Common Foundations for belief revision, belief merging and voting
Hierarchies Relating Topology and Geometry
Competitive Strategies for Autonomous Systems
05031 Summary-- Algorithms for Optimization with Incomplete Information
Dependently Typed Programming, 12.09. - 17.09.2004
Interactive Multiobjective Evolutionary Algorithms
Topologically-accentuated volume rendering
Certified mathematical hierarchies: the FoCal system
Some Algorithmic Problems in Polytope Theory
Robustness and Accuracy of Bayesian Information Fusion Systems
Representation, Analysis and Visualization of Moving Objects, 05.12. - 10.12.2010
Ontologies and Schema Languages on the Web
The Role of Haptic Devices for an efficient Integration of Design, Simulation and Analysis
Interactive Multiobjective Optimization from a Learning Perspective
Practical Aspects of Specialization of Algol-like Programs
On-line Load Balancing
Benefits of System Simulation for Automotive Applications
Model Learning and Model-Based Testing
Crowdsourcing Versus the Laboratory: Towards Human-Centered Experiments Using the Crowd
Discovering Implicit Relationships in a Web of Contexts
2D Human Pose Estimation in TV Shows
CSG Based Collison Detection
"Yes - What Does That Mean?" Understanding Distributed Requirements Handling
10191 Executive Summary - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond
Proof Presentation
The DD&P Robot Control Architecture (A Preliminary Report)
Empirical Software Engineering Research Roadmap Discussion and Summary
P2P MANET's - New Research Issues
Ontology Merging with Formal Concept Analysis
Informatik in den technischen Disziplinen
Abstract Interpretation of Graph Transformation
Ontology-based Extraction of Transcription Regulation Events
Cluster-Based Generation of Hierarchical Surface Models
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs
Dynamically Adaptive Data Quality Web Services
Mobile Business and Services - A systematic, business oriented approach
10241 Abstracts Collection - Information Visualization
Co-testability Transformation
Embedding a Hardware Description Language in Template Haskell
Visual Analytics Methods for Large-Scale Analysis of Information Dynamics in News Streams
Static Analysis-Based Validation of Floating-Point Computations
Cognitive Vision Needs Attention to Link Sensing with Recognition
Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007
Some Notes On "When is 0.999... equal to 1?"
Ranked representation of vector fields
Convergence of iterative aggregation/disaggregation methods based on splittings with cyclic iteration matrices
Humanitarian Supply Chain Management - An Overview
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation
Augmented Reality 2.0
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning
A geometry of information, II: Sorkin models, and biextensional collapses
Iterated Belief Change and the Levi Identity
Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors
Advances in Component-based System Design and Partial Run-time Reconfiguration
Service Level Agreements in Grids, 22.03. - 27.03.2009
Tools and Techniques for Social Science Simulation [Dagstuhl Seminar, May 5-9, 1997]
06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice
Quasi-Monte Carlo, Monte Carlo, and regularized gradient optimization methods for source characterization of atmospheric releases
Prediction Markets: How Do Incentive Schemes Affect Prediction Accuracy?
Vis-à-Web: An On-line Distributed Visualization Service
08361 Abstracts Collection - Programming Multi-Agent Systems
Models, Processes and Algorithms: Towards a Simulation Toolkit
Multiplikation mit Schwellenwertbausteinen aus persönlicher Sicht
Evolving Logical Specification in Information Systems
Automata for Guarded Fixed Point Logics
Variational Design in Electrical Engineering - An Extension of Parametric Modeling
Squeezing Intermediate Construction in Equational Programs
06031 Abstracts Collection -- Organic Computing -- Controlled Emergence
10402 Report - Working Group on Communication Patterns
Towards Plenoptic Raumzeit Reconstruction
Computational Complexity of Discrete Problems, 14.09. - 19.09.2008
How to Plan Under Uncertainty, and Use a Logical Action Model, Too
New Algebraic Tools for Constraint Satisfaction
10401 Summary - Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction
Classification of generic shape features for the recognition of specific feature instances
07101 Executive Summary -- Quantitative Aspects of Embedded Systems
04421 Abstracts Collection - Algebraic Methods in Computational Complexity
Compactness in apartness spaces?
Model-based user interface adaptation
A Proposal to add Interval Arithmetic to the C++ Standard Library
From belief change to preference change
Composing Web-service-like abstract state machines (ASM)
Complexity of Constraints, 01.10. - 06.10.2006
Lifelong Planning for Mobile Robots
Informationsaustausch basierend auf STEP
07112 Abstracts Collection - Cutting, Packing, Layout and Space Allocation
Trust Mechanisms and Reputation Systems
Knowledge-Based Agent Societies
Better Ways to Cut a Cake - Revisited
Exploiting prior knowledge in Intelligent Assistants - Combining relational models with hierarchies
HAM: Cross-cutting Concerns in Eclipse
Symmetric Cryptography, 07.01. - 12.01.2007
30 Years of Multidimensional Multivariate Visualization
Novel Approaches to Numerical Software with Result Verification
The Dagstuhl Core
08161 Abstracts Collection - Scalable Program Analysis
09351 Abstracts Collection - Information processing, rational belief change and social interaction
09072 Executive Summary - Bandwidth on Demand
The Experimental Method as an Evaluation Tool in Serious Games Research and Development
Detection of Plagiarism in University Projects Using Metrics-based Spectral Similarity
BiCEP - Benchmarking Complex Event Processing Systems
Effective Data Interpretation
Introduction to Security Metrics
Error Bounds for Lanczos Approximations of Rational Functions of Matrices
Meta-User Interfaces for Ambient Spaces: Can Model-Driven-Engineering Help?
Challenges for Multi-function SoC Scheduling and Assistive Living Services
Searching in text databases with non-standard orthography
08391 Abstracts Collection - Social Web Communities
Computational Counting, 28.11. - 03.12.2010
Information Dissemination in Urban Wireless Vehicular Networks
Quantitative and Qualitative Analysis of Network Protocols, 31.01. - 05.02.2010
Modal-µ-Maude: Specification and Properties of Concurrent Objects
10491 Results of the break-out group: Movement Data of Vervet Monkeys
Approximation and Visualization of Pareto Frontier in the Framework of Classical Approach to Multi-Objective Optimization
Fluid Flow Visualization
Focus on Scientific Visualization, Dagstuhl, Germany, August 26-39, 1991
Next Generation Operating Systems Architecture
10241 Executive Summary - Information Visualization
Computational Steering and the SCIRun Integrated Problem Solving Environment
A Human-Like Robot Hand and Arm with Fluidic Muscles: Biologically Inspired Construction and Functionality
Semantics of Full Statecharts Based on Graph Rewriting
04231 Abstracts Collection - Scheduling in Computer and Manufacturing Systems
Meme Media Architecture for Intuitively Accessing and Organizing Intellectual Resources
Form and Content in Sensor Networks, 18.09. - 23.09.2005
Volume Synthesis Principles
On Probabilistic Time versus Alternating Time
The Hofmann-Mislove Theorem for general topological structures
Modelling Greening Investors: Economic Development, Opinion Formation, and Technological Change in a Multilevel Simulation Model
A DSL Paradigm for Domains of Services: A Study of Communication Services
09141 Executive Summary - Web Application Security
New forms of Human-Computer Interaction for Visualizing Information
Minimal Ownership for Active Objects
Computer Vision: Past and Future