yusuke1997/dblp-id-title huggingface dataset:
Verteilende eBusiness-Systeme: organisatorische Flexibilisierung am Beispiel eines verteilenden eUniversity-Systems
Aspect-oriented workflow languages: AO4BPEL and applications
Designing text and visualizations in multimedia learning: how to overcome split attention effects?
Reflektive mobile Agenten in ubiquitären Systemen
Modeling of internet traffic: internet access influence, user interference, and TCP behavior
Integrative computational approaches for studying stem cell differentiation and complex diseases
ExTraCAD: Computerunterstützung des architektonischen Tragwerkentwurfs
Generating Tests for Feature Interaction (Systematischer Test von Funktionsinteraktionen mittels Testfallgenerierung)
Untersuchungen zur Nutzung von Teleteaching im universitären Bereich
Analyzing the user's state in HCI: from crisp emotions to conversational dispositions
Development and utilization of internal domain-specific languages
Supporting virtual product engineering processes by integrating a neutral, lightweight and CAD-derived data format
Datenschutz durch Technik: rechtliche Förderungsmöglichkeiten von privacy enhancing technologies am Beispiel der Videoüberwachung
Dynamics and efficiency in topological self-stabilization
Challenges in Deployment of Advanced Radioguided Surgery Solutions (Herausforderungen beim Einsatz fortschrittlicher Lösungen für die radiogestützte Chirurgie)
Geometrische Modellierung mit Superquadriken zur Optimierung skelettaler Diagnosesysteme
Entwicklung eines Reportgenerators zur prozeßoptimierenden Meßsignalauswertung an Walzanlagen
Effiziente Visualisierungs- und Interaktionsmethoden zur Analyse numerischer Simulationen in virtuellen und erweiterten Realitäten
Learning speech translation from interpretation
Anchoring symbols to percepts in the fluent calculus
Stereo-based 3D scene reconstruction for telepresence and teleaction
Ein Modell der Open-Source-Entwicklung
Behavior acquisition in artificial agents
I-centric user interaction
Dependable Dynamic Adaptive Systems - Approach, Model, and Infrastructure
Hauptversammlung und Internet
Dynamic, interactive virtual environments
Collaborative Music-Making with Interactive Tabletops (Kollaboratives Musizieren mit interaktiven Tisch-Bildschirmen)
Patternbasiertes User Interface Design für multimodale Interaktion: Identifikation und Validierung von Patterns auf Basis einer Analyse der Forschungsliteratur und explorativer Benutzertests an Systemprototypen
Effects of noise correlations on the performance of quantum error-correcting and -avoiding methods
Overlay network mechanisms for Peer-to-Peer systems
Advances in compressed sensing for magnetic resonance imaging
Sprachliches Lehngut im World Wide Web: Neologismen in der französischen und spanischen Internetterminologie
Flexible and reconfigurable support for fault-tolerant object replication
Performance assessment of resource management strategies for cellular and wireless mesh networks
Region & gateway mapping: acquiring structured and object-oriented representations of indoor environments
Ein Modell für das A-Priori-Integritätsmanagement in Multicast-Gruppen
Entwicklung eines integrierten multikriteriellen Entscheidungsunterstützungssystems für Gruppen
Network-aware optimization in distributed data stream management systems
Constraintbasierte Testdatenermittlung für Automatisierungssoftware auf Grundlage von Signalflussplänen
Energy-aware Computing in Embedded Systems and its Operating System Support (Energiebewusste Datenverarbeitung in Eingebetteten Systemen und deren Betriebssystemunterstützung)
Beiträge zur Algorithmik verallgemeinerter diskreter Fouriertransformationen
Design and Analysis of Opaque Signatures
Bildverarbeitung für ein generisches Entladesystem
Dienstgüte in Datennetzen: Methodik der hochpräzisen Messung der Dienstgüte in IP-Netzen
Partitioned Fluid-Structure Interaction on Massively Parallel Systems (Partitionierte Fluid-Struktur-Wechselwirkung auf Massiv-parallelen Systemen)
Benutzerauthentifizierung anhand des Tippverhaltens bei Verwendung fester Eingabetexte
Analysis and correctness of algebraic graph and model transformations
SEIN = SER oder ESTAR? - das ist hier die Frage: Lösungsvorschlag in einem maschinellen Übersetzungssystem
Entwicklung eines rationalen Entscheidungsprozesses für Architekturentscheidungen
Process based knowledge management support for software engineering
On functional logic programming and its application to testing
Stream based design of distributed systems through refinement
Modellierung sozialpsychologischer Faktoren in Personenstromsimulationen (Modelling social psychological factors in pedestrian dynamics simulation)
Unterstützung der Adoption kommerzieller Standardsoftware durch Diagramme
An agent-based approach for privacy-preserving information filtering
Evaluation of electronic voting: requirements and evaluation procedures to support responsible election authorities
Architektur eines sicheren Mobile-Agenten-Systems für das Netzmanagement
Statistical Intensity Prior Models with Applications in Multimodal Image Registration
Position-based routing strategies
Development and Integration of Structure Based Visualization Tools in ARB Software Package (Entwicklung und Integration von Werkzeugen für die strukturbasierte Visualisierung im ARB Softwarepaket)
Face image analysis with convolutional neural networks
Über die Komplexität der Multiplikation in eingeschränkten Branchingprogrammmodellen
IT-Unterstützung des offenen Innovationsmanagements: Anforderungen, Entwicklung und Evaluation einer Social-Software-basierten Open-Innovation-Plattform für Unternehmen
Bewertung des UB-Baums unter Berücksichtigung der Sortierung
Machine Learning for Medical Instrument Detection and Pose Estimation in Retinal Microsurgery (Maschinelles Lernen für medizinische Instrumentenerkennung und Einschätzung der Pose in der retinalen Mikrochirurgie)
Solving Polynomial Systems on Semirings (Lösen polynomieller Systeme über Semiringen)
Understanding Multi-Dimensional Code Couplings
Higher order nested data parallelism: semantics and implementation
Discriminative training and acoustic modeling for automatic speech recognition
Eigenschaften kleinster dominierender Mengen und Dominanzzahlen von Damengraphen
Einsatzpotenziale, Nutzungsprobleme und Lösungsansätze mobil tragbarer Informations- und Kommunikationstechnologien: Untersuchung des Spannungsfelds zwischen mobilen Arbeitstätigkeiten jenseits der Büroarbeit und ihrer Unterstützung durch mobile informations- und kommunikationstechnologische Systemlösungen
Incorporating relational data into the Semantic Web
Workload modeling for parallel computers
On Hard Subgraph Problems: Parameterized Algorithms and Efficient Implementations
Zum reformpädagogischen Potential des Einsatzes Neuer Medien in der Lehre am Beispiel des Projekts TeleStudent
Probabilistic Machine Learning Strategies for Coarse-Graining of Molecular Dynamics at Equilibrium (Probabilistische Strategien des maschinellen Lernens zur Multiskalenmodellierung atomistischer Systeme)
Advanced methods for image information mining system: evaluation and enhancement of user relevance
Kundennahe Entwicklungswerkzeuge für den Entwurf mobiler Geschäftsprozesse
Three-Valued Abstraction for Stochastic Systems
Particle swarms for constrained optimization
Neigungsbasierte Registrierung optisch gemessener Flächen im euklidischen Raum
Data mining auf multidimensionalen und komplexen Daten in der industriellen Bildverarbeitung
Transaktionale replizierte Objekte für verteilte und parallele Anwendungen
Efficient Change Management of XML Documents
The 'realism' of algorithmic human figures: a study of selected examples 1964 to 2001
Versatility of bulk synchronous parallel computing: from the heterogeneous cluster to the system on chip
Kontextualisierte Visualisierung am wissensintensiven Arbeitsplatz
Semi-supervised learning with committees: exploiting unlabeled data using ensemble learning algorithms
Provable protection of confidential data in microkernel based systems
Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung
Anonymous communication in the age of the internet
Änderungspropagation für autonome und heterogene Informationssysteme
Faktorisieren mit dem Number Field Sieve
Hardware assisted occlusion culling for scene graph systems
Datenräume, Informationslandschaften, Wissensstädte: zur Verräumlichung des Wissens und Denkens in der Computermoderne
Statische Verifikation von Softwareprotokollen
Hierarchical vector quantization: theoriy and application to speech coding
Indikatoren-basierte Entwurfsraumexploration für Sensor-ASICs in automobilen Applikationen
Generalised interaction mining: probabilistic, statistical and vectorised methods in high dimensional or uncertain databases
Time-efficient asynchronous service replication
ONDEX - a data integration framework for the life sciences
Greifplanung und Greifskills für reaktives Greifen
Finite and asymptotic time state estimation for linear and nonlinear systems
Ein Modell zur Beschreibung und Implementierung von Bildanalysefunktionen
Collision detection and post-processing for physical cloth simulation
GoWeb: semantic search and browsing for the life sciences
Architecture and framework for trustworthy autonomous systems
Softwareentwicklung zur elektronischen Datenverarbeitung und Qualitätssicherung im Screeninglabor auf angeborene Endokrine und metabole Störungen
Entwicklung und Evaluierung neuartiger Verfahren zur automatischen Gesichtsdetektion, Identifikation und Emotionserkennung
Über assoziative Speicherung
BASE - ein begriffsbasiertes Analyseverfahren für die Software-Entwicklung
Algorithms for the Steiner problem in networks
Accessing spoken interaction through dialogue processing
Fast, efficient and predictable memory accesses: optimization algorithms for memory architecture aware compilation
Adaptive und Mutual-Information-basierte Verfahren für eQTL-Studien
Evolutionary multi-objective optimization: on the distribution of offspring in parameter and fitness space
Evaluation eines medizinischen Informationssystems im World Wide Web: Nutzungsanalyse am Beispiel www.dermis.net
Verteilt agierendes System zur Bereitstellung von geometrie- und bild-basierten Approximationen für das Multiresolution Rendering
Solution techniques for specific bin packing problems with applications to assembly line optimization
Embedding metadata in computer graphics for interaction: existing techniques, introduction for the digital medium
Konzepte und Technologien zur Anwendungs-Integration
Intuitive algorithms
Data distribution and communication management for parallel systems
Quantifying and predicting the influence of execution platform on software component performance
Model checking finite paths and trees
Direct surface extraction from unstructured point based volume data
Simulating pedestrian dynamics (Simulation von Fußgängerdynamik)
Robuste Spracherkennung unter raumakustischen Umgebungsbedingungen
Untersuchungen zur Kostenoptimierung für Hardware-Emulatoren durch Anwendung von Methoden der partiellen Laufzeitrekonfiguration
Untersuchung von Synchronisationsphänomenen in dynamischen Systemen mit zellularen zeuronalen Netzen
Structural self-organization in multi-agents and multi-robotic systems
Collocation and term extraction using linguistically enhanced statistical methods
High Order Adaptive Semi-Lagrangian/Volume-Integral Methods for Parallel Advection-Diffusion Simulations (Adaptive Semi-Lagrangian/Volumenintegral-Methode Hoher Ordnung für Parallele Advektions-Diffusions Simulationen)
Situationsbezogene Informationsversorgung in der industriellen Auftragsabwicklung: erweiterte OLAP-Techniken für Workflow-einbeziehende PPS
Recognition of handwritten Amharic bank checks using Markov models
Composition of hierarchic default specifications
Behavioral congruences and verification of graph transformation systems with applications to model refactoring
Adaptive Overlays in Peer-to-Peer Netzwerken
Dezentrale, anomalie-basierte Erkennung verteilter Angriffe im Internet
Entwicklung nichtlinearer tomographischer Rekonstruktionsverfahren für die Materialprüfung und Prozessüberwachung
Continual and Robust Estimation of Camera Parameters in Broadcasted Sports Games (Kontinuierliche und robuste Schätzung der Kameraparameter in Sportübertragungen)
Semilineare Approximation in der Bildrekonstruktion
Klassifikation morphologischer und pathologischer Strukturen in koronaren Gefäßen auf Basis intravaskulärer Ultraschallaufnahmen zur klinischen Anwendung in einem IVB-System
Functional properties of the default mode network
Automatische auflösungsabhängige Anpassung von Bildanalyse-Objektmodellen am Beispiel Straßen
Towards unifying semantic constraints and security constraints in distributed information systems
Checkpointing in heterogenen, verteilten Umgebungen
Multi-agent reinforcement learning algorithms
Design of the SPEEDOS operating system kernel
Eine generische Internet-Data-Entry-Komponente am Beispiel der Deutschen Hodgkin Studiengruppe
Verlässlichkeitsanalyse paketvermittelnder Neztwerke mittels diskreter ereignisorientierter Simulation
Ansichtsbasierte Objekterkennung mit Hilfe optimierter Musterbäume (Appearence Based Object Recognition by Use of Optimized Template Trees)
Ermittlung von Zusammenhängen zwischen enzymatischer Aktivität und Krankheiten durch die automatische Analyse wissenschaftlicher Publikationen
Sequence-based prediction of protein-protein interactions (Sequenzbasierte Vorhersage von Protein-Protein Interaktionen)
Standardisierung und Konvertierung: ökonomische Bewertung und Anwendung am Beispiel von XML/EDI
From formal semantics to verified slicing: a modular framework with applications in language based security
Eine Vorgehensweise zur systematischen Modellierung webbasierter Anwendungen
Validation of Safety-Critical Distributed Real-Time Systems (Validierung von sicherheitskritischen verteilten Realzeitsystemen)
Rückverfolgbarkeitssysteme in der Ernährungswirtschaft: eine empirische Untersuchung des Investitionsverhaltens deutscher Unternehmen
Die Stecknadel im Heuhaufen: natürlichsprachlicher Zugang zu Volltextdatenbanken
Formal concept analysis methods for description logics
TeachTool - ein Autorensystem mit didaktischer Benutzerunterstützung
Vision based tracking and recognition of dynamic hand gestures
Verteilt organisierte Mehrteilnehmer-Videokonferenzen für geschlossene Gruppen im Internet
Investigations on linear transformations for speaker adaptation and normalization
Ein datenzentriertes Programmiermodell für verteilte virtuelle Welten
Systemunterstützung für den Abgleich von Geschäftsobjekten zwischen Anwendungsservern über Web Services
Unscharfe Validierung strukturierter Daten: ein Modell auf der Basis unscharfer Logik
Kompression großer Bilddatenbanken mittels Ähnlichkeitsgruppierung
Algorithmic differentiation of Java programs
Online-Aggregation über Datenströmen mit Verfahren der mathematischen Statistik in großen Datenbanksystemen
Management qualitätsbasierter Gruppenkommunikation im Internet
Verteilungsplanung für Komponenten in Smart-item-Umgebungen
Neuronale Netze als Modell Boolescher Funktionen
Affective states during problem solving: The role of feedback, individual performance, and motivation
Chiffriermaschinen und Entzifferungsgeräte im Zweiten Weltkrieg: Technikgeschichte und informatikhistorische Aspekte
An authoring framework for interactive narrative with virtual characters
Self-Coordinated Radio Resource Management for Dense and Chaotic Wireless Networks
Framework zur dezentralen Integration systemübergreifender Geschäftsprozesse
Efficient and flexible cryptographic co-processor architecture for server application
Neues Verfahren zur invarianten Objekterkennung und -lokalisierung auf der Basis lokaler Merkmale
Performance Analysis of Intermediate Systems Serving Aggregated ON/OFF Traffic with Long-Range Dependent Properties
Automatic Image to Image Registration for Multimodal Remote Sensing Images (Automatische Bildregistierung für Multimodale Fernerkundungsbilder)
Modell zur Optimierung der Entwicklung und Produktion von E-Learning-Materialien für die akademische Aus- und Weiterbildung: Anforderungen an ein E-Learning-Kompetenzzentrum
Föderierte ERP-Systeme auf Basis von Web-Services
Reverse Method Engineering: Methode und Softwareunterstützung zur Konstruktion und Adaption semiformaler Informationsmodellierungstechniken
A sustainable system development method with applications
Komposition temporallogischer Spezifikationen: Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions
Software effort estimation with well-founded causal models
Konzepte der Beschreibung interaktiver Systeme
Parallel systems as mildly context sensitive grammar formalismus
Run-time reconfigurable multiprocessors
Semantic service oriented architectures in research and practice
Introducing innovations into open source projects
Machine teaching: a machine learning approach to technology enhanced learning
Topologieoptimierung phonetischer Hidden-Markov-Modelle mittels Erkennungssimulation
Echtzeitsimulation großer Grafikmodelle
Integrierte Simulation und Emulation eingebetteter Hardware/Software-Systeme
Efficient and secure end-to-end mobility support in IPv6
Data Mining and Machine Learning Methods for High-dimensional Patient Data in Dementia Research: Voxel Features Mining, Subgroup Discovery and Multi-view Learning (Data Mining und Maschinelles Lernen Verfahren für Hochdimensionale Patientendaten in Demenzforschung : Voxel Merkmale Mining, Subgroup Discovery und Multi-View-Learning)
Verification of sequential imperative programs in Isabelle-HOL
Bringing iterative design to ubiquitous computing: interaction techniques, toolkits and evaluation methods
Kryptosysteme auf Basis imaginärquadratischer Nichtmaximalordnungen
Automatic 3D world modeling with high-precision laser scanner
Parallele Visualisierung: ein Vergleich
Processing rank aware queries in schema based P2P systems
On symmetry reduction in model checking via graph canonicalisation
The Kiel Esterel processor: a multi-threaded reactive processor
System support for spontaneous pervasive computing environments
The structure of a type safe operating system
Risk-Constrained Interactive Planning for Balancing Safety and Efficiency of Autonomous Vehicles (Risikobeschränkte Interaktive Planung zur Abwägung von Sicherheit und Effizienz autonomer Fahrzeuge)
Automatisierte Kompatibilitätstests für fachliche Software-Komponenten
A study in direct policy search
JoSchKa - Jobverteilung in heterogenen und unzuverlässigen Umgebungen
Visual document analysis: towards a semantic analysis of large document collections
An electronic chalkboard for classroom and distance teaching
Kooperative Multi-Roboter-Wegplanung durch heuristische Prioritätsanpassung
User modeling servers: requirements, design, and evaluation
High-fidelity haptics in multimodal human-robot interaction
Probabilistic modeling for segmentation in magnetic resonance images of the human brain
An ontology based approach for managing and maintaining privacy in information systems
Confidence measurement techniques in automatic speech recognition and dialog management
Reducing complexity for the verification of STATEMATE designs
Robustes transaktionsbasiertes EDF-Scheduling für hybride Realzeitsysteme
Car-to-X Communication in Heterogeneous Environments
A Generic Approach to the Recognition and Analysis of Sketched Diagrams Using Context Information
Intelligente Bildersuche durch den Einsatz inhaltsbasierter Techniken
Deformation Tracking in Depth and Color Video - An Analysis by Synthesis Approach
Modularization and multi-granularity reuse of learning resources
Eine policybasierte Zugriffskontrollarchitektur für das Multi-Service-Internet
Requirements Engineering Artifact Quality: Definition and Control (Qualität von Anforderungsartefakten: Definition und Steuerung)
Virtual environments for grid computing
SEM-based motion control for automated robotic nanohandling
Virtualization based security training
Das 3d-Puzzle-Problem: effiziente Methoden zum paarweisen Zusammensetzen von dreidimensionalen Fragmenten
Enabling efficient, robust, and scalable wireless multi-hop networks: a cross-layer approach exploiting cooperative diversity
Prototypische Entwicklung einer Trend basierten Datenbank-Suchmaschine
Integrationskonzept für den Entwurf multimedialer Umgebungen
Efficient point-cloud processing with primitive shapes
Robust video content analysis via transductive learning methods
Automatisierte Konformitätsprüfung digitaler Bauwerksmodelle hinsichtlich geltender Normen und Richtlinien mit Hilfe einer visuellen Programmiersprache (Automated compliance checking of digital building models regarding applicable standards and guidelines using a visual programming language)
Röntgenbasierte Bildgebung mittels eines roboterisierten C-Bogen-Systems
Tolerierbare Inkonsistenzen in Konzeptbeschreibungen
VoIP performance of LTE networks: VoLTE versus OTT
Model-based decision support of task allocation in global software development
Aspects of noisy neural information processing
Acceleration methods for ray tracing based global illumination
FxQL: eine Anfragesprache für den flexiblen Zugriff auf objektorientierte Datenbanken
A robust face recognition algorithm for real-world applications
Storing and querying large XML instances
Modellbasierte Konfiguration von Sicherheitsdiensten
Eingebettete dynamische Bayessche Netze n-ter Ordnung
Ein generischer Ansatz zur Realisierung verteilter Datenerfassung in der vernetzten klinischen Verbundforschung
Human-Machine Skill Transfer in Robot Assisted, Minimally Invasive Surgery (Mensch-Maschine Skilltransfer für die Robotergestützte Minimalinvasive Chirurgie)
Kompensation von Atembewegung bei der Magnetresonanztomographie mit kontinuierlich bewegtem Patiententisch
Semi-supervised structured prediction models
Ontologie-basierte Monosemierung: Bestimmung von Referenzen im SemanticWeb
Software security metrics for malware resilience
E-coaching in transnationalen Arbeitsgruppen: Wirkfaktoren und didaktisch-methodische Gestaltungsansätze - dargestellt am Beispiel einer deutsch-türkischen und deutsch-französischen Arbeitsgruppe bei einem integrierten Logistikdienstleister
Exponential Lower Bounds for Solving Infinitary Payoff Games and Linear Programs
Complexity and correctness of a super-pipelined processor
Retargetable processor system integration into multi-processor system on chip platforms
Entwicklung und Evolution dienstorientierter Anwendungen im Web-Engineering
Data-Driven Network Analysis and Applications
Task-Oriented Exploration: A Multi-Criteria Decision Making Approach for Robotic Exploration (Auftragsorientierte Exploration: Ein Multikriterieller Entscheidungsansatz für die robotische Exploration)
Non-linear registration based on mutual information: theory, numerics, and application
Graphentheoretische Methoden in der Ablaufanalyse Objekt-orientierter Anwendungen
Reconstruction and modeling of static and dynamic light fields
eXBO-framework für eCommerce Anwendungen
Modeling and Optimization Methods for Wireless Sensor and Mesh Networks
Applications of kernel machines to structured data
Model-driven software development using a metamodel-based extension mechanism for UML
Behavioural Safety of Technical Systems (Verhaltenssicherheit technischer Systeme)
Modellbasiertes Service-level-Management verteilter Anwendungssysteme
External memory algorithms for state space exploration in model checking and action planning
The structure of longest paths in periodic graphs
Semantic business process modeling: principles, design support and realization
Bildgestütztes Teach-In eines mobilen Manipulators in einer virtuellen Umgebung
Analyse konservierter Nachbarschaftsbeziehungen in vollständig sequenzierten Genomen (Analysis of conserved neigborhood relationships in completely sequenced genomes)
Konzeption und Implementierung einer komponentenbasierten Softwareentwicklungsplattform für raumbezogene internetfähige Informationssysteme
Verfahren zur redundanten und distributiven Datenverarbeitung in drahtlosen Sensornetzen
Neues Konzept zur 2D- und 3D-Visualisierung kontinuierlicher, multidimensionaler, meteorologischer Satellitendaten
Objektorientierte Entwicklung von Software-Produktlinien zur Serienfertigung von Software-Systemen