yusuke1997/dblp-id-title huggingface dataset:
10151 Abstracts Collection - Enabling Holistic Approaches to Business Process Lifecycle Management
10402 Report - Working Group on Security and Privacy
Undirected Exception Rule Discovery as Local Pattern Detection
On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases
Evaluating Coverage Based Testing
10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems
Modeling and Visualization of Cardiovascular Systems
Power-aware Computing Systems, 21.01. - 26.01.2007
Fast polynomial factorization and modular composition
Hadamard Tensors and Lower Bounds on Multiparty Communication Complexity
Electrocardiogram on Wireless Sensor Nodes
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data
Empirical Studies in End-User Software Engineering and Viewing Scientific Programmers as End-Users - Position Statement -
09281 Abstracts Collection - Search Methodologies
A High Performance Totally Ordered Multicast Protocol
Modeling Services for the Semantic Grid
A Logic Primer
10351 Executive Summary - Modelling, Controlling and Reasoning About State
08142 Summary - Combining the Advantages of Product Lines and Open Source
The communication complexity of the Exact-N Problem revisited
User-Centric Networking, 12.09. - 15.09.2010
Maximizing Learning Progress: An Internal Reward System for Development
08102 Working Group -- Measurement Requirements
Ontologies & Text Mining (for Life Sciences)
Increasing Stability of Crew Schedules in Airlines
Ist das Gehirn ein Digitalcomputer?
Topologically Constrained Isometric Embedding
Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs, 08.07. - 13.07.2007
SWORD - Module-based SAT Solving
Dependability in Web Software
Algorithm Animation Systems for Constrained Domains
Algorithms and Complexity for Continuous Problems, 24.09. - 29.09.2006
Perspectives Workshop: Telecommunication Economics, 23.1. - 26.1.2008
Graph Search Engineering, 29.11. - 04.12.2009
Information Retrieval Methods for Multimedia Objects
From Research Software to Open Source
Experimental Model Validation
07011 Executive Summary -- Runtime Verification
Foundations of Global Computing, 20.-25. February 2005
Group Testing in the Life Sciences, 20.07. - 25.07.2008
Generative Programming and Active Libraries
09502 Abstracts Collection - Coalgebraic Logics
Lower Bounds
Proof Theory and Post-turing Analysis
Task Suspension in Agent Systems
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004
"Product Templates" A Parametric Approach to Mass Customization
Multilevel Simulation
Visualizing Spatial Partitions
Localisation, Environmental Modelling and Path Planning for Autonomous Mobile Robot Navigation
Cryptographic Attack Metrics
I/O-Efficient Algorithms for Sparse Graphs
New Developments in the Visualization and Processing of Tensor Fields, 19.07. - 24.07.2009
Function-Based Reasoning for Goal-Oriented Image Segmentation
QUKU: A Coarse Grained Paradigm for FPGAs
Norms in MAS: Definitions and Related Concepts
Block and Stream Ciphers and the Creatures in Between
6D SLAM with Cached kd-tree Search
Strategic Behavior in Multi-unit Assignment Problems: Theory and Evidence from Course Allocations
06431 Abstracts Collection -- Scalable Data Management in Evolving Networks
08102 Executive Summary -- Perspectives Workshop: Network Attack Detection and Defense
Integrated Vehicle Routing and Crew Scheduling in Waste Management (Part I)
Component Synthesis from Service Specifications
On the Computation of Integral Curves in Adaptive Mesh Refinement Vector Fields
Program Analysis with Horn Clauses
Predicting Protein Function and Nworks on a Genomewide Scale
Thinking Tools for the Future of Computing Science
Exception Handling in Web Service Processes
Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30 - November 1, 2005]
Haben Frauen in der Mathematik spezielle Vorlieben oder Begabungen?
Session 4 Summary: (Measurement-Based) Modeling
End-User Software Engineering and Professional End-User Developers
Stochastic Process Algebra Models of a Circadian Clock
Exploiting independence for branch operations in Bayesian learning of C&RTs
Reliability of Service-Based and Agent-Based Systems
Constraint Satisfaction via Partially Parallel Propagation Steps
Scientific Visualization - Methods and Applications
Polynomial Time Approximation Schemes for Geometric Optimization Problems in Euclidean Metric Spaces
Reuse of Legacy Software Components via Decompilation
MutantXL: Solving Multivariate Polynomial Equations for Cryptanalysis
An Experiment on Investor Behavior in Markets with Nonlinear Transaction Fees
Simulating Cooperation and Competition: Present State and Future Objectives
Pseudo Geometric Routing for Sensor Networks
10191 Abstracts Collection - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond
Visualizing the Pareto Frontier
Content-Based Retrieval, 4.-9. January 2004
Partial Polymorphisms and Constraint Satisfaction Problems
Komplexitätstheorie und Algorithmik
Network Visualization: Dynamics, Modes, and Collections
Preference Modelling
XAIRA : software for language analysis
Model-Centric, Context-Aware Software Adaptation
Integration in the Austrian Ozone Network
Prefix-Recognizable Graphs and Monadic Logic
08421 Abstracts Collection - Uncertainty Management in Information Systems
Visual Spatiotemporal Analysis of Movement and Event Data
Approximate fixed points of nonexpansive functions in product spaces
Dense Instances of Hard Optimization Problems
A Future Emulation and Automation Research Agenda
10061 Abstracts Collection - Circuits, Logic, and Games
Frauen und Mathematik - ein Forschungsthema?
Challenges in Symbolic Computation Software, 02.07. - 07.07.2006
Sequencing and Scheduling in Coil Coating with Shuttles
Coalgebraic Logics, 06.12. - 09.12.2009
CAD Systems Development: Tools and Methods [Dagstuhl Seminar, 1995]
On the Complexity of Numerical Analysis
Grøstl - a SHA-3 candidate
09201 Abstracts Collection - Self-Healing and Self-Adaptive Systems
An ILP-based approach to code generation
Neurons and Symbols: A Manifesto
Structured Markov Chains Arising from Finite-Source Retrial Queues with Orital Search
Planning of Fast and Secure Paths in Complex Configuration Spaces Using Simple Primitives
06101 Report -- Spatial Data: mining, processing and communicating
Distance Transformation and Skeletonization of 3D Pictures and Their Applications to Medical Images
An Affine Optical Flow Model for Dynamic Surface Reconstruction
Simple Stochastic Games, Parity Games, Mean Payoff Games and Discounted Payoff Games are all LP-Type Problems
Towards a Service Landscape for a Project Management Dashboard
Computational Issues in Social Choice, 21.10. - 26.10.2007
Distributed Algorithms for Carrying a Ladder by Omnidirectional Robots in Near Optimal Time
Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV
Intent, Form, and Materiality in the Design of Interaction Technology
Generalized Swap Operation for Tetrahedrizations
Requirements Modeling for Embedded Realtime Systems
A Smoothing Descent Method for Nonconvex TV $$^q$$ -Models
The Software Similarity Problem in Malware Analysis
Semantic structures for one-stage and iterated belief revision
06361 Executive Report -- Computing Media Languages for Space-Oriented Computation
Approximation norms and duality for communication complexity lower bounds
AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation
Ten Challenges for Normative Multiagent Systems
Ethical Stewardship: Designing Serious Games Seriously
Robustness and Resilience
Simulation as a Research Strategy
Multilevel Modelling with MIMOSE: Experinece from a Social Science Application
Reasoning about Schema Mappings
Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program
Characterizing Coxian Distributions of Algebraic Degree q and Triangular Order p
Application Issues for Multiobjective Evolutionary Algorithms
Termination of Integer Term Rewriting
Logic Based Approaches to Workflow Modeling and Verification
Model-driven, Moving-Target Defense for Enterprise Network Security
Fine-Grained Semi-automated Runtime Evolution
07171 Summary -- Visual Computing -- Convergence of Computer Graphics and Computer Vision
Surface Interpolation from Cross Sections
Basismechanismen zur Kooperation beim parallelen VLSI-Entwurf
Technischer Zugang zu Umweltinformationen
Software und Softwaretechnik
09091 Executive Summary - Formal Methods in Molecular Biology
Multimodal User Interfaces for a Car Navigation System
Measurement and Interpretation of Productivity and Functional Correctness
Perspectives Workshop: Digital Social Networks, 24.01. - 29.01.2010
08391 Executive Summary - Social Web Communities
08191 Working Group Report - X-graphs of Y-graphs and their Representations
Self-Aware Adaptive Service Networks with Dependability Guarantees
Robot Localization Using Polygon Distances
Algorithms for Parity Games
Some important aspects of Medical and Nursing House Call sustaining Assisted Living of Ageing Population
On the Conversion of Dupin Cyclide into Principal Patches
07181 Introduction -- Parallel Universes and Local Patterns
Color Illustrations
Traffic Information and Dynamic Vehicle Routing in Forwarding Agencies
06481 Abstracts Collection - Geometric Networks and Metric Space Embeddings
10102 Position Statement -- Grand Challenges for Discrete Event Logistics Systems
Remote 3D Medical Consultation
Entwurf und Betrieb verteilter Systeme, Fachtagung des Sonderforschungsbereiche 124 und 182, Dagstuhl, 19.-21. September 1990, Proceedings
Knowledge Representation for Intelligent Music Processing, 25.01. - 30.01.2009
Local Pattern Detection and Clustering
Bio-inspired mechanisms for efficient and adaptive network security mechanisms
Learning How to Combine Sensory-Motor Modalities for a Robust Behavior
Document Structure Analysis for Large Document Collections
From Active Networks to Cognitive Networks
Visualizing Maple Plots with JavaViewLib
Optimal Financially Constrained Bidding in Multiple Simultaneous Auctions
Reference Point Approaches and Objective Ranking
Mind as Machine (extract) and THE CREATIVE MIND: MYTHS AND MECHANISMS (extract)
A Comparison of GAs Penalizing Infeasible Solutions and Repairing Infeasible Solutions on the 0-1 Knapsack Problem
Using evolutionary algorithms to select parameters from equivalence classes
Scientific Visualization on Sparse Grids
A Quantitative Algorithm for Data Locality Optimization
"Continuous" Multifunctions in Discrete Spaces with Applications to Fixed Point Theory
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion
Numerical Methods for Structured Markov Chains, 11.11. - 14.11.2007
Digital Library and Data Grid Technology Group
Analysis of Mojette Transform Implementation on Reconfigurable Hardware
Maintaining Connectivity of Autonomous Agents Using Mobile Ad-hoc Robotic Network
Performance Metrics for Specific Domains
Features in Content-based Image Retrieval Systems: a Survey
Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers
05462 Service-Oriented Computing: A Research Roadmap
Adaptive Generation of Contour Surfaces in Volume Data
Robust and Approximative Algorithms an Particular Graph Classes, 23.05. - 28.05.2004
A Type Theoretic Framework for Formal Metamodelling
Self-management of Distributed Systems Using High-Level Goal Policies
Coloring Graphs On-line
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs
Language Independent Container Specification
Scheduling for Parallel Architectures: Theory, Applications, Challenges
Data Handover: Reconciling Message Passing and Shared Memory
Towards Model Validation and Verification with SAT Techniques
Effective Use of Measurement and Experimentation in Computing Curricula
Auxiliary relations and sandwich theorems
Product Modelling for Design for Manufacture and Design for Assembly
Graphical Robot Simulation within the Framework of an intelligent TeleSensor Programming System
10021 Abstracts Collection - Service-Oriented Architecture and (Multi-)Agent Systems Technology
People Detection in Challenging Real-World Scenes
Interference and Signal-to-Noise-Ratio
On the Interoperability between Interval Software
A Method for Reasoning about other Agents' Beliefs from Observations
05021 Executive Summary -- Mathematics, Algorithms, Proofs
3D Space Framework for the Multi-facet Accessing of Database Records
07401 Abstracts Collection -- Deduction and Decision Procedures
Integration von Umweltdaten, 2. Workshop 1994, 2.-4. Februar 1994, Dagstuhl
ROBIN: Massively Parallel Inferencing and Disambiguation in Structured Connectionist Networks
Description Logics for Conceptual Data Modeling
06141 Abstracts Collection -- Dynamically Reconfigurable Architectures
05141 Abstracts Collection - Power-aware Computing Systems
Software Synthesis, 06.12. - 11.12.2009
Model Development in the UML-based Specification Environment (USE)
From Form to Function, 18.10. - 23.10.2009
07421 Abstracts Collection -- Formal Protocol Verification Applied
10402 Report - Working Group on Fundamental Limits and Opportunities
07281 Open Problems -- Structure Theory and FPT Algorithmcs for Graphs, Digraphs and Hypergraphs
Role-Based Persistence
Performance Characteristics of the World Wide Web
New Directions for IP Core Watermarking and Identification
Optimal Non-approximability of MAXCLIQUE
Approaches to Measuring Inconsistent Information
Segmentation and Length Estimation of 3D Discrete Curves
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021
Survey of Research on Software Clones
Models and Algorithms for Optimization in Logistics, 21.06. - 26.06.2009
10281 Summary - Dynamically Reconfigurable Architectures
Car-to-X Communications
An adaptive model for learning molecular endpoints
10171 Abstracts Collection - Equilibrium Computation
Requirements for and Design of a Processor with Predictable Timing
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)
Practical Techniques for Language Design and Prototyping
Was erklärt uns die Informatik? Versuch einer wissenschaftstheoretischen Standortbestimmung
The Inverse of a Schema Mapping
Semidefinite Programming and Its Applications to Approximation Algorithms
Partial Behavioural Models for Requirements and Early Design
Fault Jumping Attacks against Shrinking Generator
Fault-Tolerant Distributed Algorithms on VLSI Chips, 07.09. - 10.09.2008
Absorption in Universal Algebra and CSP
Experimental Designs for Validating Metrics and Applying them across Multiple Projects
Automation in Digital Preservation, 18.07. - 23.07.2010
09161 Abstracts Collection - Generalization of spatial information
An Algorithm for Feature Finding in LC/MS Raw Data
06172 Abstracts Collection -- Directed Model Checking
Graph Drawing with Applications to Bioinformatics and Social Sciences, 04.05. - 09.05.2008
In Praise of Evolution and Opacity
A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction
Uniform Constraint Satisfaction Problems and Database Theory
UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems
Data Structures, 28.02. - 05.03.2010
Educational Objectives for Empirical Methods
07221 Executive Summary - Information Visualization - Human-Centered Issues in Visual Representation, Interaction, and Evaluation
Language-Based Security, 5.-10. October 2003
The STL Model in the Geometric Domain
Normal = Normative? The Role of Intelligent Agents in Norm Innovation
Mobility Components for Unmanned Ground Vehicles
10081 Abstracts Collection - Cognitive Robotics
The EAST-ADL Architecture Description Language for Automotive Embedded Software
Perspectives Workshop: Virtual games, interactive hosted services and user-generated content in Web 2.0, 24.09. - 27.09.2008
Relocalisation by Partial Map Matching
Step-Indexing: The Good, the Bad and the Ugly
Steam Boiler Control Specification Problem: A TLA Solution
A Uniform Approach for Compile-Time and Run-Time Specialization
Markov Localization for Reliable Robot Navigation and People Detection
Toward Computer Simulation of the Whole Cell
Practical Preimages for Maraca
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership
Spatial Reasoning for the Semantic Web - Use Cases and Technological Challenges
Normtypologies
Geometric Networks and Metric Space Embeddings, 26.11. - 01.12.2006
Cognitive Robotics, 21.02. - 26.02.2010
Reasoning about Hierarchies of Online Program Specialization Systems
The Network Design Problem for Railway Infrastructure
Proving and Disproving Termination in the Dependency Pair Framework
Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction, 03.10. - 08.10.2010
Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems
08431 Executive Summary - Moderately Exponential Time Algorithms
Alles nur Bluff? Programmieren als ein Bestandteil der Fachkultur Informatik
Parallel Universes and Local Patterns, 01.05. - 04.05.2007
Processes and Models for Serious Game Design and Development
Quantum key distribution and cryptography: a survey
06451 Executive Summary -- Circuits, Logic, and Games
Some Recent Results on Pie Cutting
Item Pricing for Revenue Maximization in Combinatorial Auctions
Berechnungsmodelle
Introduction to Randomized Algorithms
The Semantics and Syntax of Update Schemes
Application layer issues for digital movies in high-speed networks
04061 Abstracts Collection - Real Computation and Complexity
Tree Automata for Code Selection
Implementing RPO and POLO using SAT
Performance Issues in Parallel Processing Systems
Blockmodels
Computational Video, 10.10. - 15.10.2010
A Methodology for Evaluating Software Engineering Methods and Tools
08201 Abstracts Collection - Design and Analysis of Randomized and Approximation Algorithms
A Fast Algorithm for a Mean Curvature Based Image Denoising Model Using Augmented Lagrangian Method
Changing Work Practices in Design
Fair Payments for Efficient Allocations in Public Sector Combinatorial Auctions
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines
Reference Architecture for Ambient Intelligence
On the tail decay of M/G/1-type Markov renewal processes
Project Venezia-Gondola (A Framework for P-Commerce)
MK Pattern Match Compilation and Partial Evaluation
What Is the Use of Gossip? A Sensitivity Analysis of the Spreading of Respectful Reputation
Tagging Historical Corpora - the problem of spelling variation
08371 Summary - Fault-Tolerant Distributed Algorithms on VLSI Chips
Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010
Sequence prediction for non-stationary processes
Geschlecht und Wissenschaft oder die endliche Geschichte der Zweigeschlechtlichkeit
Scheduling and Ressource Allocation in Decentralized Sensor-actor-networks
Partial Order Semantics of Sequence Diagrams for Mobility
Parsing Unary Boolean Grammars Using Online Convolution
A scalable architecture for multimedia storage
Preferences and Domination
05471 Executive Summary - Computational Proteomics
Towards Smarter Cars
Interval Subroutine Library Mission
CoCoME in SOFA
Lessons Learned from last 4 Years of Reconfigurable Computing
08431 Open Problems - Moderately Exponential Time Algorithms
End-User Design
How to Make Smartcards Resistant to Hackers' Lightsabers?
Artificial Life Meets Computational Creativity?
Similarity-based Clustering and its Application to Medicine and Biology, 25.03. - 30.03.2007
A Functional Solution to the RPC-Memory Specification Problem
Optimization of Stochastic Discrete Event Simulation Models
Enforcement of Individual Privacy Policies by Communication Service Providers
Combinatorial and Algorithmic Foundations of Pattern and Association Discovery, 14.05. - 19.05.2006
Improved Algorithms for Computing Fisher's Market Clearing Prices
A Solution Relying on the Model Checking of Boolean Transition Systems
A note on brute vs. institutional facts
SXSAQCT and XSAQCT: XML Queryable Compressors
Emergence In the Loop: Simulating the two way dynamics of norm innovation
Multiobjective Optimization Software
Guideline: Multiple Hierarchies
The Discovery of Self-Similar Traffic
Quantitative Measurements based on Process and Context Models
System Level Support for Dependable Distributed Applications
05051 Executive Summary - Probabilistic, Logical and Relational Learning - Towards a Synthesis
Generation of Solid Multiresolution Models
05241 Executive Summary - Synthesis and Planning
Score-Informed Source Separation for Music Signals
Nichtlineare Spline-Interpolation
A Cross-Version Approach for Harmonic Analysis of Music Recordings
Intelligent Agents: Issues and Logics
Giving Life to Agent Interactions
Abstract Interpretation Based Formal Methods and Future Challenges
Transfinite interpolation for well-definition in error analysis in solid modelling
04441 Working Group - Research Issues in Mobile Querying
Cryptography, 16.09. - 21.09.2007
Self-Healing and Recovery Methods and their Classification
A Space-Saving Approximation Algorithm for Grammar-Based Compression
Enabling Holistic Approaches to Business Process Lifecycle Management, 11.04. - 16.04.2010
Introduction to Combinatorial Pyramids
MACE: A Multi-Attribute Combinatorial Exchange
Strictness of the Modal µ-Calculus Hierarchy
A Framework for Cognitive Vision Systems or Identifying Obstacles to Integration
Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications
Gossip-based self-managing services for large scale dynamic networks
Spatially and Temporally Segmenting Movement to Recognize Actions
08231 Abstracts Collection - Virtual Realities
Visualization of Implicit Surfaces Using Adaptive Tetrahedrizations
WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms
Representation of Semantic Mappings
Subtree decomposition for multistage stochastic programs
Assisted Living Systems: Human Factors Considerations
Methodologies for Designing Power-Aware Smart Card Systems
DSL Implementation in MetaOCaml, Template Haskell, and C++
NorMAS-RE: a Normative Multiagent Approach to Requirements Engineering
Towards (Quasi) Real-Time Range Image Segmentation
Why IV Setup for Stream Ciphers is Difficult
Continued Radicals
10071 Open Problems - Scheduling
Creative Computers, Improvisation and Intimacy
A Weighted Average of Sparse Representations is Better than the Sparsest One Alone
Parallel Reform Computations
Graph Drawing and Its Applications
eBusiness Click Stream Analysis
Integration von Umweltdaten, 3. Workshop 1995, 24.-26. April 1995, Dagstuhl
Duplication, Redundancy, and Similarity in Software, 23.07. - 26.07.2006
Code Clones: Reconsidering Terminology
A lower bound for the complexity of linear optimization from a quantifier-elimination point of view
Low-Memory Tour Reversal in Directed Graphs
Structural Descriptors for 3D Shapes
Peer-to-Peer-Systems and -Applications, 26.03. - 29.03.2006
A Practical Approach to Hypothetical Database Queries
04121 Working Group 2 -- Design criteria, techniques and case studies for creating and evaluating interactive experiences for virtual humans
Multifrontral multithreaded rank-revealing sparse QR factorization
Line Planning and Connectivity
Querying with Preferences in a Digital Library
Technology of Test-Case Generation
06441 Summary -- Naming and Addressing for Next Generation Internetworks
Finding Isolated Cliques by Queries -- An Approach to Fault Diagnosis with Many Faults
09361 Abstracts Collection - Design and Validation of Concurrent Systems
Rechnergestützte Gruppenarbeit
MathBrush: An Experimental Pen-Based Math System
Perspectives Workshop: Naming and Addressing in a Future Internet, 01.03. - 04.03.2009
Fixed Parameter Tractability and Completeness III: Some Structural Aspects of the W Hierarchy