yusuke1997/dblp-id-title huggingface dataset:
Locally Adaptive Speed Functions for Level Set Methods in Image Segmentation
Darstellungs- und Interaktionstechniken zur effizienten Nutzung grafischer Oberflächen durch Blinde und Sehbehinderte
PRODORIC: a software suite for the analysis of gene regulation in prokaryotes
From visual analysis to visual integration: combining the motion and form pathways
Visibility in event based systems
Design and analysis of cryptographic protocols
MontiCore: agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
Systematic testing of code generation tools: a test suite oriented approach for safeguarding model based code generation
Low latency technology for interactive virtual environments
Unterstützung von Periodizität in Informationssystemen
Multimediale Informationssuche in Vortrags- und Vorlesungsaufzeichnungen
Novel attack patterns and protection measures for computing in high security environments
Formal description of web services for expressive matchmaking
Sicherheitsaspekte in virtuellen Welten: IT-Sicherheitsanalyse und Anforderungsdefinition unter Berücksichtigung der Faktoren für Unterhaltungserleben
On cryptographic properties of LFSR-based pseudorandom generators
Robust Perception from Optical Sensors for Reactive Behaviors in Autonomous Robotic Vehicles (Robuste Perzeption mittels optischer Sensoren für reaktives Verhalten autonomer robotischer Fahrzeuge)
Chemische Strukturen entdecken und verstehen: Entwicklung und Erprobung einer multimedialen Lernhilfe
Automatische Fehlersuche in algebraischen Spezifikationen
visone - Software for the Analysis and Visualization of Social Networks
Die Bedeutung von IT-Funktionalitäten für den Erfolg virtueller Communities
Realzeittest von Fahrzeugsoftware-Komponenten
Konfliktbehandlung im policy-basierten Management mittels A-priori-Modellierung
Intuitive und immersive Interaktion für virtuelle Umgebungen am Beispiel von VR-Design-Review
Entwicklung eines korpusgestützten Zusammenhangsmaßes für das semantische EuroWordNet
Realisierung eines zylinderförmigen Volumendatenspeichers
HotFlow und StAdT: sprechakt-theoretische Konzepte für die dynamische Steuerung und Unterstützung dokumentbasierter Geschäftsvorgänge
Simulationsbasierte Sprachqualitätsevaluierung von Freisprechsystemen
A lattice-theoretic framework for circular assume-guarantee reasoning
Suchen, finden - glauben?: die Rolle der Glaubwürdigkeit von Suchergebnissen bei der Nutzung von Suchmaschinen
An aspect-oriented model-driven engineering approach for distributed embedded real-time systems
Theory and engineering for shortest paths and delay management
Der Datentyp Netz
Algebraic methods in block cipher cryptanalysis
Speeding up hardware verification by automated data path scaling
Abstraction over non-local object information in aspect-oriented programming using path expression pointcuts: a case of object persistence
Topic models for image retrieval on large scale databases
Untere Schranken für den Rang assoziativer Algebren
Bordnetze für verteilte heterogene Subsysteme
Automatic test generation based on formal specifications: practical procedures for efficient state space exploration and improved representation of test cases
Modellierung und Simulation von IT-Dienstleistungsprozessen
Context-aware service provisioning in converging networks
Wirtschaftlichkeitsanalysen für IT-Investitionen: Modelle und Methoden zur Beurteilung von IT-Investitionen
Cognitive modeling and verbal semantics: a representational framework based on UML
Algorithms and Hardware for Reasoning in Factor Graphs
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Contact networks of mobile agents and spreading dynamics
Automatisierung im WWW
Effiziente Beschreibungen regulärer Sprachen und regulärer Ω-Sprachen
Static code analysis in multi-threaded environments
Chemical programming to exploit chemical reaction systems for computation
Digital Transformation from an Inter-Organizational Perspective: Managing the Co-evolution of Platform Owners and Complementors in Platform Ecosystems (Digitale Transformation aus unternehmensübergreifender Perspektive: Management der Koevolution von Plattformbesitzern und Komplementoren in Plattformökosystemen)
Ranking and ordering problems of spanning trees
Gomory-Chvátal cutting planes and the elementary closure of polyhedra
Spatial stochastic network models: scaling limits and Monte-Carlo methods
Wayfinding choremes: conceptualizing wayfinding and route direction elements
Bayesian methods for neural data analysis
Monitoring of propofol in breath; pharmacokinetic modeling and design of a control system
Applicability Domain of QSAR models (Anwendbarkeitsbereich von QSAR-Modellen)
Konzeption und Realisierung eines Wissensportals für Hochschulen: eine Implementierung mit mySAP Enterprise Portal
Identifikation von Musiknoten
Benchmarking der Text-basierten Anteile eines exemplarischen DAU-Systems
Multi-Mosaikbilder: ein Ansatz zur ikonischen Repräsentation von Bilddaten aktiver Kameras
Coordinated Electric Vehicle Charging in Residential and Highway Environments (Koordiniertes Laden von Elektrofahrzeugen im privaten Bereich und auf Autobahnen)
Knowledge management support for collaborative and mobile working
Transformations of specifications and proofs to support an evolutionary formal software development
Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme
Constrained planarity and augmentation problems
Verfahren der Software-Dokumentation
Visual analysis of in-car communication networks
Objektorientierte parallele Ein-/Ausgabe auf Höchstleistungsrechnern
Visualizing web sessions: improving web browser history by a better understanding of web page revisitation and a new session- and task-based, visual web history approach
Modellbasierte Entwicklung von Interaktionsanwendungen
Statistical signal processing techniques for robust speech recognition
Kernel methods in chemo- and bioinformatics
Diffusive Oberflächenerzeugung zur realistischen Beschneiung virtueller Welten
Dynamically generated multi-modal application interfaces
Towards an integrated approach for software process improvement: combining software process assessment and software process modeling
Selected Communications Theoretic Aspects in Genetics (Ausgewählte Anwendungen der Kommunikations- und Informationstheorie in der Genetik)
Entwicklung einer Geodateninfrastruktur zur regelbasierten Ableitung von Geoinformationen aus distributiven Datenbeständen
Platform-independent modeling of synthesizable software systems using UML 2
Vertragsverhandlungen um konfigurierbare Produkte im elektronischen Handel
ZeichenRaum: digitale Medien in Studienumgebungen am Beispiel der Computerkunst
A knowledge management framework that supports evolution of configurable products
Überwachung und Steuerung dienstbasierter Architekturen: Verteilungsstrategien und deren Umsetzung
Self-description mechanisms for embedded components in cooperative systems
Statische Analyse von Javaprogrammen
Energieeffiziente Anpassung des Arbeitszyklus in drahtlosen Sensornetzen
High performance answer set solving
A Collaborative Purely Meta-Model-Based Adaptive Case Management Approach for Integrated Care (Ein kollaborativer, rein Metamodell-basierter Adaptiver Fallmanagement-Ansatz für die integrierte Versorgung.)
Gestaltung visuell-haptischer Telepräsenz- und Teleaktionssysteme mittels psychologischer Grundlagen
Proofs, programs and executable specifications in higher order logic
Über Methoden zur Qualitätsbeurteilung von virtuellen Kopfhörern (On Methods for Assessing the Quality of Virtual Headphones)
Local structures determine performance within complex networks
Verteilte kooperative Wissensräume
Formalizing Graph Theory and Planarity Certificates (Formalisierung von Graphentheorie und Planaritätszertifikaten)
Neue rechnergestützte Methoden zum Scaffold-Hopping unter Verwendung von Kristallstrukturen kleiner Moleküle
Schema matching and mapping based data integration: architecture, approaches and evaluation
Evaluation of queries on linked distributed XML data
Algebraic attacks on certain stream ciphers
A method for the intelligent authoring of 3D animations for training and maintenance
Managing metadata in open learning repositories and P2P networks
A methodology for modeling usage behavior of multi-functional systems
Engineering and Augmenting Route Planning Algorithms
Ein zustandsinhärentes Objekt- und Programmiermodell zur Simulation natürlicher emergenter Prozesse: Nutzungsmöglichkeiten von Multiagententechnik für die schulische Bildung
Channel assignment and security in multi-channel multi-radio wireless mesh networks
Konzeption eines Software-Support-Management-Systems (SSMS) zur Verbesserung von kundenorientierter Softwarepflege und Weiterentwicklung sowie zur Wissensdistribution
Informatische Methoden zur Unterstützung von Transkription, Lokalisierung und Adressierung in kulturwissenschaftlichen Communities
Deep integration of the OWL ontology language into Ruby using metaprogramming
Synthese von Petrinetzen aus halbgeordneten Abläufen
Reactive processing for synchronous languages and its worst case reaction time analysis
Performance challenges and optimization potential of peer-to-peer overlay technologies
Integration von Bedien- und Programmiersprachen am Beispiel von OpenMusic, Humdrum und Rubato
Persönlichkeit und neue Medien: zur Vorhersage von Computer- und Internet-Literacy durch medienrelevante Personvariablen
A practical framework for adaptive metaheuristics
Multiple material variational image registration
Bridging the gap between volume visualization and medical applications
On Using Domain Knowledge for Advanced Programming Tools
Efficient access control for service-oriented IT infrastructures: enabling secure distributed service compositions
Integration-Engineering: Grundlagen, Vorgehen und Fallstudien
A Framework for Working with Cross-Application Social Tagging Data (Ein Rahmenwerk zur Handhabung von applikationsübergreifenden Social-Tagging-Daten)
A Service Description Method for Service Ecosystems - Meta Models, Modeling Notations, and Model Transformations
Modelle und Techniken für eine effiziente und lückenlose Zugriffskontrolle in Java-basierten betrieblichen Anwendungen
Neuronale Fusionsarchitekturen in der audio-visuellen Sprachverarbeitung
Towards detection and prevention of malicious activities against web applications and internet services
Applying the engineering statechart formalism to the evaluation of soft real-time in operating systems: a use case tailored modeling and analysis technique
Particle tracing methods for visualization and computer graphics
Task activity vectors: a novel metric for temperature-aware and energy-efficient scheduling
Parallel visualization and compute environments for graphics clusters
Modular optical flow estimation with applications to fluid dynamics
On some covering, partitions, and connectivity problems in graphs
Verification of second-order functional programs
Automatic classification of speech recognition hypotheses using acoustic and pragmatic features
Methoden zur rechnergestützten zeitbezogenen Analyse und Optimierung von Testabläufen beim Test integrierter Schaltungen
Dreidimensionale Vermessung kreisförmiger Objekte mittels Luminanz und Tiefendaten
Richtlinien für die modellgetriebene Integration serviceorientierter Architekturen in Analysemodellen
Inkrementelle Akquisition von 3D-Objektmodellen
Failure prediction in complex computer systems: a probabilistic approach
Metamodellbasierte Kopplung von Werkzeugen in der Softwareentwicklung
Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
Architecture and Methodology for Sensor-Based Robotics on Lie Algebras (Architektur und Methodik für Sensorbasierte Robotik mit Lie Algebren)
Automatic configuration of real time operating systems and real time communication systems for distributed embedded applications
Informationsdesign von Bildungsportalen: Struktur und Aufbau netzbasierter Bildungsressourcen
System level energy aware co-synthesis for distributed embedded real time systems
Störfaktorbezogenes Grenzwertverhalten biometrischer Gesichtserkennung
Model based construction of embedded and real-time software: a methodology for small devices
Rhythmische Musikanalyse und -erkennung
Towards a design flow for reversible logic
Visualization Modes for CT-fluoroscopy guided RF Liver Ablations (Visualisierungsmodi für CT-Fluoroskopie gestützte Leberablationen)
Pseudonymizing audit data for privacy respecting misuse detection
Adaptive Verfahren zur Lastkontrolle im Internet
Models and algorithms for physical cryptanalysis
Automating acceptance tests for sensor- and actuator-based systems on the example of autonomous vehicles
Das Referenzmodell PECS: agentenbasierte Modellierung menschlichen Handelns, Entscheidens und Verhaltens
Generische Joinverarbeitung am Beispiel des Similarity-Join
Dependability-Aware System-Level Design for Embedded Systems
Konzeption eines Systems zur überbetrieblichen Sammlung und Nutzung von quantitativen Daten über Informationssicherheitsvorfälle
Motion-based segmentation and classification of video objects
Prosodische und dysprosodische Variation linguistischer und paralinguistischer Funktionen im spontansprachlichen Dialog
Extraktion und Identifikation von Entitäten in Textdaten im Umfeld der Enterprise Search
Design and implementation of reading center software for multi-center clinical trials
Strategieflexible Entscheidungsunterstützung in der Ablaufplanung für Produzenten
Speech encoding in the human auditory periphery: modeling and quantitative assessment by means of automatic speech recognition
Tracking biped motion in pervasive environment
QSAR approaches to predict human cytochrome P450 inhibition (QSAR-basierter Ansatz zur Vorhersage der Enzymhemmung von humanem Cytochrom P450)
Operating guidelines for services
Modellierung und clientseitige Verarbeitung von E-Learning-Inhalten im Bereich der Life Sciences mit XML-basierten Auszeichnungssprachen und JavaScript (Modelling and processing e-learning contents (in the field of life sciences) on the client computer with XML based markup languages and JavaScript)
Modular multi-view synthesis in a scalable image based rendering system
A universal realizability model for sequential functional computation
A framework architecture for energy-aware routing protocols in wireless sensor networks
Slicing integrated formal specifications for verification
Bounded distance decoding and decision feedback
Static analysis of x86 executables (Statische Analyse von Programmen in x86-Maschinensprache)
Computerbasierte Lernumgebungen zur Unterstützung selbstgesteuerter Lenprozesse: eine objektorientierte Modellierung mit der Unified Modeling Language (UML)
A computational model for unsupervised childlike speech acquisition
Attention controlled acquisition of a qualitative scene model for mobile robots
New Methods for Medical Augmented Reality (Neue Methoden für die medizinische Erweiterte Realität)
Verbesserte statistische Bildrekonstruktion für die hochauflösende PET (Improved statistical image reconstruction for high resolution PET)
Where "less" is "more": notions of minimalism and the design of interactive systems; a constructive analysis of products & processes of human-computer-interaction design from a minimalist standpoint
Faltungsfreiheit und Grapheinbettungen
Algorithmic computer reconstructions of stalactite vaults - Muqarnas - in Islamic architecture
Automatic evaluation of tracheoesophageal substitute voices
Verfahren zur globalen Beleuchtungsberechnung mit farbmetrisch korrekter Ausgabe
Techniken für Suchmaschinen zum Auffinden relevanter Informationseinheiten in Web-Datenbanken
Nutzung web-basierter Kommunikation in der Zahnheilkunde
Protocol conformance checking of component-based systems and service-oriented architectures
Image-based incremental reconstruction, rendering and augmented visualization of surfaces for endoscopic surgery
Robust appearance based sign language recognition
Structured generic programming in Eden
Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte
A modular and fault-tolerant data transport framework
Konzeption, Realisierung und Verwendung eines allgemeinen Modellierungs-, Simulations- und Experimentiersystems
Homomorphic cryptosystems and their applications
Gaze estimation and interaction in real-world environments
Kooperative Angriffserkennung in drahtlosen Ad-hoc- und Infrastrukturnetzen: Anforderungsanalyse, Systementwurf und Umsetzung
Potentials and Limitations of Contributive Social Capital Systems (Potentiale und Limitationen von Systemen zur Messung von unterstützendem Sozialkapital)
Volumetric methods for the real-time display of natural gaseous phenomena
Orchestrating secure workflows for cloud and grid services
Metamodell und Beschreibungssprache für sprechgesteuerte Nutzerschnittstellen
Die Software-Architektur SCA3D: adaptive 3D Visualisierung und Kooperation in offenen Informationsräumen
Local integral invariants for image retrieval
CRIC: kontextbasierte Empfehlung unstrukturierter Texte in Echtzeitumgebungen: ein Verfahren zur Bestimmung der semantischen Proximität von Textobjekten auf Basis eines heuristischen asymmetrischen Distanzmaes
Personalized city tours: an extension of the OGC OpenLocation specification
Anwendungsdomänen für mobile Agenten
Entwicklung Domänenspezifischer Software - Dargestellt am Beispiel des Prozessmanagements
Tracking Human Motion in Real-World Environments (Tracking menschlicher Bewegung in realen Umgebungen)
Implementing and documenting large scale grammars: German LFG
Verbesserung der Dokumentation von Anforderungen auf Basis von Erfahrungen und Heuristiken
Ein komponentenbasiertes Software-Architekturmodell zur Entwicklung betrieblicher Anwendungssysteme
The Structure of Dominating Subgraphs
Innovative Softwareunterstützung für die Wissensvermittlung in Ingenieurwissenschaften
A generalized process for the verification and validation of models and simulation results
Non-uniform Sampling in Clustering and Streaming
MINA - a tool for MSC-based performance analysis and simulation of distributed systems
Soft Business Process Management: Darstellung, Überwachung und Verbesserung von Geschäftsprozessen mit Methoden des Soft Computing
Anisotropic diffusion in Riemannian colour space
Acceleration techniques for numerical flow visualization
Model-based anti-HIV therapy
Efficient algorithms for shape and pattern matching
Ressourcenarme und dezentrale Lokalisierung autonomer Sensorknoten in Sensornetzwerken
Model based development of multimodal and multi-device user interfaces in context aware environments
Quantentheorie der Information: zur Naturphilosophie der Theorie der Ur-Alternativen und einer abstrakten Theorie der Information
Design und Implementierung einer grafischen Benutzeroberfläche zur Verwaltung einer Datenbank für multimediale medizinische Objekte auf Basis XML-codierter Inhalte
Effiziente Umsetzung klinischer Studien mit modellorientierten und domänenspezifischen Methoden
Methodenbasiertes Caching im Applikationsserver-Bereich
Managing Non-Functional Communication Aspects in the Entire Life-Cycle of a Component-Based Robotic Software System (Verwalten nichtfunktionaler Kommunikationsaspekte im gesamten Lebenszyklus eines komponentenbasierten Robotik Softwaresystems)
Ein modellbasierter Ansatz zur verzahnten Entwicklung von Anforderungen und Architektur über mehrere Abstraktionsstufen hinweg
Word recognition using hidden Markov models and neural associative memories
Topics in presupposition theory
MEMTRACE: a memory, performance and energy profiler targeting RISC-based embedded systems for data intensive applications
Situativer Methoden- und Werkzeugeinsatz für das Management von IT-Projekten in kleinen und mittleren Unternehmen: Konzeption einer Methodik und Entwurf eines webbasierten Entscheidungsunterstützungssystems
Der Einfluss von Eignung, Ausbildung und Berufspraxis auf die Programmierkompetenz
Computerkommunikation im Intranet: Aspekte und Interaktionsbedingungen computerunterstützter Gespräche am Beispiel von CSILE
Qualitative Repräsentation und Generalisierung von Bewegungsverläufen
Reguläre Häufigkeitsberechnungen
Logics which allow Degrees of Truth and Degrees of Validity: a way of handling graded truth assessment and graded trust assessment within a single framework
Efficient scenario-based assessment of automated driving systems through virtual testing (Effiziente Szenarien-basierte Bewertung von automatisierten Fahrfunktionen durch virtuelles Testen)
Methodische Konzepte virtuellen Lehrens und Lernens Erwachsener
Protecting virtual identities in mobile IP-based communication
Realisierbarkeit von Scheduling-Modulen in Optical-burst-switching-Kernknoten
Kryptographie-Prozessoren für Chipkarten: Beiträge zu Algorithmen und Architekturen
Communication theory applied to selected problems in computational genetics (Anwendung von Kommunikationstheorie auf ausgewählte Probleme der rechenbetonten Genetik)
Digitale Analyse, Leistungsbewertung und generative Modellierung von WPAN-Verbindungen unter industriellen Ausbreitungsbedingungen
3D-Stadtmodellierung auf heterogenen Ausgangsmodellen mittels evolutionaerer Algorithmen
Software cinema: employing digital video in requirements engineering
Begriffserwerb aus großen Mengen von Beispielen
Motion perception and prediction
Wissenserwerb und Informationssuche mit Hypertexten: die Bedeutung von Strukturierung, Navigationshilfen und Arbeitsgedächtnisbelastung
SAMProc - a middleware for highly dynamic and heterogeneous environments
Eignungseinstufung von Vorgehensmodellen: Ddurch systematische Risikoanalyse für Softwareprojekte direkt zum geeigneten Vorgehensmodell
Shape-centered representations: from features to applications
Mandatory rule set based access control in Linux: a multi policy security framework and role model solution for access control in networked Linux systems
Erklärungsfähigkeit kooperierender regelbasierter Expertensysteme zum diagnostischen Problemlösen
Model-driven development of versioning systems
Resource management and performance control for staged design-based services
Architectures for communication between processes and software layers for a simulator for biological neural networks
Die Ermittlung im Netz: Möglichkeiten und Grenzen neuer Erscheinungsformen strafprozessualer Ermittlungstätigkeit
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Fehlerbehandlung in Mensch-Maschine-Dialogen
Modeling and model-based testing of service choreographies: modeling and model-based service integration testing for service-oriented architectures
Efficient XML data management and query evaluation in wireless sensor networks
Integrationstest: Testprozess, Testfokus und Integrationsreihenfolge
Multi-Layer Modeling of Service Networks The DAME Approach to Generic Dependency Analysis and Management for Evolution
Ein Ansatz für eine integrative Ontologie-Beschreibungssprache
Algorithms for the analysis of the primary and tertiary structure of genomes
Internetstrategien von Lokal- und Regionalzeitungen
Context-sensitive Diagnosis of Quality Defects in OO Software Systems
Advances in equational theorem proving: architecture, algorithms, and redundancy avoidance
Measurement and analysis of interactive behavior in tutoring action with children and robots
Formal metamodeling for the specification and implementation of feature catalogues
Boosting for generic 2D/3D object recognition
Approximate Pattern Matching with Index Structures
Stochastische Analyse von Quantenalgorithmen
Engineering adaptive web applications
A framework for processing and presenting parallel text corpora
Evaluation des biometrischen Tipperkennungsverfahrens PSYLock im Kontext automatisierter Authentisierungsverfahren
Contract based Web service composition
Artefact-based requirements engineering improvement
Räumliche Repräsentation, Komplexität und Deduktion: eine kognitive Komplexitätstheorie
Exploring liquid computing in a hardware adaptation: construction and operation of a neural network experiment
Zugriffskontrolle in dienstorientierten Architekturen
Context aware support for mobile information systems