yusuke1997/dblp-id-title huggingface dataset:
Virtual compound screening and SAR analysis: method development and practical applications in the design of new serine and cysteine protease inhibitors
Xcerpt: a rule-based query and transformation language for the web
Verteilende Verfeinerung: Entwurf und Verifikation verteilter Algorithmen mit Petrinetzen
Ein deformationsinvarianter Point-of-Interest-Detektor
A privacy-preserving benchmarking platform
Convex variational approaches to image motion estimation, denoising and segmentation
Integrative concepts for scalable distributed performance analysis and visualization of parallel programs
Multiagent robustness: autonomy vs. organisation
Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen
Das information modeling maturity Model: ein Reifegradmodell für die Informationsmodellierung
Zeitbewertete Prädikat-Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme
Lightweight information integration through partial mapping and query reformulation
Regelbasierte Modellierung fremdsprachlich akzentbehafteter Aussprachevarianten. Grundlagen, Entwurf und Implementierung eines Regelsystems für sprachtechnologische Anwendungen
Scalable and accurate knowledge discovery in real world databases
Time series knowlegde mining
Time partition testing: systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen
ILP-based path analysis on abstract pipeline state graphs
Ontology-based discovery and composition of geographic information services
Semantic reference systems for observations and measurements
Dreidimensionale, interaktive und animierte Softwarevisualisierung zur Unterstützung im Softwareentwicklungsprozess
Interactive Model Fusion: A User-Centered Approach for Combining Graph-Based Visual Models
Ermittlung zentraler Konzepte der Entwicklung eingebetteter Systeme anhand eines fachdidaktisch begründeten Kriterienkataloges
Multimodale Modellierung von Gruppenaktionen zur Segmentierung von Besprechungen
Vom Stereogramm zum Raumbild
Re-engineering approach for PLC programs based on formal methods
Real time rendering and acquisition of spherical light fields
Geometric estimation with local affine frames and free-form surfaces
Ontology engineering and routing in distributed knowledge management applications
Unterstützung von Entwurfsmustern im Quelltext durch bedeutungsorientierte Dokumentation
Untersuchungen zu nutzerbezogenen und technischen Aspekten beim Langzeiteinsatz mobiler Augmented Reality Systeme in industriellen Anwendungen
Attention-Based Information Retrieval
Animation and performance capture using digitized models
Radio access network planning and optimization of hybrid cellular and broadcasting systems
Effiziente auflösungsvariable Oberflächenbeschreibung mit hybriden Modellen
Steuerung plattformbasierter Servicemarktplätze (Control of platform-based service marketplaces)
Elaboration and erasure in type theory
Studienkultur Informatik neu denken: Geschlechterkonstruktionen im Informatikstudium an der Universität Dortmund und der Carnegie Mellon University
Professional Qualification in "Industrie 4.0": Building a Competency Model and Competency-Based Curriculum (Berufsqualifikation in "Industrie 4.0": Aufbau eines Kompetenzmodells und eines kompetenzbasierten Curriculums)
Ontologiebasierte Gestaltung und Umsetzung von Wissensmanagementsystemen
MIAS: Management-Infrastruktur für agentenbasierte Systeme
Constructing mobile agents using transformations
Word sense alignment of lexical resources
lp-Norm Multiple Kernel Learning
Efficient methods for the display of highly detailed models in computer graphics
Evolution of quantum algorithms using genetic programming
Sensorbasierte Lokalisations-Algorithmen für mobile Service-Roboter
Kybernetische Interventionen: zum kritischen Verständnis des immanenten Verhältnisses von Multimedia und Pädagogik
Verfahren zur Anonymisierung von Einzeldaten
Model reconstruction for moment-based stochastic chemical kinetics
Von computergraphischen zu haptischen Texturen: virtual reality für den Entwicklungsbereich Design-Styling in der Automobilindustrie
Segmentation of color images for interactive 3D object retrieval
The challenges of non-linear parameters and variables in automatic loop parallelisation
DOASIS: a framework design for DOAS
Korrespondenzberechnung auf Klassendiagrammen
Design and Verification of Behaviour-Based Systems Realising Task Sequences
Modeling and implementing multidimensional hierarchically structured data for data warehouses in relational database management systems and the implementation into transbase
Automatische Registrierung adaptiver Modelle zur Typerkennung technischer Objekte
Computational haplotyping¤Dtheory and practice
Tautomere chemischer Strukturen - Computergestützte Abbildung und ihr Einfluss auf Modellvorhersagen
Adaptive Routingprotokolle für drahtlose, mobile Ad-hoc-Netzwerke
The complexity of membership problems for finite recurrent systems and minimal triangulations
Benutzerschnittstellen zur Mensch-Maschine-Interaktion durch akustische Signale
Bedarfsgesteuerte Bildübertragung mit Regions of Interest und Levels of Detail für mobile Umgebungen
Ein Beitrag zur Ableitung regelbasierter Modelle aus Zeitreihen
Service layer components for decentralized applications
Netzsubjektivität-en: Konstruktionen von Vernetzung als Technologien des sozialen Selbst: eine empirische Untersuchung in Modellprojekten der Informatik
Flexible Anfragen in strukturierten und semistrukturierten Dokumenten im Kontext von Online-Kursen
Flow visualization and analysis based on integral line predicates
Reconstruction of objects from images with partial occlusion
Lossless quantum data compression and secure direct communication: new concepts and methods for quantum information theory
Data mining in kombinatorischen Spielen
Incentives in dynamic markets
The weak base method for constraint satisfaction
Zweistufige kontextsensitive Sprecherklassifikation am Beispiel von Alter und Geschlecht
On approximate polynomial identy testing and real root finding
Combining speech user interfaces of different applications
Real-time Optoacoustic Monitoring of Thermal Ablation and Laser Surgery (Optoakustische Echtzeitüberwachung der thermischen Ablation und Laserchirurgie)
Generative mesh modeling
Uncertainty in neural perceptual systems
Reasoning with generalized cases
Rationale based unified software engineering model: supporting informal collaboration, rationale, and traceability in global distributed software development
Design and verification of video quality metrics
Fundamental aspects of privacy and deception in electronic auctions
Pattern Recognition for Feature Based and Comparative Visualization
Approximate common intervals based gene cluster models
E-Editionen: zur neuen Praxis der Editionsphilologie; Ida und Richard Dehmel - Harry Graf Kessler; Briefwechsel 1898 - 1935
Intentionsbasierte maschinelle Interpretation von Benutzeraktionen
Performance guarantees using statistical network calculus with effective bandwidth
Die parabolische Hamilton-Jacobi-Bellman Gleichung und ihre numerische Lösung durch Mehrgitter-Verfahren
Entscheidbare Fälle des Postschen Korrespondenzproblems
NeuroSim: neural simulation system with a client server architecture
Komponentenbasierter Schemaentwurf für objekt-relationale Datenbankverwaltungssysteme
From low level to model based and constructive worst case execution time analysis
Erstellung eines Computerprogramms zur Präsentation des Leitfadens für die röntgenologische Beurteilung bei der Kaufuntersuchung des Pferdes
Globale Sichtbarkeitsalgorithmen
Requirements-Engineering kontextsensitiver Anwendungen
Service replication in wireless mobile ad hoc networks
Power and Limits of the Weisfeiler-Leman Algorithm
Automatische Objektverfolgung gestützt durch Langzeitbeobachtungen der Szene
Schema-guided inductive functional programming through automatic detection of type morphisms
Real-time video object extraction for mixed reality applications
Adaptable transformation-based similarity search in multimedia databases
Gestaltung und Evaluation von virtuellen und Telepräsenzsystemen an Hand von Aufgabenleistung und Präsenzempfinden
Online model checking mechanism and its applications
A dependable middleware for enhancing the fault tolerance of distributed computations in grid environments
Rated Tags as a Service - Konzept und Evaluierung
Fast speaker independent large vocabulary continuous speech recognition
Creating ontology-based metadata by annotation for the semantic web
Methodische Entwicklung von Echtzeit-3D-Anwendungen für Schulung und Präsentation
Bedarfsgesteuerte Datenakquisition für Computermodelle
Iterative source channel decoding for digital mobile communications
Tool and database development for the phylogenetic classification and functional characterisation of organisms
Improved approximation algorithms for packing and scheduling problems
Systematische Prozessunterstützung für die Entwicklung laufzeitkritischer Softwaresysteme: PROKRIS-Methodik und -Framework
Zertifikatsmanagement für große Organisationen: PKI-Aspekte in der praktischen Anwendung
A Multivariate Complexity Analysis of Voting Problems
Interactive learning for the analysis of biomedical and industrial imagery
Inhaltsbasierte Videokodierung
Software Engineering durch Modellierung wissensintensiver Entwicklungsprozesse
Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung
Tangible user interfaces als kooperationsunterstützendes Medium
Intraoperative fluoroskopiebasierte Patientenlageerkennung zur präzisen Unterstützung chirurgischer Eingriffe
Classification of audio sources using ad-hoc microphone arrays
Semi-automated reconstruction of biological networks based on a life science data warehouse
Signaturen auf Basis elliptischer Kurven in RFIDs
Modellgestütztes, auto-adaptives System für den klassifikationsbasierten Diagnoseprozess bei weitläufigen Inspektionsaufgaben
Skalierbare agentenbasierte Simulation: Werkzeuge und Techniken zur verteilten Ausführung agentenbasierter Modelle
Evaluation der Leistungsfähigkeit von gemischt-parallelen Programmen in homogenen und heterogenen Umgebungen unter Berücksichtigung effizienter Schedulingstrategien
Geometric computing in computer graphics and robotics using conformal geometric algebra
Modularisierte Softwareplattformen für mobile Endgeräte in Rundfunknetzen
Modeling and automated synthesis of reconfigurable interfaces
Mensch - Maschine - Interface: Studien zu einer Theorie der Mensch-Computer-Interaktion
New algorithms for learning of mixture models and their application for classification and density estimation
Dynamische Themenerkennung in situierter Mensch-Roboter-Kommunikation
Diagnose komplexer Systeme am Beispiel eines Tank-Ballast-Systems
Geographische Kommunikationsmechanismen auf Basis von feingranularen räumlichen Umgebungsmodellen
Die Rolle des Staates im Internet: eine Untersuchung der Möglichkeit, Zulässigkeit und Notwendigkeit staatlicher Regulierung
Semantically defined Analytics for Industrial Equipment Diagnostics
How to touch a running system: reconfiguration of stateful components
Bezahlsysteme für mobile Software-Agenten: eine an der doppischen Rechnungstheorie orientierte Gestaltungsempfehlung
Acquisition of human expert knowledge for rule-based knowledge-based systems using ternary grid
Efficient integration of hierarchical knowledge sources and the estimation of semantic confidences for automatic speech interpretation
Analysis and tuning techniques for subdivision algorithms
Steigerung der Informationseffizienz im Reinforcement-Learning
Signalverarbeitungskonzepte zur robusten Sprechererkennung
Content Modeling for Automatic Document Summarization
Algorithmic game theory and networks
Architekturzentrierte agile Anwendungsentwicklung in global verteilten Projekten
Experimentelle Kryptographie mit kontinuierlichen Variablen
Vision-based manipulative gesture recognition in a human-robot interaction scenario
Multi-cue pedestrian recognition
The Newtonian limit of geometrostatics
Grafische Benutzungsunterstützung auf Befehlsebene für die Entwicklung massivparalleler Programme
Approximation and online algorithms in scheduling and coloring
BALLView: a molecular viewer and modeling tool
Auto-Generation of Least Privileges Access Control Policies for Applications Supported by User Input Recognition
Graph-based automated denial-of-service attack response
Disambiguation for a linguistically precise German parser
Adaptive context based and tree based algorithms for image coding and denoising
An update algorithm for restricted random walk clusters
Transformation knowledge in pattern analysis with kernel methods: distance and integration kernels
Ein Beitrag zur Problematik der Integration virtueller Maschinen
Inkrementelles und oberflächenkompositionales Parsen von Koordinationsellipsen
Interaktion in ambient intelligence: Konzeption eines intuitiven Assistenten zur ganzheitlichen und konfliktfreien Interaktion in adaptiven Umgebungen
Sensorik und Bildverarbeitung für Landmarken-basierte Navigation
DNA based watermarks
Collaboration in opportunistic networks: rethinking mobile ad-hoc communication
Standardisierte Protokolle für die medizinische Bildanalyse und Bildvisualisierung
Moderne Instant-Messaging-Systeme als Plattform für sicherheitskritische kollaborative Anwendungen
Stochastik calculus for Lévy-driven Volterra processes
Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning
Repräsentation und Nutzung von Verhaltenswissen in der Bildfolgenauswertung
Audiovisuelle Sprachsynthese: Systementwicklung und -bewertung
Einheitliche Abbildung von Steuerfluss- und Datenfluss-Programmen zur Realisierung auf rekonfigurierbarer Hardware
Schließen der semantischen Lücke in der medizinischen Bildanalyse: kontextabhängige Objektextraktion aus hierarchisch partitionierten Bildern
Textgenerierung durch Transduktion linguistischer Strukturen
Architektur von Fuzzy-Informationssystemen zur Repräsentation und Verarbeitung unscharfer Daten
Proaktive Assistenz zur kontextabhängigen und zielorientierten Unterstützung bei der Indikationsstellung und Anwendung von Behandlungsmaßnahmen in der Intensivmedizin
On privacy-preserving protocols for smart metering systems
Prozessoptimierung bei der Entwicklung von Software für eingebettete Systeme
Efficient computation of derivatives for optimal experimental design
Merkmalsmodellierung für das maschinelle Lernen von Musikstilen
Interaktion mit robot companions: Software-Architektur für komplexe Robotersysteme
Erstellung eines multimedialen Tutorials zum Thema "Digitale Photogrammetrie" mit Hilfe eines internetbasierten LernInformationssystems
Ein Modell zur Auswahl von funktionalen Blöcken in flexiblen Netzwerkarchitekturen
Nutzung von Modellierungssprachen und -methodologien standardisierter B2B-Architekturen für die Integration unternehmensinterner Geschäftsprozesse: Evaluierung des Einsatzes der UN/CEFACT Modeling Methodology (UMM) bei einer deutschen Kapitalanlagegesellschaft
View-based textual modelling
Gaussian processes for classification of spatial data in context of an early warning chain
Zustandsbasierte Echtzeitübertragung für interaktive Videoanwendungen
On broadcast encryption for secure software delivery to automobiles
Die Präprozessor-Problematik im Reverse-Engineering und beim Programmverstehen
Anwendbares Recht und internationale Zuständigkeit bei Urheberrechtsverletzungen im Internet
Efficient data structures for distributed and mobile geometry processing
Optimizing 802.11 wireless communications with machine learning
Malware intrusion detection
Multi-modal Registration and Robotic Imaging for Computer Assisted Surgery (Multimodale Registrierung und robotische Bildgebung für computerassistierte Chirurgie)
Anpassungsunterstützung in Software-Produktfamilien
Agentenbasierte Ablaufplanung - unter besonderer Betrachtung der präferenzbasierten Diensteinsatzplanung
A simultaneous execution scheme for database caching
Specifying and monitoring non-functional properties
Implementing architecture stratification
Bringing the physical to the digital: a new model for tabletop interaction
Fixed-parameter algorithms for the consensus analysis of genomic data
Elicitation of a Complete Set of Non-Functional Requirements
Barrierefreiheit im World Wide Web: Analysen zu Bedarf und Umsetzbarkeit
Seamless handover in mobile IP-based next generation networks: a cross-layer solution for ubiquitous communication over optimized routes in IPv6 networks
Learning features for robust object recognition
E-Learning in der Sportwissenschaft: Konzeption, Entwicklung und Erprobung der Lernplattform sports-edu zur Unterstützung der sportwissenschaftlichen Ausbildung
Speculation in parallel and distributed event processing systems
Usability evaluation patterns: eine pattern language zur Durchführung von extreme usability evaluations
User-centric privacy: a usable and provider-independent privacy infrastructure
Advanced Reconstruction Techniques in Free-Breathing Multi-Contrast High-Resolution Cardiac Magnetic Resonance Imaging (Weiterentwickeltes Rekonstruktionsverfahren bei hochauflösenden Multi-Kontrast Kardio-Magnetresonanztomographie bei freier Atmung)
Temporal search in web archives
Audiovisuelle Signaturen für eine objektzentrierte Umwelterfassung
Performance evaluation of time-critical data transmission in automotive communication systems
Telemediale Lehrarrangements
Parallele Bildberechnung in einem Netzwerk von Workstations
Ein Sicherheitskonzept für elektronische Prüfungen an Hochschulen auf Basis eines virtuellen, ticketbasierten Dateisystems
Schutz von Web Services durch erweiterte und effiziente Nachrichtenvalidierung
Multimodale Annotation geographischer Daten zur personalisierten Fußgängernavigation
A generic hierarchic architecture for the coordination of energy management systems. (Eine generische hierarchische Architektur für die Koordinierung von Energie Management Systemen.)
Multi-Front-End-Engineering: ein modellgetriebener Ansatz zur Entwicklung von Anwendungen mit mehreren Front-Ends
Frame coherent 3D stippling for non-photorealistic computer graphics
Prediction of protein structural features by machine learning methods (Vorhersage von Strukturmerkmalen in Proteinen mit Methoden der künstlichen Intelligenz)
Anpassungsfähige Kontextbestimmung zur Unterstützung von Kommunikationsdiensten
Numerical and variational aspects of mesh parameterization and editing
Gerichtete Haarwavelet-Systeme in der Bildverarbeitung
Erweiterung der Molekulardynamik um innere Freiheitsgrade: Modellierung und verteilte Simulationen auf dem Grid
Dynamic potential fields for guided exploration in virtual environments
Enhanced active databases for federated information systems
Vereinfachte Integration von Fachwissen in Computerprogramme am Beispiel eines Planungssystems für die Bauindustrie
Eine Methode zur Entwicklung flexibler Dienste auf der Basis von Interaktionsmustern
Meta-data, meta-modelling and query processing in meta-data repository systems
Video coding with superimposed motion compensated signals
Hybrid Simulation for Prospective Healthcare Decision-Support: System Dynamics, Discrete-Event and Agent-Based Simulation
Reduktion von Integrationsproblemen für Software im Automobil durch frühzeitige Erkennung und Vermeidung von Architekturfehlern (Reducing Problems of Software Integration in Automobiles through Early Detection and Avoidance of Errors in Architecture)
Robuste Lernverfahren bei schlecht konditionierten Problemstellungen für neuronale PCA- und ICA-Netzwerke mit Adaption der Lernraten
Digitale Wasserzeichenverfahren zur Überprüfung der Echtheit von Bildern
Relationale und objektrelationale Datenbankkonzepte in Geoinformationssystemen
Eine cache-optimale Implementierung der Finite-Elemente-Methode
A framework for SLA-aware execution of Grid-based workflows: theory and implementation
Defending the right to communicate: anonymity and filter traversal & fair validation of database replies
Advanced concepts and applications of the UB-tree
Integrating natural language processing components with XML and XSLT: representations and hybrid architectures
Post-quantum signatures for today
Incremental answer set programming
Anwendbarkeit von Methoden und Werkzeugen des konventionellen Softwareengineering zur Modellierung und Programmierung von Steuerungssystemen
Nichtstandardisierte Rechtschreibung - Variationsmodellierung und rechnergestützte Variationsverarbeitung
Quantitative MR imaging of the electric properties and local SAR based on improved RF transmit field mapping
A cryptanalysis of the 2R cryptosystem and an improved commitment range proof
Entwurf und Bewertung kombinierbarer Fehlertoleranzmaßnahmen bezüglich Betriebsfehlern in verteilten Simulationen
Ein Modell zur Beschreibung und Lösung von Zeitplanungsproblemen
On the direct product of convolutional codes
Experiments on the prediction of prosodic phrasing for German text to speech synthesis
Linear systems over finite fields: modeling, analysis, and synthesis
Address spaces and virtual memory: specification, implementation, and correctness
Image-based Treatment Outcome Prediction and Intervention Guidance for Cardiovascular Diseases (Bildbasierte Therapieergebnisvorhersage und Interventionshilfe für kardiovaskuläre Erkrankungen)
QoS integration in Web services with the WS-QoS framework
Organische Leuchtdioden: Entwicklung von Verfahren zur Integration in Folientastaturen als neues elektrisch aktives Element
PolyAPM - comparative parallel programming with abstract parallel machines
Mobile mixed reality platform
On efficiently calculating small solutions of systems of polynomial equations: lattice-based methods and applications to cryptography
A model for adaptive applications on the semantic web
Architektur- und Werkzeugkonzepte für föderiertes Identitäts-Management
Usability-Evaluation: Strategien zur Bewertung der Gebrauchstauglichkeit von interaktiven Web-Interfaces
Optimization algorithms for dynamically reconfigurable embedded systems
Ressourcenmanagement für Echtzeitverkehre in Intranets
Middleware for efficient programming of autonomous mobile robots
Computational modeling of detection physics for 3D intraoperative imaging with navigated nuclear probes (Computer gestützte Modellierung der Detektionsphysik für 3D intraoperative funktionale Bildgebung mit navigierten Nuklearsonden)
Fehlertolerante neuronale Netze zur Approximation von Funktionen
Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie
Fully programmable LDPC decoder hardware architectures
Incomplete property checking for asynchronous reactive systems
Trend Mining
Grid-based sensor data fusion for static and dynamic environment perception (Gridbasierte Sensordatenfusion für statische und dynamische Umfeldwahrnehmung)
Level-of-Detail- und hardwareunterstütztes Out-of-core-Rendering: interaktive Darstellung komplexer 3D-Modelle
Quad layouts: generation and optimization of conforming quadrilateral surface partitions
A framework for Automatic Web Service Composition based on service dependency analysis
Produktionsplanung in der Prozessindustrie: Modelle, effiziente Algorithmen und Umsetzung (Production Planning in the Process Industrie: Models, efficient Algorithms and Implementation)
Entwicklungsunterstützung für interaktive 3D-Anwendungen: ein modellgetriebener Ansatz
Ein modulares Robotersystem zum Ertasten und Manipulieren von Objekten
Query workflows over web data sources
Analysis and modeling pf passive stereo and time-of-flight imaging
Ein Beitrag zum linearen modellbasierten Test nichtlinearer kaskadierter Strukturen
Explorative graph visualization
Formal approach and applications of algebraic higher-order nets
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
On the spectral retrieval and efficient top-k query processing
Lower bounds and exact algorithms for the graph partitioning problem using multicommodity flows
Versionierungskonzepte mit Unterstützung für Differenz- und Mischwerkzeuge
Integration of protein three-dimensional structure into the workflow of interpretation of genetic va
ART-based fuzzy classifiers: ART fuzzy networks for automatic classification
Entwurfsraumexploration heterogener Multi-Prozessor-Systeme