yusuke1997/dblp-id-title huggingface dataset:
10481 Abstracts Collection - Computational Counting
Online Capacity Management for Increased Resource Efficiency of Software Systems
Systematic judgment aggregators: An algebraic connection between social and logical structure
Perspectives Workshop: Empirical Theory and the Science of Software Engineering, 25.-29. January 2004
Nondeterministic Tree Automata
Visual aesthetics and the user experience
Künstliche Intelligenz und Menschenbilder
Computation of the Minimal Associated Primes
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain
Phase Ordering of Register Allocation and Instruction Scheduling
06431 Working Group Summary: P2P, Ad Hoc and Sensor Networks - All the Different or All the Same?
How should depiction be represented and reasoned about?
Data Structures in Scientific Visualization
Technical Report: Exploring Human Surrogate Characteristics
Structured Implementation of Component-Based Grid Programming Environments
Spotting Structure in Complex Time Dependent Flow
Closely Coupled Systems
End-User Development Techniques for Enterprise Resource Planning Software Systems
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics
Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches
Cryptographic Shuffling of Random and Pseudorandom Sequences
Vision-Based Behavior Control of Autonomous Systems by Fuzzy Reasoning
Reliably Capture Local Clusters in Noisy Domains From Parallel Universes
Testing Functional Black-Box Programs Without a Specification
LIC for Surface Flow Feature Detection
Algorithms and Data Structures for Computer Topology
A Pixel-Oriented Approach for Rendering Line Drawings
Software environments for supporting End-User Development
Frontiers of Electronic Voting, 29.07. - 03.08.2007
Using Tabu Search to Find Optimal Grasps in Scenes Represented by Triangular Meshes
Scalable Data Management in Mobile Environments: protocol design in MANETs and data management in mobile sensors
Scheduling Vector Straight Line Code on Vector Processors
The Dynamics of Process Modeling: New Directions for the Use of Events and Rules in Service-Oriented Computing
View-Based Approaches to Spatial Representation in Human Vision
Towards A Meta-Model for Service Properties
Situated Decision Support Approach for Managing Multiple Negotiations
Counting Constraint Satisfaction Problems
10381 Summary and Abstracts Collection - Robust Query Processing
Do Knowledge Assets Really Exist in the World and Can We Access Such Knowledge?
08381 Abstracts Collection - Computational Complexity of Discrete Problems
Some lessons from an experience with active video flow regulation
Manipulability of Single Transferable Vote
Recurrent Neural Networks - Models, Capacities, and Applications, 20.01. - 25.01.2008
Measuring Performance Metrics: Techniques and Tools
Speech acts as announcements
Lifetime Extension of Higher Class UHF RFID Tags using special Power Management Techniques and Energy Harvesting Devices
Extension of STEP for the Representation of Parametric and Variational Models
Algebraic Attacks against Linear RFID Authentication Protocols
An Overview of File System Architectures
Unleashing Pearson Correlation for Faithful Analysis of Biomedical Data
Matrix Analytic Methods in Branching processes
Future Challenges
Effectuation for organizing design processes?
Static Analysis of a Model of the LDL Degradation Pathway
Coequalisers of formal topology
Transactions on replicated data in Mobile Ad Hoc Nets - and some further issues of large scalable networks
Intuitive Interfaces for Motion Generation and Search
Foundations of Meta-Pyramids: Languages vs. Metamodels - Episode II: Story of Thotus the Baboon1
Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC)
Developing and Embedding Autooperational Form
Traceability and Evaluation in Scenario Analysis by Use Case Maps
A Brief History of Serious Games
Deterministic boundary recongnition and topology extraction for large sensor networks
Efficient computation of statistics for words with mismatches
A Hybrid Constraint Solver Using Exact and Iterative Geometric Constructions
Simulating Morphogenesis
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications
06302 Summary -- Aspects For Legacy Applications
Generating Kummer Type Formulas for Hypergeometric Functions
A Specification Language for Distributed Components Implemented in GCM/ProActive
Robustness of Boolean Operations on Subdivision-Surface Models
Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, June 23-27, 1997)
The Task-State Coordination Pattern, with applications in Human-Robot-Interaction
The server array: a scalable video server architecture
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning
Constraint satisfaction problems in clausal form: Autarkies, minimal unsatisfiability, and applications to hypergraph inequalities
Real Algebraic Numbers: Complexity Analysis and Experimentation
Incremental Specification with Joint Actions: The RPC-Memory Specification Problem
04251 - Imaging Beyond the Pinhole Camera
09501 Abstracts Collection - Software Synthesis
Feedback Control as MAPE-K Loop in Autonomic Computing
The Complexity of Winning Strategies in Infinite Games
Von Transaktionen zu Problemlösungszyklen: Erweiterte Verarbeitungsmodelle für Non-Standard-Datenbanksysteme
An Architecture for Supporting Interoperability among Temporal Databases
Testing Theory for Probabilistic Systems
Designing Organizations: Towards a Model
Visual interaction to solving complex optimization problems
Error in Enumerable Sequence Prediction
Integration of reliable algorithms into modeling software
The Future of Embodied Artificial Intelligence: Machine Consciousness?
Qualitative and Quantitative Aspects of Movement: The Discrepancy Between Clinical Gait Analysis and Activities of Daily Life
Perceptual Anchoring: A Key Concept for Plan Execution in Embedded Systems
Cooperative Product Development with heterogeneous CAD systems via EDM and Broadbank Communication Technique
High quality splatting and volume synthesis
New Old Algorithms for Stochastic Scheduling
Applying Story Driven Modeling to the Paderborn Shuttle System Case Study
Feature Modelling for Assembly
How Should Control and Body Systems Be Coupled? A Robotic Case Study
Constrained Navigation Environments
Multi-Level Lambda-Calculi: An Algebraic Description
09511 Open Problems - Parameterized complexity and approximation algorithms
Preferences: Specification, Inference, Applications, 27. June - 2. July 2004
Efficient Text Entry, 21.-24. September 2005
Sharing Supermodular Costs
Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005
Similarity Measure Computation of Convex Polyhedra Revisited
Informatics and Student Assessment: Concepts of Empirical Research and Standardisation of Measurement in the Area of Didactics of Informatics - Dagstuhl-Seminar of the German Informatics Society (GI), Schloss Dagstuhl, Germany, September 19-24, 2004
Semidefinite programming characterization and spectral adversary method for quantum complexity with noncommuting unitary queries
Vision and Touch for Grasping
Mining Eclipse for CrossCutting
Choosing Your Beliefs
Scientific Visualization, Overviews, Methodologies, and Techniques, Dagstuhl, Germany, May 1994
A categorization of simulation works on norms
Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08. - 13.08.2008
Computing Shortest Safe Path amidst Growing Discs in the Plane
Combinatorial problems in solving linear systems
Recognition of Action as a Bayesian Parameter Estimation Problem over Time
Rational Points on Curves of Genus 2: Experiments and Speculations
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes
A Brief History of the Semantic Grid
Computing Triangulations Using Oriented Matroids
The Hardness of Approximating Set Cover
Getting Started with Zoltan: A Short Tutorial
05281 Executive Summary - Simulation & Scheduling: Companions or Competitors for Improving the Performance of Manufacturing Systems
Variational Level-Set Detection of Local Isosurfaces from Unstructured Point-based Volume Data
Information Flow Analysis in Business Processes
Geometry and Part Feeding
10481 Executive Summary - Computational Counting
Informatik und Instrumentelle Vernunft
Instantiation-Based Interpolation for Quantified Formulae
09052 Report - Management of the Future Internet
Lattice-based Blind Signatures
From the Central Server Model to BEST/1©
About the Limiting Behaviour of Iterated Robust Morphological Operators
Selfish Routing of Splittable Flow with Respect to Maximum Congestion
Semantic Refinement of Concurrent Object Systems Based on Serializability
The Space of Cognitive Vision
Probabilistic Abduction Without Priors
Detection and Tracking of Humans in Single View Sequences Using 2D Articulated Model
A New Technique for the Extraction and Tracking of Surfaces in Range Image Sequences
Logic Based Structure Rewriting Systems
Software Service Engineering - Architect's Dream or Developer's Nightmare?
Grand Challenges in Music Information Research
Inferring FSM Models of Systems Without Reset
Pattern matching with don't cares and few errors
Meta-Modeling in Multiobjective Optimization
A Nearly-Linear Time Algorithm for Approximately Solving Linear Systems in a Symmetric M-Matrix
Position statement: Physical activity monitoring of elderly patients - 3 tricks to advance the field?
Crowdsourcing for Information Visualization: Promises and Pitfalls
Practical Approaches to Multi-Objective Optimization, 10.12. - 15.12.2006
An Approach to Intelligent Design of Color Visualizations
On-line Network Routing
Service Didactics / Dienstleistungsdidaktik
High-Speed Networking for Multimedia Applications [2nd Int. Workshop on Architecture and Protocols for High Performance Networks, Dagstuhl, June 19-23, 1995]
Leveraging Model-Based Tool Integration by Conceptual Modeling Techniques
10361 Abstracts Collection and Executive Summary - Theory of Evolutionary Algorithms
Learning through failure
Constructive algebraic integration theory without choice
Processing networks for the classification of motion --- a proposal
07061 Abstracts Collection -- Autonomous and Adaptive Web Services
Decentralization and Mechanism Design for Online Machine Scheduling
On the Visualization of Java Programs
Semantic Trajectory Data Mining: a User Driven Approach
Algorithm Animation - Introduction
Omnidirectional Vision for Appearance-Based Robot Localization
Improving the Performance of Complex Agent Plans Through Reinforcement Learning
07041 Summary - Power-aware Computing Systems
Aufbereitung von 3D-Digitalisierdaten
Konzept eines Neutralfile-Formats zum Austausch von Umweltdaten
Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009
On Curved Simplicial Elements and Best Quadratic Spline Approximation for Hierarchical Data Representation
The Case SIS Project: An Enterprise System in Higher Education
A Model for Task Repartioning under Data Replication
Do Real Numbers Really Move? Language, Thought, and Gesture: The Embodied Cognitive Foundations of Mathematics
04211 Abstracts Collection - Algorithms and Number Theory
Resource Management for Future Generation Grids
Directed Model Checking, 26.04. - 29.04.2006
Valid Time and Transaction Time Proposals: Language Design Aspects
Documenting Theories Working Group Results
Agreement on a Common X - Y Coordinate System by a Group of Mobile Robots
Lifetime Optimization of Wireless Sensor Networks
Memoryless Determinacy of Parity Games
05361 Abstracts Collection - Algorithmic Aspects of Large and Complex Networks
On Algorithms and Complexity for Sets with Cardinality Constraints
An open question on the existence of Gabor frames in general linear position
Technology Transfer and Education Discussion and Summary
Plan-Based Multi-robot Cooperation
Groundwork for the Development of Testing Plans for Concurrent Software
10292 Abstracts Collection and Summary - Resilience Assessment and Evaluation
Learning Highly Structured Manifolds: Harnessing the Power of SOMs
From Performance Theory to Character Animation Tools
Self-Organized Routing in Cognitive Radio Ad Hoc Networks
09291 Summary - Computational Creativity: an interdisciplinary approach
08412 Manifesto - High-Impact Requirements for Software-Intensive Systems
Empirical Paradigm - The Role of Experiments
06291 Workshop Report: Process Mining, Monitoring Processes and Services
Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems
Industry-Research Collaboration Working Group Results
Theory of Evolutionary Algorithms, 27.01. - 01.02.2008
DotSlash - Creating Content Distribution Networks on Demand
09131 Abstracts Collection - Service Level Agreements in Grids
From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems
Global Optimization in the COCONUT Project
Comparing Different Approaches on the Door Assignment Problem in LTL-Terminals
Quantitative Software Design, 20.10. - 23.10.2009
Single Image Blind Deconvolution with Higher-Order Texture Statistics
06491 Summary -- Digital Historical Corpora- Architecture, Annotation, and Retrieval
Visualizing the Execution of Java Programs
Computational Complexity and Mathematical Proofs
On classification, ranking, and probability estimation
Towards Model-Based Engineering of Self-configuring Embedded Systems
Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System
10291 Summary reports of the Breakout Sessions - Automation in Digital Preservation
EREP Project Overview
Tasks for Multivariate Network Analysis
Termination of Programs using Term Rewriting and SAT Solving
Low-Power Reconfigurable Architectures for High-Performance Mobile Nodes
New Opportunities for Empirical Research
Coordinating Agents in OO
Simulating Societies using Distributed Artificial Intelligence
Using Program Slicing to Identify Faults in Software
A Hybrid Web-based Toolkit for Human Modeling
Competitive Online Searching for a Ray in the Plane
Selective Crypting with Haar-Wavelets
Adopting Agent-Based Situated Decision Support Framework for Managing One-to-many Negotiations with Multiple Potential Agreements
Public-Key Cryptosystems from the Worst-Case Shortest Vector Problem
On the Non-Uniform Complexity of the Graph Isomorphism Problem
A Non-Blocking Lightweight Implementation of Causal Order Message Delivery
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
Blending Surfaces with Minimal Curvature
On Complexity of Optimized Crossover for Binary Representations
05101 Abstracts Collection - Scheduling for Parallel Architectures: Theory, Applications, Challenges
10091 Abstracts Collection - Data Structures
Curvature Flow in Discrete Space
Evaluation in the Crowd: An Introduction
10461 Abstracts Collection and Summary - Schematization in Cartography, Visualization, and Computational Geometry
Principles of Robot Simulation and their Application in a PC-based Robot Simulation System
Interactive Neural Networks as Tools for Modeling Social Systems
Exact Complexity of NP-hard Problems, 31.10. - 05.11.2010
05261 Abstracts Collection - Multi-Version Program Analysis
Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006
06441 Abstracts Collection -- Naming and Addressing for Next Generation Internetworks
09341 Summary - Cognition, Control and Learning for Robot Manipulation in Human Environments
Surface Reconstruction and Variable Offset
Size and speed insensitive distributed queue network
Similarity in Programs
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification
Parallel Computation Model for Parallel Prolog
10042 Executive Summary - Semantic Challenges in Sensor Networks
Modelling, Control and Perception for an Autonomous Robotic Airship
Object-Oriented and Agent-Oriented Simulation: Implications for Social Science Application
10121 Report - Towards a Computational Transportation Science
10071 Executive Summary - Scheduling
Volume Visualization in Medicine: Techniques and Applications
07021 Abstracts Collection -- Symmetric Cryptography
Removing Some 'A' from AI: Embodied Cultured Networks
Mining Phenotypes for Protein Function Prediction
Geometric Modeling, 25.05. - 30.05.2008
Network-driven Boolean Normal Forms
On the Performance of Competitive Algorithms in Practice
07281 Abstracts Collection -- Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs
Uncertainty Management in Information Systems, 12.10. - 17.10.2008
On Information Organization in Annotation Systems
Drawing TimeML Relations with T-BOX
The Evolution of Conceptual Modeling, 27.04. - 30.04.2008
Enriching volume modelling with scalar fields
Performance Evaluation in Industry: A Personal Perspective
Information Visualization, 13.06. - 18.06.2010
Philosophical Aspects of Fundamental Ideas: Ideas and Concepts
Topological and Game-Theoretic Aspects of Infinite Computations, 29.06. - 04.07.2008
Perspectives Workshop: Data Mining: The Next Generation, 11.07. - 16.07.2004
Fairness in Peer-to-Peer Networks
Relationships and Responsibilities of Software Experimentation
Logics for Specifying Concurrent Information Systems
Aqua: A adaptive end-system quality of service architecture
Some Theoretical Aspects of the Neural Gas Vector Quantizer
Co-Allocation in Grids: Experiences and Issues
A Software Lifecycle Process to Support Consistent Evolutions
Service-Based Semantic Collaboration in Networked Systems: A Conceptual Perspective
Case Study "Beatles Songs" - What can be Learned from Unreliable Music Alignments?
A Type System for Amortised Heap-Space Analysis of Object-Oriented Programs
Experiences in Teaching Program Transformation for Software Reengineering
Reconfigurable Architectures and Instruction Sets: Programmability, Code Generation, and Program Execution
06231 Executive Summary - Towards Affordance-based Robot Control
Introduction to Performance Metrics
An Object-Oriented Algebraic Steam-Boiler Control Specification
Singular in a Framework for Polynomical Computations
08341 Executive Summary - Sublinear Algorithms
07211 Abstracts Collection - Exact, Approximative, Robust and Certifying Algorithms on Particular Graph Classes
Computing Media and Languages for Space-Oriented Computation, 03.09. - 08.09.2006
Distribution Strategies of Data and Functionality in a Spontaneous Linked-up Sensor Network
Algebraic Methods in Computational Complexity, 07.10. - 12.10.2007
Algorithm Explanation: Visualizing Abstract States and Invariants
Computational Artistic Creativity and its Evaluation
A System for Object Class Detection
Multivariate Network Visualization - Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions
A Framework for Analyzing Composition of Security Aspects
A Nilregular Element Property
Automatic Meaning Discovery Using Google
Studying Music is Difficult and Important: Challenges of Music Knowledge Representation
Parfait - Designing a Scalable Bug Checker
Framework for Comprehensive Size and Resolution Utilization of Arbitrary Displays
Length Estimation for Curves with Different Samplings
Semantic Technologies in the SIMDAT Grid Project
The Construction Principles of the Class Library KARLA
Importance Sampling on Relational Bayesian Networks
Algorithmic Techniques for Processing Data Streams
On Maximality of Compact Topologies
Efficient multi-step query processing for EMD-based similarity
Crowdsourcing Quality of Experience Experiments
06061 Executive Summary -- Theory of Evolutionary Algoritms
Discrepancy Bounds for Mixed Sequences
Templates in Domain Modeling - A Survey
05471 Abstract Collection - Computational Proteomics
09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
Comparison of Node-Link and Hierarchical Edge Bundling Layouts: A User Study
Greedy Kernel Principal Component Analysis
C-XSC and Closely Related Software Packages
Current results and open questions on PH and MAP characterization
Evolution in Humans of Macro-level Social Stratification and Language
Production planning and control with discrete lotsizing and a rolling horizon
Multiple Event Upsets Aware FPGAs Using Protected Schemes
Games for Learning
09441 Abstracts Collection - The Constraint Satisfaction Problem: Complexity and Approximability
Motion Integration Using Competitive Priors
Das Geo-Informationssystem SICAD - Anwendungen im Umweltbereich
Fair Division, 24.06. - 29.06.2007
Performance-Related Metrics in the ISO 9126 Standard
Computational Aesthetics in Graphics, Visualization and Imaging, 28.05. - 02.06.2006
ViSSaAn: Visual Support for Safety Analysis
Language Engineering in Practice
Recent Results in Universal and Non-Universal Induction
Multimodality in Pervasive Environment
Qualitätsanalyse-Algorithmen
Complexity, Requirements and Design
Data Mining: The Next Generation
Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Personalization of Queries based on User Preferences
Architectural Views for CommUnity
Compiler-based Software Power Peak Elimination on Smart Card Systems
Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers
Self-organization Data Harvesting and Fusion for Building a Resource Map
Compatible Component Upgrades Through Smart Component Swapping
MATE - A Model Analysis and Transformation Environment for MATLAB Simulink
Information Integration in Service-oriented Computing
On-line Packing and Covering Problems
Game Semantics and Program Verification, 20.06. - 25.06.2010
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
A Fast Continuous Max-Flow Approach to Non-convex Multi-labeling Problems
Applications of Belief Revision
Degrees of Unsolvability in Abstract Complexity Theory
A Conviviality Measure for Early Requirement Phase
A Comparison of a 4GL and an Object-oriented Approach in Micro Macro Simulation
The Web in 2010: Challenges and Opportunities for Database Research
Requirement Oriented Programming
Nutzung des WWW im Umweltbereich am Beispiel des WWW-Servers der Fachgruppe 4.6.1 der GI
Sesame: An Architecture for Storin gand Querying RDF Data and Schema Information
Music Information Retrieval Meets Music Education
External Memory Computational Geometry Revisited
Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010
Perceptual Benchmarking for Multivariate Data Visualization
10491 Results of the break-out group: Aggregation
Payoff levels, loss avoidance, and equilibrium selection in the Stag Hunt: an experimental study
Tightness of the Security Bound of CENC
Weighted aggregation for multi-level graph partitioning
A General Markup Framework for Integrity and Derivation Rules
Taxonomy of Game Development Approaches
Connecting the Vehicle with the Environment - Trends and Challenges
General Concepts for the Support of Autonomous Teams of Robots by a Human Operator
Ontologies and Text Mining for Life Sciences: Current Status and Future Perspectives, 24.03. - 28.03.2008
Analysis and Application of Polling Models
Indexed Induction-Recursion
Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009
Action Capture: A VR-Based Method for Character Animation
Parallel processing of protocols
Reliable Multi-robot Coordination Using Minimal Communication and Neural Prediction
On "Landscaping" and Influence of Empirical Studies
09211 Abstracts Collection - Visualization and Monitoring of Network Traffic
How Fast can be Algebraic Attacks on Block Ciphers?
The Lane hash function
Fixture Design with Edge-Fixels
Energy Scalability and the RESUME Scalable Video Codec
A Glossary of Time Granularity Concepts
Memory Limitations in Artificial Intelligence
Testing Run-time Evolving Systems
A Roadmap to Metacomputation by Supercompilation
Real-time Terrain Mapping