yusuke1997/dblp-id-title huggingface dataset:
Human-centered compression for efficient text input
Using Relations to Solve the RPC-Memory Specification Problem
Reconfiguration Time Aware Processing on FPGAs
06472 Executive Summary -- XQuery Implementation Paradigms
Breaking the ε-Soundness Bound of the Linearity Test over GF(2)
Empirical Software Engineering: Teaching Methods and Conducting Studies
A Descartes Algorithms for Polynomials with Bit-Stream Coefficients
Modification of Recourse Data for Mixed-Integer Recourse Models
Parallel Production Systems
Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers
05241 Abstracts Collection - Synthesis and Planning
Force-Directed Approaches to Sensor Network Localization
05141 Summary - Power-aware Computing Systems
Multiple Viewpoints of Software Models
06121 Report: Break Out Session on Guaranteed Execution
Approximate OWL Instance Retrieval with SCREECH
Epidemic Dissemination in Ad Hoc Networks
Reducing Costly Information Acquisition in Auctions
Denial of Service Protection with Beaver
Case Study: Memory Conscious Parallel Sorting
Algorithm Engineering: Bridging the Gap between Algorithm Theory and Practice [outcome of a Dagstuhl Seminar]
A User-Oriented Approach to Music Information Retrieval
Software Synthesis for real-time information processing systems
The William Harvey Code: Mathematical Analysis of Optical Flow Computation for Cardiac Motion
Optimization at Deutsche Bahn: Aspects and Examples
Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006
Datennetze
Ontology driven voice-based interaction in mobile environment
07431 Abstracts Collection - Computational Issues in Social Choice
A VDM Specification of the Steam-Boiler Problem
10412 Summary and Abstracts Collection - QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning
Random Competition: A Simple but Efficient Method for Parallelizing Inference Systems
Optimal Bidding Strategies for Simultaneous Vickrey Auctions with Perfect Substitutes
Real-Time and Hybrid Systems Testing
Social Thinking - Software Practice
Dependence Cluster Causes
Grundkonzepte und Realisierungsstrategien des ConTract-Modells
Application of Visualization in Environmental Protection
Differential Properties at Singular Points of Parametric Surfaces
New tricks from an old dog: An overview of TEI P5
Comparing the Complexity of Cut-Elimination Methods
Support of Experimentation by Measurement Theory
Complexity Theory: Current Research, Dagstuhl Workshop, February 2-8, 1992
Real Computational Universality: The Word Problem for a class of groups with infinite presentation
System model for UML -- The interactions case
Recent Advances in Range Image Segmentation
Formal Validation of Pattern Matching code
Software Synthesis is Hard - and Simple
Extracting Reusable Product Data
Parallel Completion
The Complexity of Space Boundes Interactive Proof Systems
Informatics - 10 Years Back. 10 Years Ahead
Tales of ER and RE Syntax and Semantics
The Conformal Monogenic Signal of Image Sequences
Using PVS for an Assertional Verification of the RPC-Memory Specification Problem
Mega-modeling the Development of Service-Oriented Enterprise Systems
Lower Bounds and Non-Uniform Time Discretization for Approximation of Stochastic Heat Equations
Introduction to the Flyspeck Project
07191 Abstracts Collection -- Event Processing
Advanced Visualizations of Large Document Collections
An adaptive trust-region approach for nonlinear stochastic optimisation with an application in discrete choice theory
08292 Abstracts Collection - The Study of Visual Aesthetics in Human-Computer Interaction
Normative Multi-Agent Systems, 15.03. - 20.03.2009
Cache Timing Analysis of eStream Finalists
Similarity of Documents Based on the Vector Sequence Model
Audition of Web Services for Testing Conformance to Open Specified Protocols
07161 Abstracts Collection -- Probabilistic, Logical and Relational Learning - A Further Synthesis
False-name-Proof Combinatorial Auction Mechanisms
Die Technisierung der Lebenswelt
Set Based Logic Programming
Network Comparison
Specification and Verification Using a Visual Formalism on Top of Temporal Logic
10341 Report - Insider Threats: Strategies for Prevention, Mitigation, and Response
ASG - Techniques of Adaptivity
How can spatial language be learned?
XPathMark: Functional and Performance Tests for XPath
10141 Summary - Distributed Usage Control
Trustworthy Instantiation of Frameworks
Introduction to Human-Centered Visualization Environments
Formalizing Retrieval Goal Change by Prioritized Abduction
Ablauforientiertes Benutzerinterface für ein geographisches Informationssystem
Visualization for the Mind's Eye
N-gram GP: Early results and half-baked ideas
Optimized XML Data Management for Mobile Transactions
Metainformation über Daten aus der Sicht von Modellen
10421 Abstracts Collection - Model-Based Testing in Practice
08421 Working Group: Lineage/Provenance
Runtime Verification for Wireless Sensor Network Applications
Deontic Epistemic stit Logic Distinguishing Modes of 'Mens Rea'
Implications of VLSI Fault Models and Distributed Systems Failure Models - A hardware designer's view
The Creeping Virtuality of Place
06111 Executive Summary -- Complexity of Boolean Functions
Contracts-Based Control Integration into Software Systems
Novel Visual Metaphors for Multivariate Networks
Code Generation for Embedded Processors [Dagstuhl Workshop, Dagstuhl, Germany, August 31 - September 2, 1994]
A New Quartet Tree Heuristic for Hierarchical Clustering
04021 Abstracts Collection - Content-Based Retrieval
Assimilating knowledge from neuroimages in schizophrenia diagnostics
Packaging for Reuse and Reuse of Models
Human Models for Human-Robot Interaction
An essay on msic-systems
Multivariate matrix-exponential distributions
File System Indexing and Backup
Routing Optimization Using Traffic Prediction
Henselian Local Rings: Around a Work in Progress
Fuzzy Logic Based Objective Function Construction for Evolutionary Test Generation
Challenges in Algorithm Engineering
Heterogeneous Theories and the Heterogeneous Tool Set
Adding Organizations and Roles as Primitives to the JADE Framework
Proof Checking and Non-approximability
Exploiting Domain-Specific Structures For End-User Programming Support Tools
MICSIM: Concept, Developments, and Applications of a PC Microsimulation Model for Research and Teaching
Negotiating Trust on the Grid
Inefficiency of equilibria in query auctions with continuous valuations
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008
Component-based Modeling and Simulation for Smart Environments
On Designing and Composing Grid Services for Distributed Data Mining
Discovery of Sensor Network Layout using Connectivity Information
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction
10021 Executive Summary - Service-Oriented Architecture and (Multi-)Agent Systems Technology
Parallelism through Digital Circuit Design
Exploiting Context in Function-Based Reasoning
07181 Abstracts Collection -- Parallel Universes and Local Patterns
Deduction and Applications, 23.-28. October 2005
Using Domains for Specifying Management Policy
Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems
Two-Dimensional Belief Change
Optimal Approximation of Elliptic Problems II: Wavelet Methods
05381 Executive Summary -- Form and Content in Sensor Networks
07271 Abstracts Collection - Computational Social Systems and the Internet
On the stability of a scoring rules set under the IAC
Collaborative Fraud Detection in Outsourcing Scenarios: Issues of and Solutions for Privacy and Confidentiality
06271 Abstracts Collection -- Challenges in Symbolic Computation Software
Enabling RTR for industry
07401 Executive Summary -- Deduction and Decision Procedures
Deterministic approximation algorithms for the nearest codeword problem
Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes
10491 Summary - Representation, Analysis and Visualization of Moving Objects
08421 Working Group: Report of the Probabilistic Databases Benchmarking
Node Identification Schemes for Efficient XML Retrieval
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software
The Quantum Computing Challenge
Dynamic Context Logic and its Application to Norm
Local Environment Modeling Through Integrated Stereo and Motion Analysis
The MACS Project: An Approach to Affordance-Inspired Robot Control
Visualization in the Multiple Objective Decision-Making Framework
Localizing vector field topology
Local Algorithms: Self-Stabilization on Speed
09251 Abstracts Collection - Scientific Visualization
Saliency Guided Summarization of Molecular Dynamics Simulations
Term Mapping Using Matrix Operations
Summary 2: Graph Grammar Verification through Abstraction
A Taxonomy of Aspects in Terms of Crosscutting Concerns
05462 Summary Report on "Service Design and Development"
The CPR Method and Beyond : Prologue
Stanford Matrix Considered Harmful
Model-Driven Development for End-Users, too!?
Interval Algorithms in Modeling of Multibody Systems
Multiresolution and Adaptive Rendering Techniques for Structured, Curvilinear Data
Challenging Traditions of Inquiry in Software Practice
Program Compression
Insider Threats: Strategies for Prevention, Mitigation, and Response, 22.08. - 26.08.2010
Optimization of Human Motion Exemplified with Handbiking by Means of Motion Analysis and Musculoskeletal Models
Navigation Through Volume Data by Active Vision Methods
Progressive Planning for Mobile Robots (A Progress Report)
Current state of ASoC design methodology
Natural Halting Probabilities, Partial Randomness, and Zeta Functions
Thermal Characterization and Thermal Management in Processor-Based Systems
State Verification
Modeling Multiresolution 3D Scalar Fields through Regular Simplex Bisection
Particle Tracing Algorithms for 3D Curvilinear Grids
Beyond Program Slicing, 06.11. - 11.11.2005
Polymorphisms, and How to Use Them
Satisfiability Allows No Nontrivial Sparsification Unless The Polynomial-Time Hierarchy Collapses
10011 Report - Pervasive Public Displays
Creating incentives to prevent execution failures: an extension of VCG mechanism
Combinatorial Problems in OpenAD
The Dynamics of Database Views
New ECAD System Technology
Specifying and Verifying the Steam-Boiler Problem with SPIN
Test Generation Algorithms Based on Preorder Relations
Weighted L_2 B Discrepancy and Approximation of Integrals over Reproducing Kernel Hilbert Spaces
Coordination as Negotiated Transactions
Deadlocks and Dihomotopy in Mutual Exclusion Models
Model Checking Generic Container Implementations
In-Place Randomized Slope-Selection
07021 Executive Summary -- Symmetric Cryptography
Routing Cars in Rail Freight Service
NLP and Phenotypes: using Ontologies to link Human Diseases to Animal Models
07101 Working Group Report -- Performance Measures Other Than Time
The CoStLy C++ Class Library
Sensor Data and Information Fusion in Computer Vision and Medicine, 30.07. - 04.08.2006
A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State
08081 Abstracts Collection - Data Structures
A Short Note on Social-Semiotic Networks from the Point of View of Quantitative Semantics
A Simple Algorithm for I/O-efficiently Pruning Dense Spanners
06381 Executive Summary -- Computer Science in Sport
Performance Analysis of Database Systems
Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS
Position paper for EUSE 2007 at Dagstuhl
Policy-based Home Care Systems
From Humanoid Embodiment to Theory of Mind
Interpolation for Natural Deduction with Generalized Eliminations
07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services
A simple modal logic for belief revision
08451 Summary Report - Representation, Analysis and Visualization of Moving Objects
Modeling a Semantic Overlay across P2P Collaborative Systems
Minorant methods for stochastic global optimization
Intelligent Robots: Sensing, Modeling and Planning [Dagstuhl Workshop, September 1-6, 1996]
A Model-based Approach for Transparent Experimentation Workflows
Towards an Automated Design of Application-specific Reconfigurable Logic
09121 Abstracts Collection - Normative Multi-Agent Systems
06171 Executive Summary -- Content-Based Retrieval
Algorithm Engineering for Parallel Computation
Software Business, Concurrent Engineering and Experience Factory Relationships
Extending Automata Learning to Extended Finite State Machines
08101 Abstracts Collection - Computational Proteomics
Robot Learning Constrained by Planning and Reasoning
The RPC-Memory Case Study: A Synopsis
Programming self developing blob machines for spatial computing.
04441 Working Group - Business Models
Active-U-Datalog: Integrating Active Rules in a Logical Update Language
Organization of Architectures for Cognitive Vision Systems
Imaging Beyond the Pin-hole Camera. 12th Seminar on Theoretical Foundations of Computer Vision, 13.06. - 18.06.2004
Personalized and Adaptive Serious Games
Querying the Uncertain Position of Moving Objects
Modeling Meta-logical Features in a Calculus with Frozen Variables
Norms and plans as unification criteria for social collectives
Fault-Adaptivity in Hard Real-Time Component-Based Software Systems
Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks
Enclosure for the Biharmonic Equation
A blueprint for deontic logic in three (not necessarily easy) steps
10373 Abstracts Collection - Demarcating User eXperience
08191 Working Group Report - Edge Thresholding
Logic for Computer Science: The Engineering Challenge
N-ary Queries by Tree Automata
Information-Centric Networking, 05.12. - 08.12.2010
Towards UML Modelling Extra-Functional Properties in Web Services and their Clients
Optimization of Spectrum Handoff in Cognitive Radio Ad-Hoc Networks
Multi-Robot Systems: Perception, Behaviors, Learning, and Action, 19.06. - 23.06.2006
From Silver Bullets to Philosophers' Stones: Who Wants to Be Just an Empiricist?
Action Based Object Separation with Situated Agents
Modeling and Verification of Self-Adaptive Service-Oriented Systems
Bayesian Compositional Hierarchies - A Probabilistic Structure for Scene Interpretation
CAx Systems Architecture of the Future
Applications of Fractal Image Encoding
Perspectives Workshop: Service Value Networks, 25.07. - 30.07.2010
'A Science of Design' is a Misled and Misleading Goal
HPC Application Execution on Grids
07261 Abstracts Collection -- Fair Division
Virtual Prototyping - The Integration of Design and Virtual Reality
Towards Affordance-Based Robot Control - International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers
06401 Executive Summary - Complexity of Constraints
Integrated Volume Rendering and Data Analysis in Wavelet Spaces
Synthesis and Probabilistic Analysis of Online Algorithms for Online Buffering Problems
Early requirements engineering for e-customs decision support: Assessing overlap in mental models
Data Placement Strategies for Cloud Platforms
Enriched Classification and Dynamic Tunneling as Elementary Internet Mechanisms
Using Quantum Oblivious Transfer to Cheat Sensitive Quantum Bit Commitment
Graph Drawing, 8.-13. May 2005
06291 Workshop Report: Conversation Patterns
Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006
QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, 10.10. - 13.10.2010
Arguments in TimeML: Events and Entities
10252 Abstracts Collection - Game Semantics and Program Verification
The Value of Empirical Evidence for Practitioners and Researchers
Determinization and Complementation of Streett Automata
Polynomial-Time Algorithms for Multivariate Linear Problems with Finite-Order Weights; Worst Case Setting
Analysis and Construction of Chorematic Diagrams
The Sinkhorn-Knopp Algorithm: Convergence and Applications
Applications of Avatar Mediated Interaction to Teaching, Training, Job Skills and Wellness
Mizar Correctness Proofs of Generic Fraction Field Arithmetic
Towards Analyzing Declarative Workflows
08292 Executive Summary - The Study of Visual Aesthetics in Human-Computer Interaction
Analytical Performance Metrics
Parallel Theorem Provers - An Overview
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC
Informatik und Philosophie [Dagstuhl, 21.-25. September 1992]
Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar]
Hierarchical Control for Navigation Using Heterogeneous Models
SIRIUS-Informationsarchitektur und Integrations-Toolkit für offene Umweltinformationssysteme
Deferment Control for Reoptimization -- How to Find Fair Reoptimized Dispatches
Homing and Synchronizing Sequences
Note on parallel universes
Anonymity Metrics Revisited
Interval Approaches to Reliable Control of Dynamical Systems
Ten Philosophical Problems in Deontic Logic
Negotiation or Auction? The NorA project
Stochastic modelling of cellular growth and division by means of the pi@ calculus
09192 Executive Summary - From Quality of Service to Quality of Experience
MAC Layer and Coloring
General Video Game Playing
Real-time Obstacle and Terrain Mapping for Unmanned Aerial Vehicles
04401 Abstracts Collection - Algorithms and Complexity for Continuous
Simulation and Optimization of Race-Bike Training on Realistic Tracks
Multi-Level Modelling for Systems Biology
What an Agent Ought To Do
A Network Approach to Bayes-Nash Incentive Compatible Mechanisms
Software Engineering in the Years 2000 Minus and Plus Ten
Interesting Problems in Semantic Integration and Interoperability
Quality of service support for protocol processing within endsystems
Structure-Based Compression of Complex Massive Data, 22.06. - 27.06.2008
Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting
Bounds for Approximating MAXLINEQ3-2 and MAXEKSAT
GDS: An Architecture Proposal for a Grid Data-Sharing Service
Outlier detection and ranking based on subspace clustering
Performance Analysis of Storage Systems
Visualization of Analytically Defined Dynamical Systems
Visualization in Algorithm Engineering: Tools and Techniques
Learning-Based Testing: Recent Progress and Future Prospects
Einsatzmöglichkeiten interaktiver Grafik dargestellt am Beispiel eines Kanal-Informationssystems
Countering Insider Threats, 20.07. - 25.07.2008
Generalization of spatial information, 13.04. - 17.04.2009
Envy-free cake divisions cannot be found by finite protocols
Bounds on the Fourier Coefficients of the Weighted Sum Function
Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008
Understanding space in resolution: optimal lower bounds and exponential trade-offs
Algorithms for Centrality Indices
05431 Abstracts Collection - Deduction and Applications
Security and Trust Issues in Semantic Grids
Awareness Requirements
Measurement and Model Building Introduction
CoCoTA - Common Component Task
The Design of the Transis System
07361 Introduction -- Programming Models for Ubiquitous Parallelism
Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization
07131 Summary -- Similarity-based Clustering and its Application to Medicine and Biology
A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing
Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005
Music Information Technology and Professional Stakeholder Audiences: Mind the Adoption Gap
Contemplations on Testing Graph Properties
Integrating Semantics into the Visualization Process
Understanding What we Cannot See: Automatic Analysis of 4D Digital In-Line Holographic Microscopy Data
Security Measurements and Metrics for Networks
Flow Surface Probes for Vector Field Visualization
DeutschDiachronDigital - A Diachronic Corpus of German
The New IEEE-754 Standard for Floating Point Arithmetic
Modelling and Planning for Sensor Based Intelligent Robot Systems [Dagstuhl Workshop, October 24-28, 1994]
Der Einsatz der Visualisierung im Rahmen von betrieblichen Umwelt- und Arbeitsschutz-Managementsystemen
Experimental Software Engineering; Packaging for Reuse
08412 Seminar Outlines and Working Group Summaries
Using Graphics Algorithms as Subroutines in Collision Detection
06431 Working Group Summary: Atomicity in Mobile Networks
Service-Oriented Modeling of CoCoME with Focus and AutoFocus
On Retrieving Skilled Practices: The Contribution of Ethnography to Software Development
Scheduling, 14.02. - 19.02.2010
Assembly Planning Using Symbolic Spatial Relationships
FSL - Fibred Security Language
Techniques and Applications of Deformable Surfaces
Exact-Four-Colorability, Exact Domatic Number Problems, and the Boolean Hierarchy
Fujaba4Eclipse Real-Time Tool Suite
Formulations, Bounds and Heuristic Methods for a Two-Echelon Adaptive Location-Distribution Problem
Reflections on QuestVis: A Visualization System for an Environmental Sustainability Model
Four Metamorphosis States in a Distributed Virtual (TV) Studio: Human, Cyborg, Avatar, and Bot - Markerless Tracking and Feedback for Realtime Animation Control
Text Entry in Augmentative and Alternative Communication
Event Processing, 6.5. - 11.5.2007
Pushing Constraints to Detect Local Patterns
10211 Abstracts Collection - Flexible Network Design
08241 Summary - Transactional Memory : From Implementation to Application
The XQueC Project: Compressing and Querying XML
The Role of Manifold Learning in Human Motion Analysis
Wheels within Wheels: Making Fault Management Cost-Effective
05451 Abstracts Collection -- Beyond Program Slicing
Abstract Graph Derivations in the Double Pushout Approach
Local Features for Image Retrieval
Note on Negative Probabilities and Observable Processes
09491 Abstracts Collection - Graph Search Engineering
Algorithms and Complexity for Continuous Problems, 26. September - 1. October 2004
The SHAvite-3 - A New Hash Function
Parallel Unification: Theory and Implementations
3D Reconstruction of Human Ribcage and Lungs and Improved Visualization of Lung X-ray Images Through Removal of the Ribcage
An Improved Shading Algorithm for Radiosity Based Renderers
Construction Of the Constrained Delaunay Triangulation Of A Polygonal Domain
Decentralized Reconstruction of Continuous Distributed Phenomena based on Discrete Measurements
Scalably Scheduling Processes with Arbitrary Speedup Curves
State Estimation in Distributed Systems
Arbeitsgruppe "Praktische Erfahrungen mit GIS"
Current Status of the EMOO Repository, Including Current and Future Research Trends
From Algebraic Riccati equations to unilateral quadratic matrix equations: old and new algorithms
Reliability vs. Security: A Subjective Overview
Remote Administration and Fault Tolerance in Distributed Computer Infrastructures
Digging out implicit semantics from user interaction
Formal Verification of Abstract SystemC Models
Verification and Validation of Sensor Networks
The Hofmann-Mislove Theorem for general posets
06381 Abstracts Collection -- Computer Science in Sports
Cognitive Information Theories of Psychology and Applications with Visualization and HCI Through Crowdsourcing Platforms
Modelling and Analysis of Agents' Goal-Driven Behavior
Parallel universes to improve the diagnosis of cardiac arrhythmias
A Geometric Multigrid Solver on Tsubame 2.0
04281 Abstracts Collection - Integrative Bioinformatics - Aspects of the Virtual Cell
Proportional Response as Iterated Cobb-Douglas
Inter-program Optimizations for Disk Energy Reduction
Grand Challenges in Discrete Event Logistics Systems
09261 Executive Summary - Models and Algorithms for Optimization in Logistics
Methods for analyzing natural discourse: Investigating spatial language in HRI vs. in a no-feedback web study
Singularities on the World Sheets of Open Relativistic Strings
Potentiality of Parallelism in Logic
On Scene Interpretation with Description Logics
Pre-Scheduling for Synchronization in Hard Real-Time Systems
Model-Based Analysis and Development of Dependable Systems
Towards Distributed Memory Parallel Program Analysis
A Case Study in Goal-Driven Architectural Adaptation
Verification of Solutions for Almost Linear Complementarity Problems
Interactive Visualization of Graph Pyramids
Systematic Software Technology Transfer
Fachübergreifende Integration von Umweltdaten