yusuke1997/dblp-id-title huggingface dataset:
Grid resource management with service level agreements
Tracking gaze and human activity
System verification tools based on monadic logics
Entwicklung und Bewertung zeitkritischer Softwaremodelle: Simulationsbasierter Ansatz und Methodik
Forschungsdaten in der videobasierten Unterrichtsforschung - Benutzerzentrierte Modellierung und Evaluierung einer Domänen-Ontologie;
Erweiterbarkeit multimedialer Dokumentensysteme zur dynamischen Anpassung an anwendungsspezifische Anforderungen
Efficient shadow map filtering
Computing abstract models for verifying reactive systems
Web-based collaborative workflow design
Navigationsanalyse: Methodologie der Analyse von Prozessen der Online-Navigation mittels Optimal-Matching
The correctness of a distributed real-time system
Robust machine translation for multi-domain tasks
Ein serviceorientierter Ansatz zur Abstraktion von Kommunikationsprotokollen im Internet
Verbesserung der Kontexterkennung in ubiquitären Informationsumgebungen
Predicting software performance in symmetric multi-core and multiprocessor environments
Geometric layout analysis of scanned documents
Teilautomatisierte Verschlagwortung von in altdeutschen Schriftfonts gesetzten Texten mit Hilfe lernender Verfahren
Genetische Programmierung und Schach
Reorganisation von Datenbanken: Auslöser, Verfahren, Nutzenermittlung
Agile fachmodellgetriebene Softwareentwicklung für mittelständische IT-Projekte
Design of a visual front end for audio-visual speech recognition
Visuos - a visuospatial operating software for knowledge work: user interface concepts for visual queries, knowledge management, process management, link management
Adaptive rates for support vector machines
Simulationsgestützte Grobplanung von Kommissioniersystemen (Simulation-aided rough planning of order picking systems)
Dynamische Lastbalancierung von parallelen Programmen in Parallelrechnern mittels selbstorganisierender Karten
Variable block size transforms for hybrid video coding
Phrase based statistical machine translation: models, search, raining
Reasoning in description logics using resolution and deductive databases
Universelle Datenaufbereitung und Bausteinauswahl für die konkatenative Sprachsynthese
Adaptivitätssensitive Platzierung von Replikaten in Adaptiven Content Distribution Networks
Component-based Development of Communication Systems
Serviceorientierte Infrastrukturen für vernetzte Dienste und eingebettete Geräte
Active contours with spatially-variant definitions of energy terms based on local region descriptors
On the complexity of isomorphism testing for restricted classes of graphs
Entwurf und Bewertung von Architekturen dynamisch rekonfigurierbarer Prozessoren
Using layout data for the analysis of scientific literature
Realisierung einer Server-based Computing-Lösung: eine empirische Untersuchung am Beispiel zweier Fallstudien
ε-μ-Logik: eine Theorie propositionaler Logiken
Local, distributed approximation algorithms for geometric assignment problems
Advanced transport protocols for wireless and mobile ad hoc networks
Sichtgraphen: ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen
Entwurf und Anwendung von gewichteten Medianfiltern zur polyphasen Zwischenbildinterpolation
Bedientrainings für ältere Nutzer von Informations- und Kommunikationstechnologien: Ansätze für eine bedarfsorientierte Trainingsgestaltung
Messtechnische Erfassung und objektive Bewertung von Bewegungsmustern beim Säugling
Wireless communication networks: structure and dynamics of wireless multi-hop ad hoc communication networks
Performance evaluation of future internet applications and emerging user behavior
Supporting business process fragmentation while maintaining operational semantics: a BPEL perspective
Adaption der automatischen Erkennung nichtmuttersprachlich-akzentuierter Sprache
Automatische Parallelisierung numerischer Programme durch Mustererkennung
Messungsbasiertes Quantenrechnen mit Clusterzuständen
Parallele numerische Simulation instationärer Probleme mit adaptiven Methoden auf unstrukturierten Gittern
Synthese von taktgebundenen Verhaltensbeschreibungen
Management verteilter Daten in Grid- und Peer-to-Peer-Systemen
Abstraction and abstraction refinement in the verification of graph transformation systems
Software-Qualitätssicherung durch Automatisierung: ein modellbasierter Ansatz
Zur Wortschatzentwicklung im Portugiesischen am Beispiel von Fachtexten aus der Informatik
Approximation algorithms for 2d packing problems
Tracking and modeling focus of attention in meetings
Plattform zur durchgängigen Unterstützung des Engineerings von Dienstleistungen
Die Berechnung von Wiedereintrittsphänomenen auf hierarchischen Supercomputern mit einem effizienten parallelen Multiblockverfahren
Ein Werkzeug zur Entwicklung nutzerorientierter Software- und Service-Prototypen im Fahrzeug (A tool for the development of user-oriented software- and service-prototypes in vehicles)
Architektur komponenten-basierter Systeme mit Loom: Aspekte, Muster, Werkzeuge
Self-organizing ambient intelligence: principles, algorithms, and protocols
Regularization methods for item response and paired comparison models
Efficient and high quality clustering (Effiziente und Hochqualitative Clusterbildung)
Algorithms and data structures for parametric analysis of real-time systems
Context-aware mobility: a distributed approach to context management
Study of semantic relatedness of words using collaboratively constructed semantic resources
Dienstgüteunterstützung für Internet-Telefonie in Differentiated-services-Netzen
Performance Estimation in HW/SW Co-simulation
Einsatz von unabhängigen Prüfverfahren und modernen Testwerkzeugen zur Qualitätssteigerung in der Geoinformatik
Wissenserwerb mithilfe der internetbasierten Lernumgebung ChemNet: eine empirische Untersuchung zum Lernen mit linearen und vernetzten Hypertexten
Phasenbasierter Korrelationsalgorithmus zur kooperativen Angriffserkennung in verteilten Intrusion-Detection-Systemen
Evaluation and optimization of wireless internet access at hot spots
Merging Project Management with System Modeling
A family-based dynamic aspect weaver
Entwicklung einer Petri-Netz-Klasse zur effizienten Analyse quantitativer und qualitativer Eigenschaften komplexer Systeme
Efficient adaptive retrieval and mining in large multimedia databases
The scope approach for scoping software processes
Gestaltung von IT-Systemen zur mobilen Informationsbereitstellung im Infrastrukturmanagement
Locating landmarks using templates
Motion perception and prediction: a subsymbolic approach
Die Konvergenz von Bioinformatik und medizinischer Informatik: Konsequenzen für die Ausbildung von IT-Managern im Gesundheitswesen am Beispiel des Göttinger Curriculums für Medizinische Informatik
Interaktive Ad-hoc-Evaluation von Desktopsoftware durch Endbenutzer: eine explorative Studie
Simplifying and unifying composition for industrial component models
Learning of knowledge-intensive similarity measures in case-based reasoning
A lightweight framework for universal fragment composition: with an application in the semantic web
Complexity results for boolean constraint satisfaction problems
Text analysis for requirements engineering
Service selection and transactional management for web service composition
TopX: efficient and versatile top-k query processing for text, structured, and semistructured data
Health-care telematics in Germany: design and application of a security analysis method
Asymptotic Reasoning in a Proof Assistant (Asymptotische Beweisführung in einem Beweisassistenten)
Multifunktionale und multilinguale Unit-Selection-Sprachsynthese: Designprinzipien für Architektur und Sprachbausteine
Enabling Scalable and Efficient Visual Attention, Object-Based Attention and Object Recognition for Humanoid Robots - a Biologically-Inspired Approach. (Realisierung skalierbarer und effizienter visueller Aufmerksamkeit, objektbasierter Aufmerksamkeit und Objekterkennung in humanoiden Robotern - ein biologisch inspirierter Ansatz)
Socio-technical systems supporting healthy food decisions (Soziotechnische Systeme zur Unterstützung von gesunden Ernährungsentscheidungen)
Kompetitive Multiplayer Games in der Schule: der Einsatz einer Lernspielplattform im Fremdsprachenunterricht
Enabling Data-Driven Functions in Automotive E/E Architectures (Befähigung datengetriebener Funktionen in E/E-Architekturen im Fahrzeug)
Insider-resistant distributed storage systems
Efficiency and Pricing in Combinatorial Auctions and the Impact of Side Constraints (Effizienz und Preise in kombinatorischen Auktionen und die Auswirkungen von Nebenbedingungen)
Lara Crofts Töchter?: eine Längsschnittstudie zu Computerspielen und aggressivem Verhalten von Mädchen
Economics of standards in information networks: with 70 tables
Semantische Komponentensuche auf Basis von Geschäftsprozessmodellen
Entwurf eingebetteter Systeme: ausführbare Modelle und Fehlersuche
Basiskomponenten von XML-Datenbanksystemen
Untersuchungen zur Optimierung des Dialogbetriebes des Rechnersystems TR440/TR86S
Robust and private computations of mobile agent alliances
Towards efficient lattice-based cryptography
Modellgestützte Untersuchung konkurrierender Zugriffe bei leitungsvermittelnden Kommunikationssystemen
Peer-to-peer networking in heterogeneous communication environments
Culture and information security: outsourcing IT services in China
Real-time media delivery using scalable video coding
Quantitative Emergenz: eine Quantifizierungsmethodik für Ordnung in selbstorganisierenden technischen Systemen
Dynamic Interaction and Manipulation of Web Resources
Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen
Distributed biconnectivity testing in Wireless multi-hop networks
A pulsed neural network model of spectro-temporal receptive fields and its application to speech enhancement
An algebraic approach for the design and automatic code generation of signal processing algorithms into SIMD vector processors
Temporal web mining
Exploiting programmable graphics hardware for interactive visualization of 3D data fields
Mixed workload management in-memory databases
Produktive Anarchie?: Netzwerke freier Softwareentwicklung
Entwicklung von neuen Algorithmen der Computerarithmetik in Hinsicht auf ihre Nutzung in der Kryptographie
Time domain boundary integral equations analysis
Similarity, retrieval, and classification of motion capture data
Learning communicating and nondeterministic automata
Semantische Modellierung für ein wissensbasiertes System in der Pädiatrie
Black-Box-Modellierung mit Wavelet-Netzwerken
Modeling and exploting user search behavior for information retrieval
Computing and visualizing concept lattices
Betrachtungen zur Energieeffizienz in Funknetzwerken mit geringer Datenrate
Ein echtzeitfähiges Java-System für einen mehrfädigen Java-Mikrocontroller
Spike-timing dependent plasticity in recurrent networks
On the complexity of modified instances
Automatic media monitoring using stochastic pattern recognition techniques
Talent in nonnative phonetic convergence
Integrating digital photogrammetry and terrestrial laser scanning
Domain-specific model-driven testing
Awareness und Adoption kooperativer Wissensmedien im Kontext informeller Zusammenarbeit
Ein komponentenbasiertes Framework zur Integration von Visualisierungstechniken
Ein Algorithmus zur Berechnung der Klassenzahl und des Regulators reellquadratischer Ordnungen
QoS-Management in offenen, weichen Echtzeitsystemen
Augmented reality - die angereicherte Realität: ein autorenorientierter Prozess zur authentischen Integration von virtuellen Objekten in augmented Reality-Anwendungen
Softwarekomponenten mit eODL und SDL für verteilte Systeme
Artificial neural networks for object recognition and localization
Hardware efficient PDE solvers in quantized image processing
Verification of the C0 compiler implementation on the source code level
Nash equilibria in discrete routing games
Ein Vorgehensmodell zur Entwicklung von Subject Gateways
Combining raster- and vector-representations for image and geometry processing applications
Ein Beitrag für ein selbstlernendes Anwendungssystem zur kontinuierlichen Prozessverbesserung
Diskussionen als Szenario zur Ko-Konstruktion von Wissen mit visuellen Sprachen
Understanding coverbal iconic gestures in shape descriptions
Behavior control for single and multiple autonomous agents based on hierarchical finite state machines
Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition
Privacy trade-offs in web-based services
Subtype satisfiability and entailment
Programmtransformationen für Vielteilchensimulationen auf Multicore-Rechnern
Objektorientierte dynamische Benutzungsoberflächen - ODIN: Behandlung semantischer und struktureller Heterogenität in Informationssystemen mit den Mitteln der Softwareergonomie
Specification, modelling, verification and runtime analysis of real time systems
Live sequence charts: a graphical formalism for the specification of communication behavior
Der Computer als Medium: eine transdisziplinäre Theorie
Modeling embedded processors and generating fast simulators using the machine description language LISA
Techniques for analyzing classes of subdivision algorithms at extraordinary points
Optimierung des Wirkungsgrades virtueller Infrastrukturen
Dynamische Ressourcenverwaltung für dienstbasierte Software-Systeme
Eine ökonomische statische Analysemethode zur Berechnung von relational attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse
A language of tactile motion instructions for physical activities
Providing-Verträge: Systematik und Methodologie der Bestimmung von Rechtsnatur und Rechtsfolgen
Musterbasiertes Re-Engineering von Softwaresystemen
Automatisierung der 3D-Rekonstruktion aus mehreren Tiefenbildern durch Optimierung prädizierter Qualitätsgewinne
LEDA-SM: external memory algorithms and data structures in theory and practice
Psychophysiologische Parameter der Software-Usability: experimentelle Studie zur Korrelation zwischen Eye-Tracking-Parametern und Software-Designdomänen
Synthesis and exploration of loop accelerators for systems-on-a-chip
Design, implementation and application of a generic framework for integrated regional land-use modeling
Metriken für prozessorientierte Software-System-Familien: Umfangskalkulation sowie Aufwandsprognose im Electronic Business und Automobilbereich
Hierarchical graphs as organisational principle and spatial model applied to pedestrian indoor navigation
Kontextsensitives Kosteninformationssystem zur Unterstützung frühzeitiger Produktkostenexpertisen im Angebotsengineering
Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten
Darstellbarkeit von Sprachen durch freie assoziative Systeme
Formal fundierte Modellierung von Geschäftsprozessen: Geschäftsprozesse anschaulich und präzise dokumentieren
Competence and performance profiling for constraint-based grammars: a new methodology, toolkit, and applications
Resource management of disruption tolerant networks
Scalable positioning of commodity mobile devices using audio signals
Approximation algorithms for min-max resource sharing and malleable tasks scheduling
Sicherer, aggregierender Datentransport in drahtlosen Sensornetzen
Security in infrastructure-less and decentralized communication networks: location-based intrusion response and user-based cooperative decisions
Configurable system-on-chip architecture for streaming and real-time applications in embedded devices
Test generation using event sequence graphs
Decentralized establishment of consistent, multi-lateral collaborations
Interpretable methods in cancer diagnostics
Open Science in der Soziologie - Eine interdisziplinäre Bestandsaufnahme zur offenen Wissenschaft und eine Untersuchung ihrer Verbreitung in der Soziologie
Worst case instances are fragile: average case and smoothed competitive analysis of algorithms
Contextual Social Networking
Asymmetric and adaptive conference systems for enabling computer supported mobile activities
Metamodel-based Design Rule Checking and Enforcement
Lie-theoretischer Zugang zur Erzeugung unitärer Transformationen auf Quantenrechnern
Workflow-Kontext zur Realisierung prozessorientierter Assistenz in organisational Memories
Privatsphäre per Design: Privatsphäre respektierende Infrastrukturen für verteilte Mehrparteien-Geschäftsmodelle und Dienste
A contextual approach to ontology reuse: methodology, methods and tools for the Semantic Web
Equation-based congestion control for unicast and multicast data streams
Performance modelling for distributed transaction processing systems
Effiziente Algorithmen und Datenstrukturen zur inhaltsbasierten Suche in Audio- und 3D-Moleküldaten
Unsupervised duplicate detection using sample non-duplicates
The Characterization of Chance and Skill in Games
Integration von Software-Engineering und Usability-Engineering: Konformitäts- und Rahmenanforderungen zur Bewertung und Definition von Softwareentwicklungsprozessen
A middleware for cooperating mobile embedded systems
SaarCOR: a hardware architecture for realtime ray tracing
Interactive point based visualization for medical applications
Informationskonsistenz im föderativen Identitätsmanagement: Modellierung und Mechanismen
Zivil-, urheber- und wettbewerbsrechtliche Fragen zum Handel mit Software
Modellgestützte Sensordatenfusion von Laserscanner und Radar zur Erfassung komplexer Fahrzeugumgebungen (Model-based sensor data fusion of laserscanner and Radar for the perception of complex vehicle environments)
Atomic basic blocks: eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur
Automatic synthesis of distributed transition systems
Mining and checking object behavior
Dynamic META modeling: a semantics description technique for visual modeling languages
Huffman-based code compression techniques for embedded systems
Mustererkennung in der quantitativen Auswertung vektor-wertiger Bilddaten: diagnostische Systeme und Anwendungen
Komponentenbasierte Softwarekonfiguration von eingebetteten Systemen
Three-dimensional facial measurement by portrait holography and texture based focus detection
Multilingual prosody in automatic speech understanding
Sichere Internetdienste für ein medizinisches Kompetenznetz
Advanced methods in side channel cryptanalysis
Untersuchung der fahrdynamischen Potenziale eines elektromotorischen Traktionsantriebs (Investigation of the dynamic potential of an electric motor traction drive)
Adaptive mobile Multimedia-Kommunikation basierend auf Agententechnologie
integration manueller Datenerfassung in automatische Dokumentationssysteme
Entwurf von Klassifikatoren für speicherprogrammierbare Steuerungen und Anwendung auf einen biotechnologischen Prozess
Computability and fractal dimension
Sicherheit in verteilten virtuellen Umgebungen
Dienstekomposition in intelligenten Umgebungen basierend auf KI-Planung
Aesthetic quality assessment of paintings
Photo-realistic rendering of fiber assemblies
Dissipative particle dynamics as a simulation tool for capillary wetting and suspensions in microfluidic applications
Kooperative Peer-to-Peer-basierte Verkehrsinformationssysteme
Intuitive human-robot cooperation
The impact of controlled-mobility helper nodes on the performance of challenged networks
Models and algorithms for online exploration and search
Ein Kalkül für die Formale Schaltungssynthese
iBUIS: Konzeption eines integrierten betrieblichen Umweltinformationssystems: Fallstudie Volkswagen AG
Eine skalierbare, datenflussgetriebene, virtuelle Maschine (SDVM)
Strukturevolution in objektorientierten Systemen
Hierarchical methods for filtering and visualization based on graphics hardware
HADES: ein hochverfügbares, verteiltes Main-Memory-Datenmanagementsystem
Performance evaluation of efficient resource management concepts for next generation IP networks
Putting it all together: formal verification of the VAMP
Architectures, methods, and tools for distributed run-time reconfigurable FPGA-based systems
Endbenutzer-Entwicklung mobiler ERP-Applikationen durch den Einsatz eines domänenspezifischen Entwicklungswerkzeuges (End-user development of mobile ERP applications by using a domain specific development tool)
Security policy enforcement for collaborating eGovernment domains
Stochastische Modellierung von Bildsequenzen zur Segmentierung und Erkennung dynamischer Gesten (Stochastic Modeling of Image Sequences for the Segmentation and Recognition of Dynamic Gestures)
Efficient solving of large arithmetic constraint systems with complex Boolean structure: proof engines for the analysis of hybrid discrete-continuous systems
Speeding up XML querying: satisfiability test & containment test of XPath queries in the presence of XML schema definitions
Advanced memory data structures for scalable event trace analysis
Specification and verification of safety related automation applications based on function blocks
Eine Architektur für die Wiederverwendung und Adaptation von eLearning-Inhalten
Security, caching and self-management in distributed information systems
Methode zur Integration von Sicherheitsanforderungen in die Entwicklung zugriffssicherer Systeme
Methods to exploit reconfigurable fabrics: making reconfigurable systems mature
Large-scale simulations of error prone quantum computation devices
Abgleich verteilter Datenbestände am Beispiel des Gesundheitswesens
Kernel learning approaches for image classification
Dreistufig parallele Software zur Parameteroptimierung von Support-Vektor-Maschinen mit kostensensitiven Gütemaßen
Particle-based Flow Visualization (Partikelbasierte Strömungsvisualisierung)
Umfassendes Autorisierungsmanagement
Management von Prozessvarianten
Vertrauliche und nachvollziehbare Verarbeitung von Nutzerdaten in Informationsdiensten auf der Basis von TCG
Fachdidaktische Diskussion von Informatiksystemen und der Kompetenzentwicklung im Informatikunterricht
Multi-Traffic-System für die Prozessdatenkommunikation
Graphersetzung mit Anwendungen im Übersetzerbau
Basic considerations for improving interoperability between ontology based biological information systems
Code governance: "Code" as regulation in a self governed internet application from a computer science perspective
Cost-efficient global robot navigation in rugged off-road terrain
Konstruktion generischer Datenmodelle auf fachkonzeptioneller Ebene im betrieblichen Anwendungskontext: Methode und Studie
Software verification for programmable logic controllers
Temporal complex event processing with rule based systems using the rete algorithm
Repeating the past experimental and empirical methods in system and software security
Nutzen und Benutzen von Text Mining für die Medienanalyse
Theoretical analysis of unsupervised on-line learning through soft competition
Modeling component based embedded real-time systems
Solution approaches for planning of assembly systems in three-dimensional virtual environments
Ein Berechnungsmodell für situatives Agieren
Ontology-based information retrieval: methods and tools for cooperative query answering
Perspectives on the Connection of Psychological Models of Emotion and Intelligent Machines (Perspektiven auf die Verbindung von psychologischen Emotionsmodellen und intelligenten Maschinen)
Similarity-based clustering algorithms for gene expression profiles
Complexity bounds on some fundamental computational problems for quantum branching programs
Neuronale Netze mit erweiterten bayesschen Methoden für reale Datensammlungen
Parallel algorithms for the construction of special subgraphs
A non-invasive registration technique in hip-joint replacement surgery using laser radar imaging
Erprobung eines internetbasierenden Pruefungssystems in der zahnmedizinischen Ausbildung und die Beurteilung der Grenzen, Chancen und Nutzen
Verbindung von electronic commerce und Logistik über virtuelle B2B-Marktplätze
CHASID: a semantics oriented authoring environment
Identity-Management und E-Portfolios
Soft stratification for transformation-based approaches to deductive databases
Randomness in complexity theory and logics
Der Smart-Data-Server: neue Konzepte und praktische Anwendung einer Middleware-Architektur
Power-aware online file allocation in dynamic networks
Intrusion detection effektiv! - Modellierung und Analyse von Angriffsmustern
Integrating printed and digital documents: interaction models and techniques for collaborative knowledge work