yusuke1997/dblp-id-title huggingface dataset:
Computing and Markets, 3.-7. January 2005
Representation Scheme for Feature-based Parametric Design
Learning the Affordances of Tools Using a Behavior-Grounded Approach
Making Use of Social Thinking: The Challenge of Bridging Activity Systems
Ambient Assisted Living Systems - The Conflicts between Technology, Acceptance, Ethics and Privacy
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]
Call Graph and Control Flow Graph Visualization for Developers of Embedded Applications
Compliance in Kapitalgesellschaften
An Axiomatic Model for Program Complexity
Game Theory, Decision Making in Conflicts and Computer Simulations: a Good-Looking Triad
Deinterlacing with Motion-Compensated Anisotropic Diffusion
Benutzeranforderungen an Visualisierungssysteme im Umweltschutz
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges
Two Families of Algorithms for Symbolic Polynomials
Live Algorithms
Salient Frame Detection for Molecular Dynamics Simulations
Serious Games Evaluation: Processes, Models, and Concepts
Object-Oriented Dialogue Modeling for Environmental Software Systems
MOSIS project data
Multigrid Convergence of Geometric Features
Visualizing Very Large Graphs Using Clustering Neighborhoods
On Logical Foundations of Active Databases
Generalizing lifted tensor-product wavelets to irregular polygonal domains
Part VII. Appendices
09041 Working Group on EMO for Interactive Multiobjective Optimization (1st Round)
Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, October 15-20, 2000, Selected Revised Papers
Benutzeroberfläche zur Datenkontrolle und Datenkorrektur in einem Luftmeßnetz
Challenges in code generation for embedded processors
Mini-ciphers: a reliable testbed for cryptanalysis?
Getting Started with ADOL-C
Recognizing Human Actions by Their Pose
Structure and Process: Learning of Visual Models and Construction Plans for Complex Objects
Pathfinding in Games
Quantitative Modeling and Analysis with FMC-QE
Multi-View Learning and Link Farm Discovery
Towards Well-Defined, Shareable Product Data
The Steam-Boiler Problem in Lustre
Distrust is not Always the Complement of Trust (Position Paper)
Aspects For Legacy Applications, 26.07. - 29.07.2006
Realisierungskonzepte für die parallele Bearbeitung von Anfragen auf komplexen Objekten
08461 Executive Summary - Planning in Multi-Agent Systems
Realistic Environment Models and Their Impact on the Exact Solution of the Motion Planning Problem
Complexity Monotone in Conditions and Future Prediction Errors
Normative Multi-Agent Programs and Their Logics
An Integrated Approach for Task Specification for Smart Environments
05271 Abstracts Collection - Semantic Grid: The Convergence of Technologies
The Complexity of Translating Logic to Finite Automata
06472 Abstracts Collection -- XQuery Implementation Paradigms
Setting up a Graph Drawing E-print Archive (GDEA) - a proposal
Robust, Decentralized Information Management
Toward a Systematic Analysis for Designing Visualizations
Towards an Engineering Approach to Component Adaptation
P2P XQuery and the StreetTiVo application
QBD processes and matrix orthogonal polynomilas: somw new explicit examples
Perspectives Workshop: Visualization and Image Processing of Tensor Fields, 18.04. - 23.04.2004
Sequential Consistency in Distributed Systems
Implementing Norms that Govern Non-Dialogical Actions
Semantic Interoperability and Integration
High performance group communication services in ATM networks
Tree-Sparse Modeling and Solution of Multistage Stochastic Programs
A Survey of Techniques for Designing I/O-Efficient Algorithms
Recent Hardness Results for Periodic Uni-processor Scheduling
Towards Bridging the Gap between Sheet Music and Audio
Coxeter Lattice Paths
10181 Abstracts Collection - Program Development for Extreme-Scale Computing
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems
Operating System Support for Object-Oriented Distributed Systems
Self-Stabilization and Behavioral Diversity of Embodied Adaptive Locomotion
Algorithmic Methods for Railway Optimization, 20.06. - 25.06.2004
A Reference Architecture for Mobile Knowledge Management
Transitioning Temporal Support in TSQL2 to SQL3
Consistency of XML Specifications
Dynamic Maps, 12.09. - 17.09.2010
A convenient category of domains
PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE
07461 Executive Summary -- Numerical Methods for Structured Markov Chains
Designing Reverse Auctions for B-2-B Procurement - Evidence from the German Industry
Simulation and NorMAS
Silhouette-Based Variational Methods for Single View Reconstruction
06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality
Modeling and Visualizing Volumetric and Surface-on-Surface Data
Implementations and Experimental Studies of Dynamic Graph Algorithms
A Gentle Introduction to Multi-stage Programming
Sound ranking algorithms for XML search in PF/Tijah
Robustness of Boolean operations on subdivision-surface models
Sensor Technologies for AL Systems Integrated Health Monitoring and Emergency Call System
10403 Abstracts Collection - Impact of Human Mobility on Communications : Measurement, Analysis, Modeling, and Simulation
Topological Complexity of omega-Powers: Extended Abstract
05421 Executive Summary -- Data Always and Everywhere -- Management of Mobile, Ubiquitous, and Pervasive Data
Parallele und verteilte Systeme
Text Mining and Management Tools for Resource Construction and Validation in the Life Sciences
Computing Shortest Paths in Series-Parallel Graphs in Logarithmic Space
(Social) Norm Dynamics
Application of Kolmogorov complexity and universal codes to identity testing and nonparametric testing of serial independence for time series.
06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems
Hypertextbooks: Animated, Active Learning, Comprehensive Teaching and Learning Resources for the Web
Divide-and-Conquer: A Proportional, Minimal-Envy Cake-Cutting Procedure
An improved algorithm for CIOQ switches
Complementation of Büchi Automata Using Alternation
A Deeper Investigation of PageRank as a Function of the Damping Factor
The Uses of Norms
Face-off: AOP+LMP vs. legacy software
Towards an Integrated Development Environment for Context-Aware User Interfaces
The Biotope Issue in Meme Media Implementations
10302 Summary - Learning paradigms in dynamic environments
Verification over discrete-continuous boundaries, 04.07. - 09.07.2010
09071 Executive Summary - Delay and Disruption-Tolerant Networking (DTN) II
On Horizontal and Vertical Relationships between Models
An Object-Oriented Framework for Temporal Data Models
Adaptive Triangular System Solving
BioModel Engineering: Its role in Systems Biology and Synthetic Biology
Geometric Distance Estimation for Sensor Networks and Unit Disk Graphs
Biomedical Information Visualization
Virtual Prototyping - An Open System Environment to Support the Integrated Product Development Process
07091 Abstracts Collection - Mobility, Ubiquity and Security
Graph matching with type constraints on nodes and edges
On the Semantic Approaches to Boolean Grammars
Bringing Computational Steering to the User
Audio-visual Virtual Reality System for Room Acoustics
Words on the Creativity and Cognition Studios contribution
Solving hard instances in QF-BV combining Boolean reasoning with computer algebra
Scheduling in Computer and Manufacturing Systems, 31.05. - 04.06.2004
Homotopy Methods to Compute Equilibria in Game Theory
Overcoming Free Riding in Multi-Party Computations
A Nonlinear Circuit Theory for Physically Understanding Dextrous Robot (Human) Motions
Player Modeling
10291 Abstracts Collection - Automation in Digital Preservation
A Distributed Control Architecture for Autonomous Robot Systems
Online scheduling of splittable tasks
Speedup Limits for Tighly-Coupled Parallel Computations
Toward a More General Network Layer
09351 Executive Summary - Information processing, rational belief change and social interaction
Subspace outlier mining in large multimedia databases
Fault Tolerance Support in Future Operating Systems
A Critical Analysis of Human-Subject Experiments in Virtual Reality and 3D User Interfaces
06091 Executive Summary -- Data Structures
Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization
Removing Cycles in Esterel Programs
Applying a Temporal Logic to the RPC-Memory Specification Problem
Session 1 Summary: The Experimental Paradigm in Software Engineering
Rule-based Model Extraction from Source Code
09302 Abstracts Collection - New Developments in the Visualization and Processing of Tensor Fields
Towards User Tailoring of Self-Adaptation in Ubiquitous Computing
Scalable Data Management in Evolving Networks, 22.10. - 27.10.2006
Part V. Standardized Test Notation and Execution Architecture
Architectures for Semantic Integration
Time-Frequency Analysis and PDE's
Isosurface extraction for large-scale data sets
04491 Executive Summary - Synchronous Programming - SYNCHRON'04
Some steps towards a general principle for dimensionality reduction mappings
Regulation of Cellular States in Mammalian Cells from a Genomewide View
SYNCHRON 2009, 22.11. - 27.11.2009
Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms
Discrete-time analysis of usage parameter control functions in ATM systems
06371 Abstracts Collection -- From Security to Dependability
CAViT: a Consistency Maintenance Framework based on Transformation Contracts
The Virtual Resource Manager: Local Autonomy Versus QoS Guarantees for Grid Applications
Local Patterns: Theory and Practice of Constraint-Based Relational Subgroup Discovery
Sparse Resultant Perturbations
Metamodelling - State of the Art and Research Challenges
The Geometry of C n is Important for the Algebra of Elementary Functions
Procedural Content Generation: Goals, Challenges and Actionable Steps
Answer Set Programming and Combinatorial Voting
The Volume Priority Z-Buffer
09142 Manifesto - Perspectives Workshop: Preventing the Brainware Crisis
Immediate Reward Reinforcement Learning for Clustering and Topology Preserving Mappings
Improving the perfomance of elevator systems using exact reoptimization algorithms
Visualisation and Debugging of Decentralised Information Ecosystems
A Framework for Normative MultiAgent Organisations
Directed Feedback Vertex Set is Fixed-Parameter Tractable
Faster Pattern Matching Algorithm for Arc-Annotated Sequences
Toward Computing Systems for the 2000s
Geschlecht und Wissenschaft - Geschlechterhierarchie und/oder Geschlechterdifferenz
The Rampart Toolkit for Building High-Integrity Services
10121 Abstracts Collection - Computational Transportation Science
HCI in Medical Visualization
Bayesian Modeling and Reasoning for Real World Robotics: Basics and Examples
Accurate and Model-free Pose Estimation of Crash Test Dummies
10031 Executive Summary - Quantitative Models: Expressiveness and Analysis
Verification and Validation for Femur Prosthesis Surgery
Position statement: Telemonitoring - a too limited view on the wellbeing of the patient
Notes on computing minimal approximant bases
A Comparison of Cache Aware and Cache Oblivious Static Search Trees Using Program Instrumentation
Regulated MAS: Social Perspective
Software Engineering for Tailor-made Data Management, 06.07. - 11.07.2008
Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines
06421 Abstracts Collection -- Robot Navigation
03411 Final Report - Language Based Security
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems
Merits of a Probabilistic Approach to Properties in Process Group Systems (Informal Position Paper)
Does It Help a Robot Navigate to Call Navigability an Affordance?
04271 Abstracts Collection - Preferences: Specification, Inference, Applications
A Case for Deconstructing Hardware Transactional Memory Systems
Contours, Optic Flow, and Prior Knowledge: Cues for Capturing 3D Human Motion in Videos
Constraint Satisfaction with Succinctly Specified Relations
Representation, Analysis and Visualization of Moving Objects, 02.11. - 07.11.2008
Accessing Databases within Esterel
Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004
Visualizing cosmological time
Ontology learning with text mining: Two use cases in lipoprotein metabolism and toxicology
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar]
Enhanced multiple-view feature modelling
10501 Executive Summary - Advances and Applications of Automata on Words and Trees
Sufficient conditions for sound tree hashing modes
Engineering Grid Markets
10371 Abstracts Collection - Dynamic Maps
Motivating Use Cases for the Globalization of DSLs
Creative Ecosystems
Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006
Parallel, Concurrent Theorem Proving
04061 Summary - Real Computation and Complexity
Efficient occlusion culling for large model visualization
On the impossibility of avoiding aesthetics in human-computer interaction
Interactive Isocontouring of High-Order Surfaces
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis
Bedrock: Building Multi-Agent Simulation Applications
Some Applications of Interval Arithmetic in Hierarchical Solid Modeling
Leistungsfähigkeit und Schwachstellen geographischer Informationssysteme
Semantic browsing of pathway ontologies and biological networks with RDFScape (working paper)
Geometry of abstraction in quantum computation
Approximability of Minimum AND-Circuits
Probabilistic Scene Modeling for Situated Computer Vision
Intelligent and Distributed Content Addressable Memory
Integration von Diensten
Introducing Continuous Systematic Testing of Evolving Software
Mining Programs and Processes, 02.12. - 07.12.2007
08111 Abstracts Collection - Ranked XML Querying
The Early Days of GSPNs
Fault Tolerance in High-Performance Computing and Grids, 03.05. - 08.05.2009
From a Program Family to a Domain-Specific Language
Temporal Logic in Information Systems
Checking the Integrity of Spatial Integrity Constraints
Generic Parallel Programming Using C++ Templates and Skeletons
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach
Theory of Evolutionary Algorithms, 05.09. - 10.09.2010
A Simple Algorithm for 2D-Mesh Generation by Domain Composition
06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures
Using Attribute Slicing to Refactor Large Classes
A Category of Discrete Closure Spaces
Interactive Robot Programming Based on Human Demonstration and Advice
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007
Long-tem digital preservation in e-Science domains
Logics for Authorization and Security
Assisting age related capabilities by ambient technology to prevent functional decline
Workshop "Visualisierung von Umweltdaten" EBFI Dagstuhl, 26. - 28. November 1991 - Zusammenfassung -
Integrated Visualization Framework for Relational Databases and Web Resources
InVIS - Interactive Visualization of Medical Data Sets
Secure Multi-Party Data Management
Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES)
Scalable Program Analysis, 13.04. - 18.04.2008
General Visibility
08191 Abstracts Collection - Graph Drawing with Applications to Bioinformatics and Social Sciences
An Architecture for Tetherless Communication
Estimation of alternative splicing isoform frequencies from RNA-Seq data
Cinema - An architecture for distributed multimedia applications
Properties and Calculation of Singular Normal Distributions
Diagrammatic Specification and Verification of Mobile Real-Time Systems
Sampling-based Approximation Algorithms for Multi-stage Stochastic Optimization
Experiential Fidelity: Leveraging the Mind to Improve the VR Experience
05161 Executive Summary - Transformation Techniques in Software Engineering
Mobile Panoramic Mapping using CCD-Line Camera and Laser Scanner
Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks
Aging and Technology
Circuits, Logic, and Games, 08.11. - 10.11.2006
The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009
Counterexample Generation for Higher-order Logic Using Logic Programming
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
Constraint Satisfaction Problems over Numeric Domains
Uniform-Modelling in Graph Grammar Specifications
Bandwidth on Demand, 08.02. - 11.02.2009
Using Finite Experiments to Study Asymptotic Performance
On the Teachability of Randomized Learners
Learning paradigms in dynamic environments, 25.07. - 30.07.2010
Survival Analysis, Master Equation, Efficient Simulation of Path-Related Quantities, and Hidden State Concept of Transitions
Second Note on Basic Interval Arithmetic for IEEE754R
Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]
Refinement and Consistency in Multiview Models
Data, Information, and Knowledge: "where is the Life we have lost in living?"
Experimental Algorithmics, From Algorithm Design to Robust and Efficient Software [Dagstuhl seminar, September 2000]
3D Graph Drawing
Applying DLM and DCM concepts in a multi-scale environment
Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006
Munin: Distributed Shared Memory Using Multi-Protocol Release Consistency
Event-Triggered Versus Time-Triggered Real-Time Systems
Self-organized Mission Planning and Control for UAV Communication Platforms
08421 Working Group: Explanation
Navigation in Highly Polygon-Populated Ship Environments using the Visibility Octree
Flat counter automata almost everywhere!
Retargetable code generation: key issues for successful introduction
Informatik und Umwelt
Geometric Reasoning Tools for Assembly-oriented CAD
Proving Safety Properties of the Steam Boiler Controller
Modelling Darwin in the Pi-Caculus
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009
10041 Executive Summary - Perspectives Workshop: Digital Social Networks
Handling Very Complex Envrionments Using a Discrete Visibility Graph
On Metrics and Measurements
Scopes - A Framework for Multi-Purpose Wireless Sensor Networks
The Experimental Paradigm in Software Engineering
Tracking mobile users
05181 Preface - Mobile Computing and Ambient Intelligence: The Challenge of Multimedia
Application of Quality Standards to Multiple Artifacts with a Universal Compliance Solution
XML Full-Text Retrieval
Reliable Distance and Intersection Computation Using Finite Precision Geometry
Live Will Never Be the Same!
Contextual and Social Media Understanding and Usage, 15.06. - 20.06.2008
Virtual Realities, 01.06. - 06.06.2008
Markov Models
Distributed Verification and Grid Computing, 10.08. - 14.08.2008
Cost Sharing Mechanisms for Fair Pricing of Resources Usage
04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models
Symbolic and Timed Testing
07462 Summary -- Assisted Living Systems - Models, Architectures and Engineering Approaches
Rounds in Combinatorial Search
A Comparison Between Mechanisms for Sequential Compute Resource Auctions
Neural network image analysis for environmental protection
The role of recurrent networks in neural architectures of grounded cognition: learning of control
On the Globalization of Domain-Specific Languages
Algorithm Animation for Teaching
Distributed Paging
09101 Workshop Report - Interactive Information Retrieval
08111 Report - Ranked XML Querying
Constraint Databases and Geographic Information Systems
Layered Drawings of Digraphs
Learning with Table Soccer
Chess: retargetable code generation for embedded DSP processors
Experiments with Parallel Software Architectures for Information Filtering: Trellis and FGP
Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms
Informing
Problems in Modeling the Software Development Process as an Adventure Game
Multimodal Music Processing
Synthesis and Planning, 12.-17. June 2005
Cognitive Vision: Integrating Symbolic Qualitative Representations with Computer Vision
Probabilistic Verification Techniques and Probabilistic Program Analysis
Facial and Motion Analysis for Image and Video Retrieval
Compiler-Driven Power Optimizations in the Register File of Processor-Based Systems
Reconstructing Optimal Phylogenetic Trees: A Challenge in Experimental Algorithmics
Tools for Mechanical Analysis and Simulation
A Language-Based Approach to Security
Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008
Introduction to Multiobjective Optimization: Interactive Approaches
Joseph Wright's English Dialect Dictionary (1898-1905) Computerised: architecture and retrieval routine
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation
Information-theoretic Analysis of Unsteady Data
Towards Linguistically-Grounded Spatial Logics
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format
Self-Adaptivity from Different Application Perspectives - Requirements, Realizations, Reflections
Asynchronous Computation of PageRank computation in an interactive multithreading environment
Exceptions in Component Interaction Protocols - Necessity
10491 Abstracts Collection - Representation, Analysis and Visualization of Moving Objects
Bounds and algebraic algorithms in differential algebra: the ordinary case
Elementary Graph Algorithms in External Memory
Mechanisms of Knowledge Evolution for Web Information Extraction
From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS
Ontologies Come of Age
Robot Navigation: A Simple Guidance System for a Complex Changing World
Use of Self Organizing Maps in Technique Analysis
On the Logic of Constitutive Rules
10151 Working Groups Results - How to enable Holistic Approaches to Business Process Lifecycle Management
Integrating Video Information over Time. Example: Face Recognition from Video
Geografische Informationssysteme in der Planungspraxis
How to Improve the Use of Controlled Experiments as a Means for Early Technology Transfer
Knowledge Discovery in Digital Libraries
Combinatorial Scientific Computing, 01.02. - 06.02.2009
Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011]
Large Scale Variational Inference and Experimental Design for Sparse Generalized Linear Models
Integration verschiedener Institutionen in eine gemeinsame Aufgabenstellung durch Schaffung einer Datenschnittstelle
Security in Self-Organizing Systems
06171 Abstracts Collection -- Content-Based Retrieval
Visualisierung von automatisch erfaßten großen Datenbeständen aus dem Gesamtkomplex Luft - Boden - Grundwasser
Heterogeneous Networks on Multiple Levels
A Web of Knowledge: A Conceptual-Modeling Perspective
Continuous Semantics for Termination Proofs
End-system QoS management of multimedia applications
06421 Executive Summary -- Robot Navigation
The (empty?) Promise of FPGA Supercomputing
From Security to Dependability, 10.09. - 15.09.2006
Decomposition of Differential Polynomials
Local and Global Illumination in the Volume Rendering Integral
The Tower of Knowledge: a novel architecture for organising knowledge combining logic and probability
Lyrics-to-Audio Alignment and its Application
Cloth Simulation Based Motion Capture of Dressed Humans
Preference-based Problem Solving for Constraint Programming
09511 Abstracts Collection - Parameterized complexity and approximation algorithms
05301 Abstracts Collection - Exact Algorithms and Fixed-Parameter Tractability
On the Composition of Compositional Reasoning
A Network Design Problem
Non-Transitive Consumer Behavior
Affordances in an Ecology of Physically Embedded Intelligent Systems
Some Issues in Security Arising from Distribution
Thoughts on Computational Creativity
A Reference Architecture and Roadmap for Models@run.time Systems
Computer-assisted proofs - tools, methods and applications, 15.11. - 20.11.2009
Validation of Predictions with Measurements