yusuke1997/dblp-id-title huggingface dataset:
Causal inference from statistical data
Computer verification of algorithms using a formal proof system
Query processing in a DHT-based universal storage: the world as a peer-to-peer database
Service substitution: a behavioral approach based on Petri nets
ExPDT: Vergleichbarkeit von Richtlinien für Selbstregulierung und Selbstdatenschutz
Design and evaluation of transport protocols for wireless and mobile networks: in cellular and ad-hoc networks, particularly vehicular ad-hoc networks
Scalable authoring of diagnostic case based training systems
A security gateway for web service protocols
Faces and hands: modeling and animating anatomical and photorealistic models with regard to the communicative competence of virtual humans
Capacitive sensing and communication for ubiquitous interaction and environmental perception
Component-based model-driven software development
Unterstützung übergreifender Kooperation in komplexen Entwicklungsprozessen
Modeling software failures during systematic testing: the influence of environmental factors
Controlling physical multiagent teams: getting league independent results from RoboCup Soccer
Parallelism constraints in underspecified semantics
Empirical studies for the application of agile methods to embedded systems
Modeling linearly and non-linearly dependent simulation input data
Cooperative multi-robot soccer in a highly dynamic environment
Formal methods for real-time requirements engineering
Visual-Inertial Navigation for Autonomous Vehicles (Visuell-Intertiale Navigation für Autonome Fahrzeuge)
Informationsgüterhandel mit Hilfe autonomer Agenten: Gewinnmaximierung durch Preisdifferenzierung
Elektronische Verhandlungen in verteilten E-Business-Systemen
Internet-Rhetorik: Chancen und Widerstände des Orators auf der digitalen Agora
Methodologische Aspekte der Organisationsmodellierung in der Wirtschaftsinformatik: ein soziopragmatisch-konstruktivistischer Ansatz
Objekt orientierte Dienste in konvergierenden Kommunikationsnetzen
Dienstgüte in Wireless Mesh Networks
Interactive information retrieval with structured documents
Model Checking Concurrent Systems Using Temporal Logics
Geographisches Routing: Grundlagen und Basisalgorithmen
Illustrative Visualisierungstechniken zur Unterstützung der präoperativen Planung von chirurgischen Eingriffen
Methodologies for a Comprehensive Approach to Measuring the Performance of Decision Support Systems (Methoden für einen umfassenden Ansatz zur Leistungsmessung von Decision Support Systemen)
Immobiliencontrolling durch Business intelligence: Konzeption und prototypische Umsetzung unter Nutzung von SAP BI
Persistent arrays, path problems, and context-free languages
Formal language theory of hairpin formations
On integrating triple graph grammars and OCL for model-driven development
Mathematical Programming Approaches for Decoding of Binary Linear Codes
Shape representations for image based applications
Estimation of distribution algorithms and minimum relative entropy
Zur Lösung von zahlentheoretischen Problemen mit klassischen und Quantencomputern
Echtzeitfähige Rekonstruktion für die Flachdetektor-Computertomographie auf Grafikhardware
Modellunterstützte evolutionäre Optimierungsverfahren in JavaEvA
Fehlerlokalisierung in verketteten Produktionslinien am Beispiel von Lebensmittelverpackungsanlagen (Fault localisation in interlinked production lines with food packaging plants as example)
Platten-Scheduling und stochastische Service-Garantien für multimediale Daten-Server
Effektive und effiziente Navigation in Internetauftritten
Kinematic Modelling of the Human Hand for Robotics (Kinematische Modellierung der menschlichen Hand für Robotik)
Kontext- und interessengesteuerte Personalisierung von Touren mit einer mobilen Anwendung und deren Evaluation im Feld
Inhaltliche Gestaltung eines Data-Warehouse-Systems am Beispiel einer Hochschule
Multimediale und konfigurierbare Fernwirksysteme in prozessorgesteuerten Fertigungseinrichtungen: generisches Modell für System- und Dienstleistungsimplementierung
Generierung verständlicher Erklärungen für Semantic Web Applikationen
Umsetzung und Analyse der analogen Komponenten eines neuronalen Klassifikators auf Basis der μm-AMS-CMOS-Technologie
Notification agents for mobile route guidance
Inkrementelle Modellsynchronisation
Möglichkeit einer EDV gestützten Patientenverwaltung für die Nuklearmedizin mit dem Schwerpunkt auf die Nachsorge von radiojodbestrahlten Hyperthyreosepatienten
Self-Replicating Individuals
Bildmustererkennung mit Hilfe spärlich codierter Assoziativmatrizen (SpaCAM) am Beispiel von Kfz-Kennzeichen
Learning shepherding behavior
Geometric algorithms for algebraic curves and surfaces
Ein Risikomodell für Bausparkollektive
Computerunterstützung verteilt-kooperativer Bauplanung durch Integration interaktiver Simulationen und räumlicher Datenbanken (Computer Support for Collaborative Construction Engineering by Integration of Interactive Simulations and Spatial Databases)
Musiklernen am Computer: zur Qualität von Musik-Lernsoftware und ihrer empirischen Überprüfung
A model of visual motion perception
Multi-tier programming
Benutzerprofile für die Anfrageverarbeitung in verteilten Digitalen Bibliotheken
Joint channel coding and cryptography
Nutzerspezifische Gestaltung von Multimedialität in Internetauftritten
Automated support for process assessment in test-driven development
Integrated data, message, and process recovery for failure masking in web services
Inferring phylogenetic trees under the general Markov model via a minimum spanning tree backbone
High-performance computing in geoscience: data preprocessing by domain decomposition and load balancing
Analysis of Serial Chain Manipulator Structures with Respect to Efficient Actuation in Context of Abstractly Represented Tasks (Analyse von seriellen Manipulatorstrukturen im Hinblick auf effiziente Bewegungen im Kontext abstrakt repräsentierter Aufgaben)
Spectral properties of the kernel matrix and their relation to kernel methods in machine learning
Evaluation of state-of-the-art hardware architectures for fast cone-beam CT reconstructions
Efficient collision detection for point and polygon based models
Gesture-based interaction with time-of-flight cameras
Entwurf und Modellierung einer Produktlinie von Software-Konfigurations-Management-Systemen
Algorithmus und Softwarearchitektur für die binäre Codierung von strukturierten Dokumenten
An integrated operational semantics for a UML core based on graph transformation
Bisimulations and model refinement
IT-Dienstmodellierung: Modellierung von Beziehungen und Abhängigkeiten zwischen Geschäftsprozessmodellen, Softwarekomponenten und der IT-Infrastruktur
A client server architecture for customized graphical user interfaces on the client side
Computational methods for breath metabolomics in clinical diagnostics
Werkzeuggestützte formale Analyse von Echtzeitsystemen
Ein Beitrag zur Design-Raum-Evaluierung von SMT-Architekturen für objektbasierte Multimedia-Anwendungen
Selbstorganisierende Empfehlungssysteme im Internet: eine interdisziplinäre Betrachtung zwischen Technik und Recht
Knowledge extraction and summarization for textual case-based reasoning: a probabilistic task content modeling approach
Density-based clustering in large-scale networks
Spatial modeling of activity and user assistance in instrumented environments
A method for image classification using low-precision analog computing arrays
Softwareunterstützung für adaptive eHome-Systeme
Speicherverwaltung und Bootstrategien für ein Betriebssystem mit transaktionalem verteilten Heap
Cognitive context awareness
Variational correlation and decomposition methods for particle image velocimetry
The feasibility, semantics, and scope of mobile wireless device-to-device networking
Communally governed transactions among collaborative and decentralized trading agents
Learning dynamic shape models for Bayesian tracking
Pathogenesis-related proteins: phylogenetic characterization
Page segmentation of digital document and layout analysis
Dynamische Clusteranalyse-Verfahren, ihre Bewertung und deren Anwendung im medizinischen Umfeld
Interaktive 3D-Modellerfassung mittels One-Shot-Musterprojektion und schneller Registrierung
Komponentenbasierte Entwicklung von NC-Steuerungssystemen
Tracking domain knowledge based on segmented textual sources
Security control brought back to the user
Detektion von Gesichtern in Farbbildern
Cross-layer bandwidth management and optimization in TDMA based wireless mesh networks using network coding
Sprachbasierte Konstruktion sicherer Systeme
Interactive volume rendering in virtual environments
Frequency-Domain Channel Estimation and Equalization in Optical Communication Systems (Frequenzbereichs-Kanalschätzung und -entzerrung in optischen Übertragungssystemen)
Computer aided diagnosis methods for coronary CT angiography
Parallel filter algorithms for data assimilation in oceanography
Werkzeuggestützte Identifikation von Strukturproblemen bei modellgetriebener Softwareentwicklung
Compiler verification in the context of pervasive system verification
Modellierung der Farberscheinung mit Hilfe einer wissensbasierten, an neuronalen Netzen orientierten Struktur
Automatische Performanzoptimierung paralleler Architekturen
Security concepts for robust and highly mobile ad-hoc networks
Simulationsgestützte Optimierung von Fertigungsabläufen in der Produktion elektronischer Halbleiterspeicher
Plenoptic modelling and rendering of complex rigid scenes
Synchronous collaboration in the age of ubiquitous computing: requirements, application models, software architecture
Wahrnehmung in virtuellen Welten
Meta-analysis on the impact of in-service professional development programs for preschool teachers on quality ratings and child outcomes
Multi-threaded user interfaces in Java
Aufbau von produktionsnahen Teaminformationsportalen bei kundenindividueller Produktion mittels Entwurfsmustersprachen
Architecture synthesis for adaptive multiprocessor systems on chip
Zur strafrechtlichen Verantwortlichkeit von Zugangsprovidern in Deutschland und der Umsetzung der E-Commerce-Richtlinie in Europa
Applications of multidimensional scaling to graph drawing
Intelligente Methoden für mechatronische Systeme in der Nahrungsmittelindustrie
Middleware für evolutionäre Architekturen und Anwendung für ein kooperatives Produktionskonzept im Schienengüterverkehr
A user oriented map design in the SDI environment: using the example of a European reference map at medium scale
Einsatz von Wissen über Zustandsverhalten für die wissensbasierte Konfigurierung technischer Systeme
Annotationen zur Verbesserung der Wiederverwendbarkeit von Lehrmaterialien
Einsatz neuronaler Netze für die Erkennung und Klassifizierung von Promotorstrukturen in genomischen DNA-Sequenzen
Fluoroskopiebasierte Navigation zur intraoperativen Unterstützung orthopädischer Eingriffe (Fluoroscopy-based Navigation for Intraoperative Assistance of Orthopaedic Surgical Interventions)
Vorgehensmodelle im Spannungsfeld traditioneller, agiler und Open-source-Softwareentwicklung: Analyse, Vergleich, Bewertung
Software engineering for sustainability
Patternbasierte Verifikation objektorientierter Modelle: Methodik, Semantik und Verfahren
Model-driven development of QoS-enabled distributed applications
IT-bezogene Herausforderungen im Kontext von Unternehmensdesinvestitionen (IT Challenges in Corporate Divestitures)
Entwurf rekonfigurierbarer Systemarchitekturen für mobile Roboter
Generische Interaktionsmuster für aufgabenorientierte Dialogsysteme
Security in mobile agent systems
Cluster-Checkpointing mit transaktional verteiltem Speicher: effiziente Verfahren für Sicherung und Rücksetzung von verteilten Betriebssystemen
The separated user interface in ambient computing environments: a holistic framework-based approach for design, infrastructures and tools
Neural-symbolic integration
Beweisertechnologien für die Produktdatenverwaltung
Modeling of Behavioral Changes in Agent-Based Simulations (Modellierung von menschlichen Verhaltensänderungen für agentenbasierte Simulationen)
Ein Beitrag zur Realisierung von Systemarchitekturen für Head-Mounted Displays auf Basis bidirektionaler OLED-Mikrodisplays
Intuitive interaction for immersive visualization systems
SCTP - evaluating, improving and extending the protocol for broader deployment
Approximate information filtering in structured peer-to-peer networks
Datenreduktion und ihre Anwendungen in adaptiven mechanischen Systemen
Exploration and mapping with mobile robots
On the formal foundation of a verification approach for system-level concurrent programs
Eine datenbankbasierte Entwicklungsumgebung zur Online-Generierung von multimedialen Lernmodulen für das Lernen im Fach Technik
OOCOSIM: an object-oriented co-design method for embedded HW-SW systems
Ressourcensparende Algorithmen zur exakten Lokalisierung in drahtlosen Sensornetzwerken
Rekonstruktion von Phasenobjekten mit Hilfe holographischer Röntgentomographie
Autonomic Control Mechanisms for Service-Oriented and Virtualized IT Infrastructures
Changes and bugs mining and predicting development activities
Solving Systems of Positive Polynomial Equations (Lösung positiver polynomieller Gleichungssysteme)
Verfahren kontextbasierter Nutzerzielanalyse
Statistical issues in machine learning: towards reliable split selection and variable importance measures
Towards Reproducibility in Alternative Splicing Analysis (Auf dem Weg zur Reproduzierbarkeit bei der Analyse des alternativen Spleißens)
Server-Virtualisierung im Rechenzentrum: Konsolidierung von IT-Infrastruktur am Beispiel von SAP-Systemlandschaften
Augmented Reality in der Fahrzeugnavigation (Augmented Reality within an in-vehicle navigation system)
Effiziente Verbreitung personalisierter audiovisueller Medien durch fragmentierte Übertragung
Mulitscale calculus with applications in quantitative finance (Multiskalenkalkül mit Anwendungen in der Finanzmathematik)
Semantic Mediation between Loosely Coupled Information Models in Service-Oriented Architectures
Hierarchical real-time recognition of compound objects in images
Automatisierte Experimentplanung im Rahmen von Simulationsstudien: Konzeption und Realisierung eines verteilten simulationsbasierten Optimierungssystems
Virtual humanoids and presence in virtual environments
Algorithm libraries for multi-core processors
Vektorquantisierung und kontextabhängige arithmetische Codierung für MPEG-4 AAC
Cooperative communication systems
Fast 3D object detection and pose estimation for augmented reality systems
Designing and enacting cross organisational business processes: a model driven, ontology-based approach
Mixed reality design using unified energy interfaces
Building and evaluating domain ontologies: NLP contributions
Automatische Erzeugung vollständiger dreidimensionaler Flächenmodelle
Methodenorientierte Gestaltung von Entwicklungsprozessen am Beispiel der modellbasierten Entwicklung eingebetteter Fahrzeugsoftware
Residential broadband internet traffic: characterization and security analysis
Run-time reconfigurable RTOS for reconfigurable systems on chip
Using mobile relays for ensuring connectivity in sparse networks
ManufAg - ein Rahmenwerk für agentenbasierte Produktionssteuerungssysteme
Optimization in bioinformatics
Automatische Modellierung gebundener Handschrift in einem HMM-basierten Erkennungssystem
Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction
Analysis of new trends in the web from a network perspective
Applications, challenges and new perspectives on the analysis of transcriptional regulation using ep
Eye gaze tracking for human computer interaction
WASABI: Affect simulation for agents with believable interactivity
Recommender systems for information providers: designing customer centric paths to information
Parameter dependencies for reusable performance specifications of software components
Hybride, tolernate Synchronisation für die verteilte und parallele Simulation gekoppelter Rechnernetze
Leistungssteuerung chirurgischer Instrumente in der Kopf-Chirurgie (Navigated Control for surgical instruments in head surgery)
Exploratory analysis of multivariate image data
Niching Methods in Heuristic Optimization
Informationsaufnahme und -speicherung in Abhängigkeit von der Sprecherstimme
Datenschutz und Datensicherheit unter besonderer Berücksichtigung des elektronischen Geschäftsverkehrs zwischen öffentlicher Verwaltung und privaten Unternehmen
Laplace spectra for shape recognition
A fault tolerant dynamic time triggered protocol
Automated service oriented impact analysis and recovery alternative selection
Modern aspects of classical automata theory: finite automata, biautomata, and lossy compression
Design and Application of Quantified Self Approaches for Reflective Learning in the Workplace
Wireless sensor network pattern based fault isolation in industrial applications
A new assertion language covering multiple levels of abstraction
Optimising quality of service for the composition of electronic services
Temporal sensorfusion for the classification of bioacoustic time series
Integration von Data und Document Warehouses: Verknüpfung strukturierter und unstrukturierter Daten in entscheidungsunterstützenden Informationssystemen durch den Knowledge Integrator
Entwurf der Architektur für ein Peer-To-Peer basiertes verteiltes Serversystem zur Unterstützung von E-Learning-Applikationen
Semiautomatische Erstellung semantischer Netze
Einsatzentscheidung und -steuerung von SAP Standard Business Software in der deutschen Automobilindustrie (Application decision and steering of SAP standard business software in Germany's automotive industry)
Use Case points 3.0: Implementierung einer Use Case bezogenen Schätzmethode für das Software-Engineering betrieblicher Informationssysteme
Towards metadata-aware algorithms for recommender systems
Authoring objektbasierter AV-Anwendungen
A log-linear discriminative modeling framework for speech recognition
Variational domain decomposition for parallel image processing
An automated policy refinement process supported by expert knowledge
Baumbasiertes Dualmodeschlüsselmanagement für die Multicast-Kommunikation
Statistical Learning of Biological Structure in Human Brain Imaging
Parallelisierung von Algorithmen zur Nutzung auf Architekturen mit Teilwortparallelität
Reducing context uncertainty for robust pervasive workflows
Real wars on virtual battlefields: the convergence of programmable media at the military civilian margin
Extraction of semantic relations from text with tree kernel methods
CSP, cooperative service provisioning using peer-to-peer principles
Online scheduling for buffering problems
Aspektorientierte Komponentensysteme zur Unterstützung weitreichender Geschäftsprozesse
A sketch based modeling interface for pen input displays
Zur Beitragshöhe von Open-Source-Programmierern, Weblogautoren und Onlinecommunity-Mitgliedern: eine Analyse mit Hilfe partizipationsökonomischer Ansätze
Immersive interaktive Entwicklung projektionsbasierter virtueller Umgebungen
SWeMPs: a semantic web-enabled multimedia presentation system
Two-dimensional packing problems
Management dynamischer Geschäftsprozesse auf Basis statischer Prozessmanagementsysteme
Model integration and transformation: a triple graph grammar-based QVT implementation
Ablaufüberwachung objektorientierter Programme: graphentheoretische Algorithmen für die Ablaufanalyse
Static analysis of embedded software with priority scheduling and interrupts
Dynamically reconfigurable dataflow architecture for high performance digital signal processing on multi FPGA platforms
Stabile und schnelle Algorithmen zur Approxiamtion von Parametern eines elliptischen Differentialope
Robust Automatic Transcription of Lectures
Automated Field Usability Evaluation Using Generated Task Trees
Geometric Methods for 3D Reconstruction from Large Point Clouds (Geometrische Methoden zur 3D-Rekonstruktion aus großen Punktwolken)
Fairness in computer networks
Virtual separation of concerns: toward preprocessors 2.0
Large Scale Knowledge Extraction from Biomedical Literature Based on Semantic Role Labeling (Wissensextraktion im Großmaßstab aus biomedizinischen Texten mittels Semantic Role Labeling)
Formalizing and Modeling Traffic Rules Within Interactive Behavior Planning (Formalisierung und Modellierung von Verkehrsregeln innerhalb der Interaktiven Verhaltensplanung)
Routing und Adressierung in mobilen multi-hop Ad-hoc-Netzen
Accelerated Registration and Reconstruction for Functional Nuclear Imaging (Beschleunigte Registrierung und Rekonstruktion für funktionale nukleare Bildgebung)
Simulation and visualization of in- and outdoor sound
Anwendung der Metro-Map-Metapher auf die Gestaltung von Unternehmensportalen
CGiS: high-level data-parallel GPU programming
Perzeption, Umweltmodellierung und Aktionsplanung in einem Team kooperativer, autonomer mobiler Roboter
Weiterbildung in virtuellen Lernumgebungen: Grundlage, Entwicklung und Evaluation eines Konzepts
Corpus based methods for ontology modularization in healthcare
Efficient line and patch feature characterization and management for real-time camera tracking
The economics of quality: an empirical analysis of the software industry
Wiederverwendungsbasierte Entwicklung von Kommunikationssystemen
Adaptive Steuerung der Lastverteilung datenparalleler Anwendungen in Grid-Umgebungen
Puncturing, mapping, and design of low-density parity-check codes
Rapid Histogram-Based Scene Interpretation in Three-dimensional Surface Point Clouds (Histogrammbasierte Szeneninterpretation auf dreidimensionalen Oberflächenpunktwolken)
High data availability and consistency for distributed hash tables deployed in dynamic peer-to-peer communities
Inferring score level musical information from low-level musical data
On active distances for trellis coded modulation
Beitrag zum Entwurf und zur Qualitätssicherung mediengestützter Weiterbildungsangebote am Beispiel der Automatisierungstechnik
Service level agreement aware resource management
Multi-modal Multi-temporal Brain Tumor Segmentation, Growth Analysis and Texture-based Classification (Multispektrale, multitemporale Bildanalyse zur Segmentierung, Wachstumsanalyse und Klassifizierung von Gerhirntumoren)
Eine Längsschnittstudie der Kommunikationsaktivität in virtuellen Gemeinschaften
Selfish network creation: on variants of network creation games
Dynamic and groupwise statistical analysis of 3D faces
Verfahren zur Übertragung von Dienstgüteaussagen
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL (Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL)
Algorithms for audio signal segmentation and separation
Adaptive Referenzmodellierung: methodische Konzepte zur Konstruktion und Anwendung wiederverwendungsorientierter Informationsmodelle
An autonomic cross-platform operating environment for on-demand internet computing
Konfigurierbare Hardwarebeschleuniger für selbst-organisierende Karten
Verfahren zur Genexpressionsanalyse
Efficient Motion Planning for Intuitive Task Execution in Modular Manipulation Systems (Effiziente Bahnplanung und intuitive Aufgabenbeschreibung zur Erzeugung erwartungstreuen Verhaltens von Mehrrobotersystemen)
A fine-grain scalable and channel-adaptive hybrid speech coding scheme for voice over wireless IP: improvements through multiple description coding
Development of a novel context prediction algorithm and analysis of context prediction schemes
Formal verification of a processor with memory management units
Robuste Bilderkennung mit lokalen linearen Abbildungen und elastischer Graphenanpassung
QBäume: effizientes Retrieval von Graphen mit Hilfe von Strukturinvarianten
Visual computing for computer assisted interventions
Die Erweiterung des IHO-S-57-Datenmodells um Komponenten zur Modellierung des Zeitbezugs von Objekten
Integrierte Low-cost-eHome-Systeme: Prozesse und Infrastrukturen
Lastbezogene Rekonfiguration von komponentenbasierten verteilten Systemen mit benutzergesteuerten Anwendungen
Noncooperative scalar and vector-valued convex games with constraints and applications to competitive routing in communication networks