yusuke1997/dblp-id-title huggingface dataset:
Interval Arithmetic and Standardization
Praktische Fragen hierarchisch gegliederter Flächensysteme und deren Visualisierung
04461 Summary - Practical Approaches to Multi-Criterion Optimization
Improving Architecture-Based Self-Adaptation through Resource Prediction
CAD Tools and Algorithms for Product Design [Dagstuhl Seminar, November 1998]
Parallel Unification Machine Design and Simulation
Multidimensional Peptide/Protein Analysis and Identification by Sequence Database Search Using Mass Spectrometric Data
Presenting Data from Experiments in Algorithmics
ODESGS, an Environment for the Annotation and Design of Grid Environments
Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering
Model-theoretic Approaches to Semantic Integration (Extended Abstract)
Metaphern in der Fachkommunikation und der Modellbildung der Informatik
Interactive Multiobjective Optimization Using a Set of Additive Value Functions
An XML Framework for Integrating Continuous Queries, Composite Event Detection, and Database Condition Monitoring for Multiple Data Streams
Write Once, Deploy N: a Performance Oriented MDA Case Study
Data-Driven Sound Track Generation
Efficient Non-spatial and Spatial Simulation of Biochemical Reaction Networks
Einsatz eines Standardwerkzeugs zur Visualisierung von Umweltdaten - erste Erfahrungen und Ausblicke
Some (Provocative) Consideration About Preservation, Systems and Perfect Wolrds (Using a Lot of Quotes)
On the performance of networks carrying multimedia traffic
06301 Summary -- Duplication, Redundancy, and Similarity in Software
On the Complexity of Paraconsistent Inference Relations
08441 Abstracts Collection - Emerging Uses and Paradigms for Dynamic Binary Translation
Making Specifications Complete Through Models
Applications of semantic similarity measures
06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems
What Not to Do When Writing an Interpreter for Specialisation
Preorder Relations
3D Reconstruction and Video-Based Rendering of Casually Captured Videos
Integrity Constraints: Semantics and Applications
07131 Abstracts Collection -- Similarity-based Clustering and its Application to Medicine and Biology
Web Systems Design with Process-based Self Adaptive Behavior
Cryptography 2000±10
08141 Abstracts Collection - Organic Computing - Controlled Self-organization
Statistical Mechanics of On-line Learning
Service-Oriented Architecture and (Multi-)Agent Systems Technology, 10.01. - 15.01.2010
Competitive Solutions for On-line Financial Problems
A Visualization-Based Model for a Scientific Database System
08102 Working Group -- Requirements for Network Monitoring from an IDS Perspective
Compiling for Massively Parallel Machines
The impact of sensor-enhanced regional health information systems
05221 Report of the Dagstuhl seminar on - Geometric Modelling
A System for Distributed Simplification-Based Theorem Proving
Protection and Security Issues for Future Systems
Prioritized Conditional Imperatives: Problems and a New Proposal
Complex Relationships for the Semantic Web
The Representation of Rigid Body Motions in the Conformal Model of Geometric Algebra
The Complexity of Reasoning for Fragments of Autoepistemic Logic
Development of a Flexible, Locatable and Safe Radio Platform
Service Oriented Computing: Service Foundations
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor
09481 Abstracts Collection - SYNCHRON 2009
Software Practice Is Social Practice
Novel Interaction Techniques for Information Seeking
Theory and Generality of Complete Traversals
From Algorithm to Program to Software Library
Implementation and performance analysis of a mac protocol for an ATM network
Collaborative Exploration of Unknown Environments with Teams of Mobile Robots
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis
Enabling Task-Centered Knowledge Support through Semantic Markup
Introduction to Evolutionary Multiobjective Optimization
Basics of Galois Connections
Image-Guided Robotic Radiosurgery
Extending Graph Rewriting with Copying
Dynamically Reconfigurable Systems-on-Chip
Modeling and Aspect Weaving
Management and Conflation of Multiple Representations within an Open Federation Platform
A Software Library for Reliable Online-Arithmetic with Rational Numbers
Software Visualization and Education - Introduction
ModelLAND: Where Do Models Come from?
Interpolants Induced by Marching Cases
Drawing Clusters and Hierarchies
Derivation of Motion Characteristics Using Affine Shape Adaptation for Moving Blobs
A Taxonomy on Component-Based Software Engineering Methods
Using Competition Between Task Constraints to Scale the Dynamical Systems Approach to Planning and Control
Real-World Semantics of Conceptual Models
08451 Minutes of Open Problems Session
Constructive Proofs or Constructive Statements?
Self-Organizing Data Structures
Partitioned Image-Based Visual Servo Control: Some New Results
Discrete Polyhedrization of a Lattice Point Set
Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context
Software Development Support for Ambient Assisted Living
On-line Algorithms in Machine Learning
Diagrammatic logic and exceptions: an introduction
10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network Protocols
Peer-to-Peer vs. the Internet: A Discussion on the Proper and Practical Location of Functionality
Injecting Distribution in CASL
07341 Executive Summary - Code Instrumentation and Modeling for Parallel Performance Analysis
Abel and the Concept of the Genus of a Curve
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
Leitplanung für ein Informationsmanagement von Umweltbehörden
Interaction in the Visualization of Multivariate Networks
Towards bounded wait-free PASIS
Introduction to Inconsistency Tolerance
Impact of Human Mobility on Communications: Measurement, Analysis, Modeling, and Simulation, 06.10. - 09.10.2010
Workshop "Trustworthy Software" 2006, Saarland University, Saarbrücken, Germany, May 18-19, 2006
Dynamic Environmental Modeling by the C-Tree
Component-Oriented Behavior Extraction for Autonomic System Design
From Grid Middleware to Grid Applications: Bridging the Gap with Hocs
Cognitive Vision Systems: From Ideas to Specifications
Invariante Gütekriterien im Kurvendesign
Parallel Approaches for Multiobjective Optimization
Future Challenges in Proteomics
Promise Problems and Guarded Access to Unambiguous Computation
08351 Summary - Evolutionary Test Generation
Robot Bouncing: On the Synergy Between Neural and Body-Environment Dynamics
Application of Graph Transformation for Automating Web Service Discovery
The Logic of Bargaining
The PageRank Axioms
Wirtschaftsinformatik
Visual Computing - Convergence of Computer Graphics and Computer Vision
Automatic Generation of Runtime Failure Detectors from Property Templates
06241 Abstracts Collection - Human Motion - Understanding, Modeling, Capture and Animation. 13th Workshop
10301 Executive Summary and Abstracts Collection - Service Value Networks
Beneath-and-Beyond Revisited
CodeVoting: protecting against malicious vote manipulation at the voter's PC
Subdiscriminant of symmetric matrices are sums of squares
10372 Abstracts Collection and Report - User-Centric Networking
Longitudinal Studies in Evidence-Based Software Engineering
Graphische Datenverarbeitung und Visualisierung
Experiments and Measurements for Systems Integration
A TLA Solution to the RPC-Memory Specification Problem
Visualisierung von Vektor- und Tensorfeldern
Correct Transformational Design of Concurrent Search Structures
Foundations of Algorithm Engineering
Context-sensitive User Interfaces for Ambient Environments: Design, Development and Deployment
Nichtklassische Logik - robuste Logik
Part IV. Tools and Case Studies
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution
Resilience Assessment and Evaluation, 18.07. - 23.07.2010
Tracking Lines in Higher Order Tensor Fields
Detecting Local Patterns, 12.04. - 16.04.2004
Service Oriented Computing (SOC), 15.-18. November 2005
The future synergy of computer modelling and smart technologies in sport
Towards a Denotational Semantics for TimeML
Assessing an approximation algorithm for the minimum fill-in problem in practice
10491 Results of the break-out group: Visualisation
Application of Connectionist Models to Fuzzy Inference Systems
Approximating Solution Structure
Measurement-based Analysis of Networked System Availability
08331 Manifesto - Model Engineering for Complex Systems
Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Verification of MPI-based Computations
Towards Understanding Meme Media Knowledge Evolution
Foundations for Forgery-Resilient Cryptographic Hardware, 05.07. - 08.07.2009
Five things I believe about the aesthetics of interaction design
Combining Discrete and Continuous 3D Trackers
SMASS: A Sequential Multi-Agent System for Social Simulation
Considerate Code Selection
Fast methods for computing isosurface topology with Betti numbers
Minimizing Absolute Gaussian Curvature Locally
Digital Historical Corpora - Architecture, Annotation, and Retrieval, 03.12. - 08.12.2006
04161 Abstracts Collection - Detecting Local Patterns
07041 Working Group - Towards Interfaces for Integrated Performance and Power Analysis and Simulation
You Did It on Purpose! Towards Intentional Embodied Agents
Robust Multi-Person Tracking from Moving Platforms
Reasoning about Robot Actions: A Model Checking Approach
Fault Characterization and Diagnosis in Distributed Systems
Friends for Free: Self-Organizing Artificial Social Networks for Trust and Cooperation
Delay and Disruption-Tolerant Networking (DTN) II, 08.02. - 11.02.2009
Efficiently Generating Efficient Generating Extensions in Prolog
Static and Dynamic Semantics of the Web
The optimal sequence compression
Notes from the Discussion Group on "Evaluation"
Transactional Memory: From Implementation to Application, 08.06. - 13.06.2008
Information-Based Nonlinear Approximation: An Average Case Setting
Casually Evolving Creative Technology Systems
Cognitive Biases in Negotiation Processes
What does Service-oriented Computing really mean?
Task-Specific Utility Assessment Models and their Role in the Development of Software Engineering Handbooks
Is ATM a continuity or a discontinuity for the lan environment?
An Introduction to Wavelets for Scientific Visualization
Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004
05491 Abstracts Collection -- Spatial Cognition: Specialization and Integration
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data
Sellers Competing for Buyers in Online Markets
A Theory of Termination via Indirection
08371 Abstracts Collection - Fault-Tolerant Distributed Algorithms on VLSI Chips
Flexible Network Design, 24.05. - 28.05.2010
Code Instrumentation and Modeling for Parallel Performance Analysis, 19.08. - 24.08.2007
Parameterized Analysis of Online Steiner Tree Problems
Interactive TV meets Mobile Computing
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
Spatial Evolution of Automata in the Prisoner's Dilemma
Simulation of a Steam-Boiler
06091 Abstracts Collection -- Data Structures
Generic Graph Algorithms
On the Complexity of Holant Problems
08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations
Human perception of audio-visual skew
Grammar-Based Integer Programing Models for Multi-Activity Shift Scheduling
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System
Simulative Performance Evaluation of a Mobile Peer-to-Peer File-Sharing System
From Semantic Search & Integration to Analytics
Structural Relationships among Models
MALDI Mass Spectrometry for Quantitative Proteomics - Approaches, Scopes and Limitations
09051 Abstracts Collection - Knowledge representation for intelligent music processing
Control of Distributed Heterogenous MIMO
What Next? Some Speculations
Cache-Oblivious and Cache-Aware Algorithms, 18.07. - 23.07.2004
Self-Organized Service Placement in Mobile Communication Networks
Drawing on Physical Analogies
Composing Personalised Services on top of Abstract State Services
Perspectives on Program Animation with Jeliot
On-line Scheduling
Managing Energy Efficient and Reliable Communication in Wireless Sensor Networks
10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors
On-line Network Optimization Problems
Bus Scheduling for TDL Components
Numerical Verification Assessment in Computational Biomechanics
A Generic Programming Environment for High-Performance Mathematical Libraries
Erfassung und Darstellung von Waldschadendaten bei Folgeaufnahmen
Analysis of Behavioral Exchangeability of Services
ISR: An Intelligent Service Robot
Gene Regulations and Metabolism - Postgenomic Computational Approaches
Logical Transactions and Serializability
Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Multivariate Social Network Visual Analytics
Logical Particle Filtering
Interpreting Product Update as Reasoning about Observations and Meta-Observations
Simulation and Visualization of Medical Application to the Inner Ear of the Guinea Pig to Reduce Animal Experiments
Nonlinear Transaction Pricing in the Securities Trading Value Chain
Modelling the CoCoME with DisCComp
06431 Working Group Report on Managing and Integrating Data in P2P Databases
Tracking Multiple Moving Objects in Populated, Public Environments
A flexible router platform for next generation network services
05271 - Report on the Dagstuhl Seminar on Semantic Grid - Convergence of Technologies
On the Fairness of Probabilistic Schedulers for Population Protocols
GoPubMed: Exploring Pubmed with Ontological Background Knowledge
Evaluating ontology alignment methods
Computer Presentation of 3-Manifolds
06311 Abstracts Collection -- Sensor Data and Information Fusion in Computer Vision and Medicine
The Evolution of Conceptual Modeling - From a Historical Perspective towards the Future of Conceptual Modeling [outcome of a Dagstuhl seminar held 2008]
08051 Abstracts Collection - Theory of Evolutionary Algorithms
Verified Generic Local Fixpoint Algorithms
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity
PM: Eine Umgebung zur Programmierung verteilter Systeme
Making sense of Design & Requirements Perspectives - & their Inter-relations
A Framework for Change Management of Business Process Models
An efficient fuzzy extractor for limited noise
Software Evolution through Dynamic Adaptation of Its OO Desgin
Equilibria of Iterative Softmax and Critical Temperatures for Intermittent Search in Self-Organizing Neural Networks
A View on the Use of Three Research Philosophies to Adress Empirically Determined Weaknesses of the Software Engineering Process
08102 Working Group -- Intrusion and Fraud Detection for Web Services
07151 Abstracts Collection -- Geometry in Sensor Networks
04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
Markerless Motion Capture for Biomechanical Applications
Tools for Triangulations and Tetrahedrizations
Scientific Visualization of Large-Scale Unsteady Fluid Flows
A Rewrite Approach for Pattern Containment - Application to Query Evaluation on Compressed Documents
Integrating Topology and Geometry for Macro-Molecular Simulations
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
A Survey of Information-Centric Networking (Draft)
What can the Semantic Grid do for Science and Engineering?
Hierarchical Models and Software Tools for Parallel Programming
Modeling and Stability Analysis of the Dynamic Behavior in Load Sharing Systems
Software Measurement and Experimentation Frameworks, Mechanisms, and Infrastructure
Solid Fitting: Field Interval Analysis for Effective Volume Exploration
Scattered-Data-Verfahren
Circuits, Logic, and Games, 07.02. - 12.02.2010
Local Minimax Learning of Approximately Polynomial Functions
09102 Abstracts Collection - Perspectives Workshop: Naming and Addressing in a Future Internet
The Role of Controlled Experiments in Software Engineering Research
Correspondence analysis: visualizing property-profiles of time-dependent 3D
Specification of Dynamics for Knowledge-Based Systems
Algorithms for Core Computation in Data Exchange
A machine learning approach for prediction of DNA and peptide retention times
User-Aware Music Retrieval
06051 Abstracts Collection -- Kolmogorov Complexity and Applications
Making Slicing Mainstream How can we be Weiser?
TTCN-3
Ontology Access Provisioning in Grid Environments
Engineering On-Chip Thermal Effects
Using fast matrix multiplication to solve structured linear systems
Measurement and Model Building Discussion and Summary
CHCL - A Connectionist Infernce System
The Logic of Requirements
Perspectives Workshop, 05.10. - 08.10.2005
Zur Definition eines Umweltinformationssystems
A Rich Services Approach to CoCoME
Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007
The RPC-Memory Specification Problem - Problem Statement
Logik in der Informatik
Optimizing Sequences of Skeleton Calls
Design and Implementation of an Object-Oriented DPR-Framework
Basic Semantic Integration
Human-Centered Visualization Environments, GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Lectures
Aggregation of Empirical Evidence
Part I. Testing of Finite State Machines
Dynamic Services for Assisted Living Environments
Information Systems Research and Information Systems Practice in a Network of Activities
A general framework for unsupervised preocessing of structured data
Effects of Crossover Operations on the Performance of EMO Algorithms
06131 Executive Summary -- Peer-to-Peer-Systems and -Applications
08421 Executive Summary - Uncertainty Management in Information Systems
End-User-Requirement-Driven Design of Wireless Sensor Networks
07491 Abstracts Collection - Mining Programs and Processes
Bootstrapping an interactive information extraction system for FlyBase curation
A Game-Theoretic Approach to Normative Multi-Agent Systems
The Study of Visual Aesthetics in Human-Computer Interaction, 13.07. - 16.07.2008
Minimal Range Assignments for Broadcasts
Probability Logic and Logical Probability
Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus
04441 Working Group - Description and Matching of Services in Mobile Environments
Beyond the Rational Explanation
A New Adaptive Algorithm for Convex Quadratic Multicriteria Optimization
Objects, Agents, and Features: An Introduction
Optimal Mechanisms for Scheduling
Tangible Representations and Modes of Creative Engagement
Local Pattern Discovery in Array-CGH Data
Requirements in the 21st Century: Current Practice and Emerging Trends
Refinement from a Control Problem to Programs
A Robust PTAS for the Parallel Machine Covering Problem
06301 Working Session Summary: Presentation and Visualization of Redundant Code
Dynamic Aspects of Visual Servoing and a Framework for Real-Time 3D Vision for Robotics
Compiler Generation for Interactive Graphics Using Intermediate Code
Evolutionary Test Generation, 24.08. - 29.08.2008
Technisch-wissenschaftliche Kultur und das Beispiel der Informatik
Managing and Mining Genome Information: Frontiers in Bioinformatics, 30. October - 4. November 2005
Local microcode generation in system design
Gene Networks Description and Modeling in the GeneNet System
Experimental research on bilateral negotiations
Quantified Constraints in Twenty Seventeen
Scheduling of Real-Time Tasks with Complex Constraints
Summary of the Results of the Break-out Session "Social Issues around the Semantic Web"
08431 Abstracts Collection - Moderately Exponential Time Algorithms
Agents and Coordination Artifacts for Feature Engineering
On the application of text input metrics to handwritten text input
Computer Simulation and Social Sciences: On the Future of a Difficult Relation
Perspectives Workshop: Network Attack Detection and Defense, 2.3. - 6.3.2008
Human-Agent Co-operation in Accessing and Communicating Knowledge Media - A Case in Medical Therapy Planning
Continued Fractions for Special Functions: Handbook and Software
Organic Computing - Controlled Emergence, 15.01. - 20.01.2006
10501 Abstracts Collection - Advances and Applications of Automata on Words and Trees
Learning Vector Quantization: generalization ability and dynamics of competing prototypes
A New Aesthetic Dsign Workflow - Results from the European Project FIORES
Toward accurate polynomial evaluation in rounded arithmetic (short report)
Spatial Data: mining, processing and communicating, 05.03. - 10.03.2006
Project PARIS: Parallelisation of Inference Systems
Computational Creativity through a Gap
From Local to Global Analysis of Music Time Series
Beyond tool-specific machine descriptions
Knowledge-Based Sampling for Subgroup Discovery
Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops
Microprocessors - 10 Years Back, 10 Years Ahead
Representation and Planning for Behaviour-Based Robots
Hierarchical Representation of Very Large Data Sets Using Wavelets
06311 Executive Summary -- Sensor Data and Information Fusion in Computer Vision and Medicine
Result Verification for Computational Problems in Geodesy
Voice-data integrated channel access for microcellular networks using splitting RRA algorithms
An Approach for Isolated Testing of Self-Organization Algorithms
Data Structures, 17.02. - 22.02.2008
Mobile Peer-to-Peer
Coping with the Past
Mergeable Dictionaries
Operating Systems and Fault-Tolerance
Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar]
Visualization of multidimensional data using structure preserving projection methods
Vertex reconstruction in Cayley graphs
Accounting system for heterogeneous IP-networks (IPNA) implemented at Kaiserslautern University
The Immortality of Operating Systems, or: Is Research in Operating Systems still Justified?
Programmable Networks
High performance access mechanisms for slotted rings
Belief change and dynamic logic
Standard Software for Supply Chain Design and Optimization
Wiener Splines
Arbitrary Shrinkage Rules for Approximation Schemes with Sparsity Constraints
New Applications for Group Computing
Bridging the Gap between Research and Practice in Software Engineering Management: Reflections on the Staffing Factors Paradox
Towards a Video Game Description Language
Data Structures, 26.02. - 03.03.2006
04051 Abstracts Collection - Perspectives Workshop: Empirical Theory and the Science of Software Engineering
Models and Algorithms for Stochastic Online Scheduling
Assessing Solution Quality in Stochastic Programs
05431 Executive Summary - Deduction and Applications
Robust Data Management
Context-oriented Service Computing
Towards Task-Based Temporal Extraction and Recognition
Some Aspects of Finite State Channel related to Hidden Markov Process
Embodied AI as Science: Models of Embodied Cognition, Embodied Models of Cognition, or Both?
The Value of Correlation in Strategic Form Games
Context Dependent Analysis of BioAmbients
Computational Models for Normative Multi-Agent Systems
Flexware: A flexible firmware development environment for embedded systems
Benefits of Bio-inspired Technologies for Networked Embedded Systems: An Overview
Combining Logic and Probability in Tracking and Scene Interpretation
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures
Incorporating Spatial Representations at Multiple Levels of Abstraction in a Replicated Multilayered Architecture
Evolution as ≪Reflections on the Design≫
Improbable Creativity
Evaluating ECAs - What, how and why?
From Quality of Service to Quality of Experience, 05.05. - 08.05.2009
Programming Service Oriented Agents
Algebraic Methods in Computational Complexity, 10.-15. October 2004
Boundary Extraction for Rasterized Motion Planning
FORTES: Forensic Information Flow Analysis of Business Processes