yusuke1997/dblp-id-title huggingface dataset:
Interactive remote-visualisation for large displays
Software performance estimation methods for system level design of embedded systems
Entwicklung einer Referenzarchitektur zur Realisierung von Methoden der Lean Production mittels digitaler Technologien
Objektorientierter Zugriff auf Namensräume - Protokolle und Vererbung
Ein Beitrag zur Verbesserung der Programmierung von Schweissrobotern unter Verwendung von verfahrensangepassten Modulen
Effective and efficient similarity search in databases
Entwicklung eines internetgestützten Expertensystems zur Prüfung des Anwendungsbereichs urheberrechtlicher Abkommen
That Robot Touch that Means so Much: On the Psychological Effects of Human-Robot Touch
Automorphism groups of Wada dessins and Wilson operations
Efficient nearest neighbor search on metric time series
Rechenmodell zur technisch-wirtschaftlichen Schallschutzplanung in Werkshallen der Stahlindustrie
Trajectory data analysis in biomedical applications
A holistic, decision-theoretic framework for pool-based active learning
Zur Approximation der Verfügbarkeit technischer Systeme
Ordinale Netzwerkskalierung
Erfassung von Dokumenten aus Zeichen, Wörtern und Bildern durch morphologische und graphentheoretische Ansätze und unter Einsatz der Fuzzy-Logik
IeeeCC754++ - An Advanced Set of Tools to Check IEEE 754-2008 Conformity
Development of a robotic system to design and evaluate dynamic background cues
Modellbasierte Charakterisierung optischer Messsysteme mittels GPU-beschleunigter Optiksimulation
Entscheidungsorientierte Adaptionsstrategie für Berichte einer Softwarebibliothek
Beiträge zur globalen Bildverarbeitung im Transformationsbereich: Transformation, Skalierung, Filterung
Modelling cooperative multimedia support for software development and stand alone environments
Parallele Netzwerkarchitekturen für Workstation-Cluster
Fehlermeldungen und Hilfestellungen im computerunterstützten Rechtschreibunterricht
Datenbankunterstützung für Prolog-Programmierumgebungen
Konzeption logistikgerechter PPS-Systeme: kleine und mittlere Serienfertiger
Solving the differential peak calling problem in ChIP-seq data
Rasterfahndung: eine EDV-gestützte Massenfahndungsmethode im Spannungsfeld zwischen einer effektiven Strafverfolgung und dem Recht auf informationelle Selbstbestimmung
Adjoint-based shape optimization and optimal control with applications to microchannel systems
Optimierung der Erlern- und Benutzbarkeit von Benutzungsschnittstellen interaktiver Hausgeräte auf der Basis der speziellen Anforderungen älterer Menschen
Privacy-Aware Cloud Services: Continuous Design, Assessment, and Operation
Anwendung der digitalen Systemsimulation zur Untersuchung des Mengen- und Zeitverhaltens von Fertigungsprozessen mit Grossserienfertigung
Modale Fragmente von Lww und Lw1w
Simulation zur Entscheidungsunterstützung in der Raumplanung
Dekompositions- und Reduktionsmethoden zur Zuverlässigkeitsanalyse stochastischer Netzstrukturen
Implementation and evaluation of algorithmic skeletons: parallelisation of computer algebra algorithms
Formal verification of multimodal dialogs in pervasive environments
Berechnung von Schleppkreisförderern nach vorgegebenen Optimierungskriterien
Die Inversion der gedämpften Radontransformation, ein Rekonstruktionsverfahren der Emissionstomographie
Lernfähiges wissensbasiertes Bilderkennungssystem auf der Grundlage des hierarchischen Strukturcodes
Quantitative Trust Assessment in the Cloud
Objektorientierte Wissensrepräsentation für die modellbasierte Diagnose an Fertigungseinrichtungen
Discovering structural similarities in narrative texts using event alignment algorithms
Pattern formation in cellular automaton models: characterisation, examples and analysis
High-quality illumination of virtual objects based on an environment estimation in mixed reality applications
An implementation of a plane-sweep algorithm on a personal computer
Herstellungsbeziehungen zwischen Maschinen in Rechensystemen
Perceptual display: exceeding display limitations by exploiting the human visual system
Authentifikationsdienste für sichere Informationssysteme
Beitrag zur Leistungsbewertung des Schöpfertums des Ingenieurs bei der Entstehung realer und virtueller Maschinen
Feature tracking for space-filling structures
Cold War Games: der Kalte Krieg in Computerspielen (ca. 1980-1995)
Simulation inkompressibler deformierbarer Körper
Ein dynamisches Modell zur strategischen Einführungsplanung von CAD-Technik
Atome und Präfixe in der Wissenslogik
Optimierung der Projektierungs- und Ausführungsparameter von Abwassersammlern unter städtischen Bedingungen
Coarse-grained graph compilation for embedded multiprocessors
Modularisierte Suche in Theorembeweisern
Architekturentwurf und Simulation eines vektororientierten Gleitkomma-Beschleunigerbausteins für 3D-Rastergraphiksysteme
Fehlertolerierende Rechnermodelle
Multimodale chemisch-sensitive Bildgebung: Implementierung und Evaluierung neuer mikrospektroskopischer Ansätze
Kontextadaptive Gestaltungslösungen für das User Interface mobiler Applikationen zur Schonung der Aufmerksamkeitsressource in der mobilen Interaktion
Development of a smartphone based system to support personal journaling of daily activities
Symbolische Analyse analoger BiCMOS-Schaltungen
Ein Verfahren zur Verhinderung von Verklemmungen in Vermittlernetzen
Termination analysis for imperative programs operating on the heap
Optical flow-based perception, behavior-based control, and topological path planning for mobile robots using fuzzy logic concepts
Schaltkreisoptimierung mit Worst-Case-Abständen als Zielgrössen
Not all features are equal: feature selection based on deep learning
Spezielle Methoden und Algorithmen der diskreten Mono- und Polyoptimierung
Presse und Rundfunk im Datenschutzrecht: zur Regelung des journalistischen Umgangs mit personenbezogenen Daten
Ein Beitrag zur interaktiven rechnerunterstützten Anlagenplanung mit CAD-Kleinrechner-Systemen, aufgezeigt am Beispiel der Fliessbild-Erstellung und gekoppelter Berechnung von Anlagen zur Papierherstellung
Urban Edge Computing
Automated Reasoning under Weak Memory Consistency
Segmentierung von Video-Bildfolgen durch adaptive Farbklassifikation
Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems
Veränderung der Winterfrosthärte von Obstgehölzen sowie die Entwicklung eines Simulationsmodells und dessen versuchsweise klimastatistische Anwendung
Dreidimensionale Prozeßvisualisierung zur Führung technischer Anlagen am Beispiel eines Kohlekraftwerks
Einige Resultate für das Wörterbuchproblem
Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
Procedural Modeling and Image Synthesis for Virtual Surface Inspection Planning
Machine Learning to Elucidate Mechanisms of Human Cognition and Epilepsy
Pharmakokinetik: lineare Modelle, Rechenmethoden, Auswerteverfahren
Adaptive streaming of scalable video in mobile networks
Kernel-based Evaluation of Machine Translation
Infrarot-Datenübertragungssystem (IR-DÜS) für mobile Verkehrsleitsysteme
Energiemanagement für drahtlose tief eingebettete Systeme: Feingranulares, faires Management zum Erreichen von Lebenszeitzielen bei knappen Energieressourcen
Synchronisierung von Modellen mit schwach strukturierten, natürlich-sprachlichen Dokumenten
Neural scaling laws for multi-agent reinforcement learning
An algorithmic approach to increase the context prediction accuracy by utilizing multiple context sources
Der Spannungsbedarf des stationären Hochstromlichtbogens in einem Lichtbogenofen für die Stahlherstellung
MCTS-based approximate accelerator synthesis
Beitrag zur rechnergestützten Übersetzung natürlicher Sprachen
Exploiting background knowledge on evolving objects to identify relevant dimensions for classification
Requirements Engineering with interrelated conceptual models and real world scenes
Computational Complexity of Verifying Parameterized Systems
Semantische Grundlagen der PRAM-Sprache FORK
Leveraging input features for testing and debugging / Alexander Kampmann ; Betreuer: Andreas Zeller
Rechnergestützte Vergabe von Fahrplantrassen bei Eisenbahnen
Efficient probability distribution function estimation for energy based image segmentation methods
Real time implementation of image compression algorithms on ASICs
Das computergestützte Gruppengedächtnis: Wissensmanagement in Sitzungen
Neue Informationstechniken und ihre soziale Konstruktion: der technische Wandel als soziologisches Theorieproblem
Ein Ansatz zur Modellierung von Unsicherheit in wissensbasierten Systemen
Detektion und Klassifikation von Objekten in Videobildern: neue Lösungsansätze für kamerabasierte Fahrerassistenzsysteme
Graph-based Approaches to Text Generation
IMBS: Konzepte und Techniken für interaktive Methodenbanksysteme
Towards wearable attention-aware systems in everyday environments
Theoretische Grundlagen und praktikable unscharfe Methoden für die rechnergestützte Entscheidungsfindung zur ökonomischen Steuerung von Produktionsprozessen
Anwendung systemtechnischer Hilfsmittel bei der Planung und Durchführung von Entwicklungsprojekten
Ein verteiltes graphisches Bediensystem für konventionelle Betriebssysteme
Graphenbasierte Parallelisierung der Simulation kontinuierlicher Systeme
Sicherheitsarchitektur für verteilte Systeme
Ganzheitlich vernetzte Fehlerprävention im Software-Entwicklungsprozess: Ermittlung und Nutzung der wesentlichen Einflussfaktoren und ihren Wechselwirkungen zur Optimierung der Softwarequalität
Objektorientierte Modellierung von Kommunikationsressourcen für ein integriertes Performance Management
Robust hybrid central/self-organising multi-agent systems in intersections without traffic lights
A computational model of reasoning from the clinical literature
Soft Real-Time Communication in Challenging Environments - Wireless Ad Hoc Communications for Post-Disaster Networks with Low Traffic Load and No Mobility
Maschinelle Programmierung und Simulation von Zellenabläufen in der Arbeitsvorbereitung
Instance segmentation of microscopy images: : development of deep learning image analysis tools
About the Structure and Sensitivity of Integer Linear Programs and their Application in Combinatorial Optimization
Vollautomatische Schaltnetzsynthese unter Berücksichtigung technologischer und anwendungsspezifischer Randbedingungen
Das papierarme Büro auf der Basis internationaler Standards: Entwurfs-, Entwicklungs- u. Integrationsaspekte
Untersuchungen des Betriebsverhaltens von Ventilfedern mit Hilfe eines transienten FEM-Simulationsmodells für Ventilsteuerungen
The attentive robot companion: learning spatial information from observation and verbal interaction
Ästhetisch motivierte Gestaltung als persuasives Element in interaktiven Medien
Sprecherunabhängige Ziffern- und Ziffernkettenerkennung über Telefonkanäle
Modellierung und Internet-basierte Visualisierung von Raum-Zeit-Daten
Fast Repeater Tree Construction
Region based analysis and coding of stereoscopic video
Mobile agents in telecommunications
Entwurf betrieblicher Datenelemente: e. Weg zur Integration von Informationssystemen
Trusted community: a novel multiagent organisation for open distributed systems
New Approaches on Octilinear Graph Drawing
Elementare Analyse zweier probabilistischer Algorithmen und Tiefenreduktion azyklisch gerichteter Graphen
Beiträge zur effizienten Decodierung von Turbo-Codes
Typsysteme für die Dienstvermittlung in offenen verteilten Systemen
Security and acceptance of cloud computing in healthcare
Zur Verfahrensdisposition bei der Digitalen Orthoprojektion
Visuelle Kommunikation mit digitalen Bildern: eine semiotisch-pädagogische Begriffsrevision im Kontext des amerikanischen Pragmatismus angesichts einer veränderten Medienlandschaft
Predictive Analytics for Energy Efficiency and Energy Retailing
Zur Sprachsynthese von deutschstämmigem Schrifttext mit Hilfe von Phonemklustern und dem LPC-Spracherzeugungsmodell
eXtensible Business Reporting Language: Finanzberichterstattung zwischen Flexibilität und Automatisierbarkeit - Analysen und Lösungsansätze
Learning from complex networks
Exploring Scheduling for On-demand File Systems and Data Management within HPC Environments
Ein Beitrag zum Aufbau eines Mehrrechnersystems: programmtechnische Implementierung und technologisch-organisatorische Bedingungen
Tree description grammars and underspecified representations
Verfahren zur effizienten Parameteroptimierung von Simulationsmodellen
Eine Spezifikationsmethode für wissensbasierte Systeme zur Softwareportierung auf parallele Rechnerarchitekturen
Wissensbasierte Systeme für die Konstruktion
Improving the Quality of User Feedback for Continuous Software Evolution
A pragmatic approach to code division multiple access communications
Verified Java bytecode verification
Restringierte medizinische Bildregistrierung
Robust single-shot structured light 3D scanning = Robuste 3D-Vermessung mit strukturierter Beleuchtung in Einzelbildern
Das SAT-Problem: ein systematischer Ansatz für effiziente Algorithmen zum aussagenlogischen Erfüllbarkeitsproblem, ausgehend von neuen Instrumenten der "worst case"-Analyse
High resolution coding of stochastic processes and small ball probabilities
Modellierung und Handhabung von Beziehungen zwischen Managementobjekten im OSI-Netzmanagement
Digitalisierungspotentiale des Internet of Things in der Energieversorgung: ein Taxonomie-basierter Lead-User-Ansatz zur Ideenerhebung
Zur Gestaltung eines rechnerunterstützten Informationssystems für eine flexible Leitung materialwirtschaftlicher Prozesse in Kombinaten
Integration einer flexiblen regelungstechnischen Umgebung in ein mikrorechnerbasiertes Prozessleitsystem
Modellierung von peripersonalem Raum und Interaktionsraum durch ein Körperschema für humanoide Agenten
Empirical perspectives on deep learning: from scaling and generalization to new compute paradigms
Query Processing over Graph-structured Data on the Web
Ein Beitrag zum objektorientierten Entwurf komplexer digitaler Systeme mit Sicherheitsverantwortung
Half-quadratic Inference and Learning for Natural Images
Grundlagen des Aufbaus und Erfahrungen bei der Anwendung wissensbasierter Diagnosesysteme für flexible Fertigungszellen
Corporate Probability Default Prediction With Industry Effects Using Data Mining Techniques
Towards efficient deep learning for computer vision
Advances in probabilistic modeling of natural images
Reconstruction of building objects from point clouds of built environment and construction sites
Formal verification of a small real-time operating system
Heuristic-based Genetic Operation in Classifier Systems
Computergestützte, deduktive Suche nach neuen Reaktionen und deren experimentelle Realisierung
Transformation verteilter Systeme: von applikativen zu prozeduralen Darstellungen
Zur Bestimmung von optimalen Bohrregimen für die geologischen Verhältnisse der DDR unter Verwendung von elektronischen Rechenmaschinen
3D shape analysis based on feature curve networks
Authentische Verdeckung virtueller 3D-Objekte in Bilderwelten
New solving techniques for property checking of arithmetic data paths (Neue Beweistechniken für die Eignungsprüfung von arithmetischen Datenpfaden)
Entwicklung und Bewertung einer computergestützten Entscheidungshilfe
Vielfachzugriffssysteme mit unkonventionellen Frequenzsprungverfahren
Kurven vom Geschlecht 2 und ihre Anwendung in Public-Key-Kryptosystemen
Object completion effects in attention and memory
Ein System zur Übertragung multimedialer Echtzeitdatenströme über Internet-Zugangsnetze
Comparability, evaluation and benchmarking of large pre-trained language models
Untersuchungsergebnisse zur Messung und Berechnung der hydraulischen Leitfähigkeits- und Saugspannungsfunktionen an Sandsubstraten
Stabilitätsanalyse von Regelsystemen mit Begrenzungen
DISKUS: ein System zur Analyse und Diskussion graphisch eingegebener Kurven
Steigerung der Kosten-Leistungs-Transparenz durch Prozesskostenmanagement in der Industrie
Wissenskommunikation mit Hypervideos: Untersuchungen zum Design nichtlinearer Informationsstrukturen für audiovisuelle Medien
AutoPas: Automated Dynamic Algorithm Selection for HPC Particle Simulations
Konzept für ein rechnerunterstütztes Simulationsmodell zur Bewertung der Wirtschaftlichkeit von Lösungsalternativen bei der Planung einer integrierten technischen Informationsverarbeitung
Visual analytics of human mobility behavior
A cycle-accurate coprocessor prototyping platform for system-on-chip
Architektur eines wissensbasierten Systems zur Interpretation multisensorieller Fernerkundungsdaten
Binary search trees, rectangles and patterns
Datenmodelle zur redundanzarmen Speicherung von Stücklisten für Erzeugnisse mit grosser Varianten- und Ausführungsvielfalt
Zur Quasikonvexität spezieller Permutationsprobleme
Analyse und Unterdrückung von Grenzzyklen und Überlauf in digitalen Systemen
Mining and untangling change genealogies
Enhance Human-Computer Interaction through Wearable Haptic Interface Design
Zur Entwicklung von Romberg-Quadraturverfahren für Produktintegrale mit Hilfe von Formelmanipulationssystemen
Solving Stochastic Games Reliably
Dialogorientierte technologische Projektierung flexibel automatisierter Materialflusssysteme unter besonderer Berücksichtigung von Gegenstandsflusssystemen mit Flurtransportrobotereinsatz
Adaptive Address-Space Management for Resource-Aware Applications
System Support for Proactive Adaptation
Analyse und Synthese suprasegmentaler Intonationsstrukturen des Deutschen, ein Beitrag zur Optimierung technischer Sprachkommunikationssysteme
Referat und Referieren: linguist. Beitr. zu ihrer Applikation in d. Information u. Dokumentation
Onions in the queue: an integral networking perspective on anonymous communication systems
Vorverarbeitung und Segmentierung von Stromlaufplänen unter Verwendung von Bildgraphen
Efficient Resource Management of real-time online interactive applications in cloud environments
Identifikation mechanischer Mehrkörpersysteme
Hand guided 3-D scanning
Bistatic synthetic aperture radar processing
Modular and Parameter-efficient Fine-tuning of Language Models
Towards understanding the impact of the GDPR on online advertisement: a technical and human-centric point of view
Die elektronische Medienwelt als Gegenstand einer philosophischen Ethik
Generation of Synthetic Data for Large-Scale Image Analysis with Generative Adversarial Networks
Kollaborative Geschäftsprozessmodellierung mit kontrollierter natürlicher Sprache
Ingenieurgerechte Spezifikation der Synchronisierung paralleler Rechenprozesse
Theorie und Anwendung der impulsbasierten Dynamiksimulation
Multi-Aware Cluster Head Maintenance for Mobile Ad Hoc Networks with Wireless Power Transfer Capabilities
ELIS: Lehr- und Informationssystem für die klinische Elektroneurophysiologie ; Evaluation über Möglichkeiten und Grenzen eines Computerlehrsystems im universitären Einsatz
Pathway-based analysis and modeling for the investigation of genetic disorders
Mehrzustandselemente und Beispiele ihrer Anwendung in digitalen Grundschaltungen und zur Digital-Analog- und Analog-Digitalwandlung
Anderson's orthogonality catastrophe
Combinatorial and Geometric Aspects of Computational Network Construction: Algorithms and Complexity
Ein Expertensystem zur Beurteilung von Explosionsgefahren und zur Auswahl von Explosionsschutzmassnahmen bei staubverarbeitenden Anlagen
Analysis of UI redressing attacks and countermeasures
The cryptographic security of the German electronic identity card
Multi-task near-field perception for autonomous driving using surround-view fisheye cameras
Konzeptuelle Modellierung grosser Datenbasen für komplexe rechnergestützte Informationssysteme
Agile Network Security for Software Defined Edge Clouds
Vorschläge zur Planung der Tierbestände im Rahmen des rechnergestützten Informationssystems für Territorien und zu schaffender komplexer Lösungen zur Jahresplanung
Fehlerkorrigierende Codes, bei denen die Codewörter durch Hamming-Kugeln mit verschiedenen Radien gesichert sind
Supporting adaptation intelligibility, control, evaluation and adaptation policy evolution in a context-based adaptive collaboration environment
Zur Erkennung und Klassifizierung von Kartoffelmängeln einschliesslich Beimengungen mittels CCD-Sensortechnik und digitaler Bildverarbeitung
Entwurf und Simulation von CAD-Systemen am Beispiel für die Projektierung von Elektroenergieanlagen
Erstellen einer Datenbank für ein computergestütztes Literaturrecherchesystem zur Ätiologie, Diagnostik und Therapie von Missbildungen im Kopf-Hals-Bereich: Literaturübersicht neuester Erkenntnisse zur Ätiologie von Missbildungen im Kopf-Hals-Bereich über den Zeitraum 1982 - 1990
Nomadic virtual reality: overcoming challenges of mobile virtual reality head-mounted displays
Security engineering methodology for embedded systems in metering
Anforderungen an Computerprogramme für den Fremdsprachenunterricht in der sozialistischen Oberschule: eine theoretische Vorlaufuntersuchung aus didaktisch-methodischer Sicht
Aufbau und Untersuchung analytischer Modelle für Betriebsmittelvergabesysteme (Multiressourcensysteme)
Combination and implementation of processes and data: from CSP-OZ to Java
Verlagerung von Funktionen der rechnerunterstützten Programmierung der drei- bis fünffunktionalachsigen NC-Fräsbearbeitung in CNC-Steuerungen: Beitrag zum effektiven NC-Datenfluss in durchgängig automatisierten Systemen unter Einbeziehung leistungsfähiger Interpolationsalgorithmen
Scalable Distributed Query Processing in Parallel Main-Memory Database Systems
Computational methods for the analysis of mass spectrometry imaging data
Der Algorithmus von Viggo Brun und verwandte Kettenbruch-Entwicklungen
Prozesse der Urteilsrevision: kognitive Modellierung der Verarbeitung unsicheren Wissens
Spezielle Neuronalnetze als Linearisierungsfilter in der Qualitätssicherung von CAD-Daten
Be sparse! Be dense! Be robust!: elements of parameterized algorithmics
Grundlagen der Projektierung und Nutzung von automatisierten Textverarbeitungssystemen zur Rationalisierung der Büro- und Verwaltungsarbeit im Konsumgüterbinnenhandel
Umsetzung von Lean Management anhand des Expertensystems Leanex mittels Case Studies der BMW Financial Services Division
Grundlagen, Entwicklung und Test einer Kopplung des DV-orientierten Gebäude- und Raumbuchs mit dem Steuerungssystem der Ablaufplanung: Beitrag zur DV-gestützten Informationsverarbeitung im Bauwesen
Optimization-based modeling of suprasegmental speech timing
Effiziente Kommunikationsarchitekturen für zeitkritische Anwendungen in lokalen Rechnernetzen
Optimierung von Algorithmen zur Videoanalyse: ein Analyseframework für die Anforderungen lokaler Fernsehsender
Cloud-efficient modelling and simulation of magnetic nano materials / Pavle Ivanović ; Betreuer: Christian Siemers
Methodologische und inhaltliche Aspekte der rationellen Projektierung von automatisierten Informationssystemen durch Aufbau und Nutzung eines Modell- und Algorithmenbanksystems (MABS)
An efficient inflation method for segmentation of medical 3D images
Computerbezogene Sprache: eine explorative Studie zur Untersuchung von handlungsbegleitendem Sprechen in der Interaktion mit dem Computer
πλ-Kalküle für Prozesse und Funktionen
Design and implementation of a three-dimensional, general purpose semiconductor device simulatior
Towards adaptive management systems in manufacturing: an agent supported approach
Wärmeübergang und Strömungsformen beim Sieden in Minikanälen
Einsatz von Ad-hoc-Modellen in der Maschinendynamik
Grundlagenuntersuchungen zur Entwicklung eines Verdrahtungsroboters
Mean Reversion-orientiertes Swing Trading
Modeling of Dynamical Systems with Complex Valued Recurrent Neural Networks
Team-Informationsmanagement: Konzepte und Implementierung eines agentenbasierten Team-Informationsmanagement-Systems (aTIMS)
Nichtdeterministische algebraische Spezifikationen
Symbolic reactive synthesis
Machine learning driven argument mining
Optimization in Inter-Cloud Markets
Rechnereinsatz im Grundlagenpraktikum Physik für Studenten ingenieur-technischer Fachrichtungen
Beitrag zur Schaffung eines objektorientierten Datenmodells für grafische SPS-Programmieroberflächen
Identifikation von Systemen mit Kaskadenstruktur
Der Schutz der Kommunikation im Internet durch Artikel 10 des Grundgesetzes