yusuke1997/dblp-id-title huggingface dataset:
Contributions to simulation speed-up: rare event simulation and short-term dynamic simulation for mobile network planning
Verification-based software-fault detection
Proof search without backtracking for free variable tableaux
Content, management, system: the construction of a CMS evaluation prototype from communicative perspectives
Traffic-adaptive routing
Approaches to code generation for synchronous transfer architecture (STA)
Konsistenzprüfung von Domänenanforderungsspezifikationen
An Integrated, Interactive Application Environment for Session-Oriented IPTV Systems, Enabling Shared User Experiences
Runtime monitoring for open real- time systems
Terminologiesysteme als Grundlagen für die semantische Interoperabilität von heterogenen Anwendungssystemen sowie deren fachsprachlicher Zugang
Interaktive massiv-parallele Visualisierung großer Datenmengen aus Strömungssimulationen
Distributed architecture for mobile robots
Model-based transformations for quantified boolean formulas
Verification and validation of logic control algorithms by model checking
A distributed publish, subscribe notification service for pervasive environments
Ein modellbasierter Ansatz zur Lösung komplexitätsbedingter Entscheidungsprobleme in der Infrastrukturarchitektur der Finanzdienstleistungsinformatik
Program transformations and their semi-automatic composition: a pragmatic approach to invasive middleware application engineering
Efficient and effective similarity search on complex objects
Ergonomie multimedialer interaktiver Lehr- und Lernsysteme
Design and realization of privacy guaranteeing means for context-sensitive systems
Safety-aware Location Privacy in Vehicular Ad-hoc Networks
Efficient distributed numerical simulation on the grid
Cryptography and cryptanalysis on reconfigurable devices: security implementations for hardware and reprogrammable devices
Verified proof carrying code
On the Spectral Evolution of Large Networks
Informationsintensive Prozesse über heterogenen Arbeitsumgebungen: assetbasiertes Modell und Systemarchitektur
Morpho-syntactic annotation and dependency parsing of German
Kostenschätzung für Softwareentwicklungsprojekte: eine Methode zur funktionalen Größenmessung auf Grundlage der UML
A middleware architecture for transactional, object-oriented applications
Mensch-Maschine-Interaktionskonzepte für Fahrerassistenzsysteme im Kreuzungsbereich (Human-Machine Interaction Concepts for Advanced Driver Assistance Systems Addressing Intersection Safety)
Effective data dissemination over multi-hop gigabit wireless networks
Unanticipated Dynamic Adaptation of Mobile Applications
Zur Arithmetik in Abelschen Zahlkörpern
A component based approach to human computer interaction: specification, composition, and application to information services
Nutzung von Geometriemodellen zur Absicherung von Software in mechatronischen Produkten
Syntactic and referential choice in corpus-based generation: modeling source, context and interactions
Dynamic upgrade of distributed software components
Graphbasierte prozedurale Abstraktion
Efficient sampling and robust algorithms for photorealistic image synthesis
Objektive Bewertung von Deblocking-Verfahren
Physics-based fluid flow restoration method
Analysis of biomolecular networks using a generic network analysis suite (Analyse von biomolekularen Netzwerken mit Hilfe einer generischen Netzwerkanalyseapplikation)
Clone evolution
Konfiguration verteilter Workflow-Management-Systeme mit Leistungsgarantien
Sekundäre Informationsstrukturierung: eine Methodologie zur Verbindung XML- und RDF-basierter Informationsmodellierung sowie ihre Anwendung auf linguistische Korpora
Algorithmenauswahl im KDD-Prozess
Situativ trainierte Regeln zur Ablaufsteuerung in Fertigungssystemen und ihre Integration in Simulationssysteme
Systematisierung des funktionalen Tests eingebetteter Software
Rapid mathematical programming
New editing techniques for video post-processing
Evaluation of XPath queries against XML streams
Datenbank-gestützte Prozessautomatisierung bei Software-Tests
Algebraic decoding beyond half the minimum distance based on shift register synthesis
Methoden zur Erhöhung des visuellen Realismus für die Simulation minimal-invasiver chirurgischer Eingriffe
Efficient methods for tile-based synthesis and computational photography
Real time object recognition and tracking using 2D/3D images
Compression and visualization of large and animated volume data
Enabling efficient simulations of radiative transfer with CRASH (Entwicklung von effizienten Methoden fuer CRASH Code zur Simulierung von Strahlungstransport)
Verteilung globaler Anfragen auf heterogene Stromverarbeitungssysteme
Activity structuring and activity monitoring in heterogeneous learning scenarios with mobile devices
Efficiently processing complex queries in sensor networks
Flexible and Automated Production of Full-Fledged Electronic Lectures (Flexible und automatisierte Produktion hochwertiger elektronischer Vorlesungen)
Methoden der lexikalischen Nachkorrektur OCR-erfasster Dokumente
On risks of using a high performance hashing scheme with common universal classes
Design and implementation of a system for data traffic management in a real-time processing farm operated at 1 MHz
Spatial structures and visual attention in diagrammatic reasoning
Feature extraction for visual analysis of DW-MRI data
Opinion Mining for Qualitative Content Studies (Opinion Mining für Qualitative Inhaltsanalysen)
Automatische Extraktion urbaner Straßennetze aus Luftbildern
Unsupervised relational feature learning for vision
Bellman's GAP: a 2nd generation language and system for algebraic dynamic programming
Mental salience and grammatical form: toward a framework for salience metrics in natural language generation
Nichtlineare Informationsverarbeitung im visuellen System: Analyse, Synthese und Identifikation
Internet protocol based networking of mobile robots
Automatic Refactoring Detection in Version Archives
The language Xchange: a declarative approach to reactivity on the web
Aufbau und Verwendung großer EFGT-Netze: intelligente semantische Netze im Bereich der Textklassifikation
Entscheidungsverhalten im Fahrzeug am Beispiel von Parkplatzentscheidungen (Decision Attitude While Driving Using the Example of Parking Lot Decisions)
Advanced sequence classification techniques applied to online handwriting recognition
High level transition systems of CSP specifications and their application in automated testing
Two-Handed User Interfaces for Mobile Devices (Beidhändige Interaktion mit mobilen Geräten)
MENTIS - Microscope embedded neurosurgical training and intraoperative system
Implementierungstechniken in der Numerik: hierarchische Darstellungen
Operationsplanung und -steuerung in der Chirurgie
Entwurf und Realisierung von massivparallelen Architekturen für globale zellulare Automaten
Manual engineering and evolution of emergent algorithms for agents on two-dimensional grids (Manuelle Entwicklung und Evolution emergenter Algorithmen für Agenten auf zweidimensionalen Gittern)
Analyzing and influencing search engine results: business and technology impacts on web information retrieval
Exploiting graph-structured data in generative probabilistic models
Software engineering for adaptive hypermedia systems: reference model, modeling techniques and development process
Automatische Analyse von Minirhizotronbildern
Interaktionsgestützte bioanaloge Konsolidierung von Datensammlungen
Word confidence measures for machine translation
Algorithms for computing the 2-vertex-connected components and the 2-blocks of directed graphs
Privacy-Enhancing Methods for Time Series and their Impact on Electronic Markets
Performance modeling and anlysis in high-performance reconfigurable computing
Klassifikation mit neuronalen Netzen
Massively Parallel Data Processing on Infrastructure as a Service Platforms
A layered approach to polygon processing for safety-critical embedded systems
Paths and walks, forests and planes
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen: formale Basis und Beiträge zur Theorie
Flexible und konfigurierbare Software-Architekturen für datenintensive ontologiebasierte Informationssysteme
Usability-Engineering in der Open-Source-Softwareentwicklung: Perspektiven, Vorgehensweisen und Techniken
Usability Engineering als Ansatz zum Multimodalen Mensch-Maschine-Dialog (Usability Engineering as Approach to Multimodal Human Machine Interaction)
Algorithms and data structures for IP lookup, packet classification and conflict detection
Multi-IMU: Multiple Inertial Measurement Unit Systems in Mixed Reality (Multi-IMU: Multiple Inertial Measurement Unit Systeme in Mixed Reality)
Aufbau einer zentralen relationalen Datenbank und Entwicklung einer graphischen Benutzeroberfläche für den S-DALINAC
Service-Interoperabilität in Ubiquitous-computing-Umgebungen
Information-Theoretic Aspects of Fiber-Optic Communication Channels (Informationstheoretische Aspekte faseroptischer Nachrichtenkanäle)
Effiziente algorithmische Strukturerkennung in großen Datenmengen (Efficient algorithmic pattern recognition in large sets of data)
Netzwerk-Synthesizer: Konzeptionierung eines internetbasierten Multi-User-Softwareinstrumentes zur kollaborativen Klang- und Musikerzeugung unter Betrachtung historischer und aktueller Ansätze im Bereich der elektronischen und Computer-Musik und unter besonderer Berücksichtigung der Latenzproblematiken digitaler Netzwerke
KeyX: selective key-oriented indexing in native XML-databases
Ein generischer Ansatz zur Integration multimodaler Benutzereingaben
Structured Kernel-based Machine Learning for Cheminformatics
Clusterfile: a parallel file system for clusters
Automatic speech recognition for Amharic
New 3D scanning techniques for complex scenes
Sicheres übergangsloses Roaming
Optimale Cache-Nutzung für Realzeitsoftware auf Multiprozessorsystemen
Reusing open source code: value creation and value appropriation perspectives on knowledge reuse
Reduktion von Verzögerungsunterschieden bei der Gruppenkommunikation im Internet
Stochastical models for networks in the life sciences
Parallele Anfrageverarbeitung in multidimensionalen Array-Datenbanksystemen
3D-Kopfposenschätzung in monochromatischen Videosequenzen geringer Auflösung
Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion
Standardübergreifende Konzepte für blockbasierte Videodecodierung
Konstruktion korrekter Codegeneratoren für Speicherprogrammierbare Steuerungen
Erfahrungsmanagement mit fallbasierten Assistenzsystemen: Prozesse, Konzepte und Anwendungsbeispiele in einem ganzheitlichen Rahmenwerk
Model transformation languages for domain-specific workbenches
Algorithmen und Methoden zur dokumentenspezifischen Analyse historischer und OCR-erfasster Texte
Parameterized Algorithmics for Network Analysis: Clustering & Querying
Navigation and execution for mobile robots in dynamic environments: an integrated approach
Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik
Roboter-Fußball: Perzeption, Deliberation und Aktion autonomer Systeme in dynamischen Umgebungen
Methodik zur Verbesserung der Ergebnisqualität bei der IT-gestützten Fabrikplanung im Rahmen der digitalen Fabrik
HiPeer: an evolutionary approach to P2P systems
On generalized Barycentric coordinates and their applications in geometric modeling
Customizable feature based design pattern recognition integrating multiple techniques
Webliteralität: Lesen und Schreiben im World Wide Web
SAT-based finite model generation for higher-order logic
Analysis of compositional conflicts in component based systems
Ein Verfahren zur modellbasierten Entwicklung von multimedialen Informations- und Kommunikationsdiensten
Towards predictive rendering in virtual reality
Co-Reservation of Resources in the Grid
SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System
Ein Hybrid-Verfahren zur Bearbeitung Kombinatorischer Optimierungsprobleme (A hybrid for solving Combinatorial Optimization Problems)
Encoding and computation on quantum jump codes
Robust deep linguistic processing
Cross species common gene regulatory network inference (Inferenz speziesübergreifender Genregulationsnetzwerke)
Computergenerierte Darstellung dynamischer Szenen in Telepräsenzszenarien
Analyse, Entwurf und Generierung von Rollen- und Variantenmodellen
E-Mail-Kategorisierung und Spam-Detektion mit SENTRAX: Mustererkennung mit Assoziativmatrizen
Automatische Erkennung von Zuständen in Anthropomatiksystemen
Effiziente Echtzeit-Kommunikationsdienste durch Einbeziehung von Kontexten
Die Sphere-search-Suchmaschine zur graphbasierten Suche auf heterogenen, semistrukturierten Daten
Design and implementation of a programmable middleware
New Approaches in Context-based Protein Function Prediction (Neue Ansätze in kontext-basierter Gen Funktionsvorhersage)
Atomic transaction processing in mobile ad hoc networks
Viable network intrusion detection in high-performance environments
Strategische Unternehmensplanung in einer Data-Warehouse-Umgebung unterstützt durch ein Wissensmanagementsystem
Persönliches digitales Identitätsmanagement: Untersuchung und Entwicklung von Konzepten und Systemarchitekturen für die kontrollierte Selbstdarstellung in digitalen Netzen
Domänenübergreifende temporale Eigenschaftsverifikation heterogener Systeme
Ein Beitrag zur Entwicklung kooperierender mobiler Roboter: konstruktives Design und Steuerungsentwurf
Emulation von Rechnernetzen zur Leistungsanalyse von verteilten Anwendungen und Netzprotokollen
Highly interactive web-based courseware
Visualization of uncorrelated point data
Congestion pricing as scalable, efficient and stable congestion control for future IP networks
Mobilitätsunterstützung mit programmierbaren Netzen
Structural neural learning machines
Mobilität in der kooperativen Wissensarbeit: Entwicklung einer Musterarchitektur für mobil-verteilte Wissensräume
Markierungsunabhängige Identifikation postalischer Dokumente
Novel graph based algorithms for transcriptome sequence analysis
Verfahren zur stabilen Korrespondenzanalyse in Bildern unter maritimen Bedingungen
Virtual-reality-basierte Analyse und interaktive Steuerung von Strömungssimulationen im Bauingenieurwesen
Konzept zur Unternehmensplanung, -steuerung und -verwaltung durch objekt- und komponentenorientierte Entwicklung
Ein Beitrag zur fortschrittlichen Mensch-Maschine-Interaktion auf Basis ontologischer Filterung: dargestellt am Beispiel automatisierter Handhabungssysteme
Analyse von Middleware-Technologien bzgl. Performanz und ihrer Eignung für lose und eng gekoppelte verteilte Anwendungen
Autonomous units as a rule based concept for the modeling of autonomous and cooperating process
Digital Motion Picture Camera Denoising
Nutzerdefinierte Restriktion delegierter Privilegien im Grid-Computing
Subdivision based finite elements for lipid membranes
Distributed object computing caching and prefetching
Behavioral intervals in embedded software
Metadatengeleitete Navigation in bildbasierten wissenschaftlichen Experimentaldaten
Password based security mechanisms for distributed computing
System support for distributed energy management in modular operating systems
Motivational Design for Computer-Supported Collaborative Ideation (Motivationsdesign for computergestützte, kollaborative Ideenfindung)
Cross-species network and transcript transfer
Meta-learning: strategies, implementations, and evaluations for algorithm selection
Modeling and Selection of Software Service Variants
Aspects of information processing by individual neurons and populations of neurons
Cyclic level drawings of directed graphs
Behaviour and refinement of port-based components with synchronous and asynchronous communication
Multimodal interaction with mobile devices: fusing a broad spectrum of modality combinations
Data distribution algorithms for storage networks
Mathematische Methoden zur Bildbearbeitung
Media distribution using overlay multicast and peer-to-peer technologies
Splitting methods in image processing
Standard and non-standard reasoning in description logics
Hybrid multi-agent systems: modeling, specification and verification
A-MEDIAS: concept and design of an adaptive integrating event notification service
Combining protein structure prediction with experiments and functional information
Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern
Improving the scalability of high performance computer systems
Multimedia stream adaptation services
Verbesserung, Lokalisierung und Entzerrung von Textdokumentaufnahmen
Approximate algorithms for efficient indexing, clustering, and classification in Peer-to-peer networks
Standalone Disaggregated Reconfigurable Computing Platforms in Cloud Data Centers (Eigenständige, entkoppelte rekonfigurierbare Rechenplattformen in Cloud-Rechenzentren)
Combination methods for automatic document organization
Crosswalks between the deep web and the surface web
Ultra low power MAC layer wake-up frame scheme for low cost and low traffic wireless sensor networks
Template-basierte Erfassung von Produktanforderungen in einem CAD System
Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate
Modulare, verteilte Hardware-Software-Architektur für humanoide Roboter
Categorical net transformations for Petri net technology
Automatic algorithm selection for complex simulation problems
Architecture and prototype of a real-time processor farm running at 1 MHz
Virtuelle Absicherung manueller Fahrzeugmontagevorgänge mittels digitalem 3-D-Menschmodell: Optimierung der Mensch-Computer-Interaktion
IRStream: Konzeption und prototypische Implementierung eines Information-Retrieval-Systems für strukturierte multimediale Dokumente
Understanding cancer with bioinformatics
Automatisierte Extraktion rhythmischer Merkmale zur Anwendung in Music-Information Retrieval-Systemen
Kontextbasiertes Information-Retrieval: Modell, Konzeption und Realisierung kontextbasierter Information-Retrieval-Systeme
Privacy sensitive surveillance: smart camera based distributed scene analysis reflected in an integrated 3D environment
Methodik zur durchgängigen Entwicklung verteilter Systeme mit Echtzeitbedingungen für Rundrufnetze
A dynamic multi-application dialog engine for task-oriented voice user interfaces
Temporale Aspekte entdeckten Wissens: ein Bezugssystem für die Evolution von Mustern
Development and automatic deployment of distributed control applications
Architekturbasierte Konstruktion von Multiagentensystemen
Statistical learning with similarity and dissimilarity functions
Ausführbare Dialogmodelle für reichhaltige und kontextabhängige Benutzungsschnittstellen
Finding optimal solutions for covering and matching problems
Sukzessive Auslöschungsdecodierung für BCH- und Reed-Solomon-Codes in Hardware
CPFR und elektronische Marktplätze: Neuausrichtung der kooperativen Beschaffung
Automated assertion transformation across multiple abstraction levels
Signalraumdetektion und ihre Anwendungen
Robuste Spracherkennung auf der Basis recheneffizienter auditiver Modelle
Ontology Matching based on Combination of Lexical and Structural Techniques in Semantic Web
Reactive probabilistic belief modeling for mobile robots
Digital watermarking for NURBS-based 3D CAD models
A Modular Framework for Optimizing Grid Integration of Mobile and Stationary Energy Storage in Smart Grids (Ein modulares Framework zur Optimierung der Netzintegration mobiler und stationärer Energiespeicher in Smart Grids)
A System for Simultaneous Translation of Lectures and Speeches
Multithreaded Programming and Execution Models for Reconfigurable Hardware
Reuse driven courseware engineering
One-to-one edge based registration and segmentation based validations in hybrid imaging
Machine learning for genomic sequence analysis
Conceptual free-form styling in virtual environments
Neue Sprachtendenzen im japanischen Internet: eine soziolinguistische Untersuchung am Beispiel von Tagebuch-Mailmagazinen
Classifying Web sites
Objektorientierter Softwareentwurf in der Sekundarstufe II
A model-driven approach to multi-agent system design
Impact analysis for aspectJ - a critical analysis and tool-based ppproach to AOP
Entnahmestrategien zur Objektvereinzelung mittels Industrierobotern
Public use files der deutschen Forschungsverbünde Public Health: die Erstellung wissenschaftsöffentlicher Datensätze auf Grundlage BMBF-geförderter Public-Health-Foschungsprojekte
Congenial Web search: a conceptual framework for personalized, collaborative, and social peer-to-peer retrieval
Dublettenerkennung (Searching for Duplicates)
Efficient system traversal and property verification by exploiting circuit locality
Effiziente Algorithmen und Datenstrukturen zur Berechnung zweier disjunkter Pfade
Strategisches Denken und Gestaltung von IT bei Komplexität, Dynamik und Unsicherheit: Entwicklung eines Denkansatzes auf Grundlage der Komplexitätstheorie
Reconfigurable architectures and design automation tools for application-level network security
Dynamische Dienstkomposition in Ubiquitous-computing-Umgebungen
Die Sicherheitsaspekte von mobilem Code
Software performance prediction as part of the unified software development process
Sichere Mensch-Roboter-Kooperation durch Auswertung von Bildfolgen
Performance analysis of wireless ad hoc networks
Flexible elearning platforms: a service oriented approach
Intra-operative Nuclear Imaging Based on Positron-emitting Radiotracers (Intra-operative Nuklearmedizinische Bildgebung anhand Positronen-emittierender radioaktiver Tracer)
Analysis and design of power efficient coding schemes
Zur Invertierbarkeit von durch spatio-temporale Filter erzeugten Abbildungen mit besonderem Bezug zur Entwicklung einer lernfähigen Sehprothese
Multi-field visualization
Die Granularität zeitlicher Bedeutung: ein dynamischer Ansatz zur Syntax und Semantik temporaler Adverbiale
On the role of nondeterminism and refinement in model-driven top-down development of software systems
Plan projection, execution, and learning for mobile robot control
Multimodale Dialogsteuerung für Roboteranwendungen
Video-watermarking auf Basis der geometrischen Struktur unter besonderer Berücksichtigung starker Kompression
A floating-point to fixed-point design flow for high performance digital signal processors
Improved route caching strategies for on demand routing protocols in mobile ad hoc networks
Semantische Suche: intelligente Suchmaschinen durch innovative und zukunftsweisende Konzepte und Technologien
Textabhängige und phonetisch-basierte Sprecherverifizierung für den Einsatz in der Telekommunikation
3D simulation of external beam radiotherapy
Modellbasierte IT-Unterstützung von wissensintensiven Prozessen: dargestellt am Beispiel medizinischer Forschungsprozesse
Reparallelization and migration of OpenMP applications in grid environments
Joint methods in imaging based on diffuse image representations
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems (Verifikation von non-deterministischen Markovischen Systemen mit diskreter oder kontinuierlicher Zeit)
Modeling and Performance Analysis of Networks with Flow Transformations
Standardbasiertes EAI-Vorgehen am Beispiel des Investment Bankings
COMRADE: ein Hochsprachen-Compiler für adaptive Computersysteme
On the self-organization of a hierarchical memory for compositional object representation in the visual cortex
End-to-end mechanisms for rate-adaptive multicast streaming over the internet
System zur Simulation der Mensch-Roboter-Kooperation in virtuellen und erweiterten Umgebungen
Towards model based engineering: a constraint based approach
Analyse, Laufzeitmodellierung und Optimierung paralleler MPI-Programme
IT-gestützte persönliche Finanzplanung: Ansätze zur Komponentenidentifikation, Variation und Automatisierung der Komposition
Design and configuration of distributed job processing systems
Event based visualization for user centered visual analysis
Konzeptframes und Relationen: Extraktion, Annotation und Analyse französischer Corpora aus dem World Wide Web
Digitale Kommunikation: der Einfluss intramedialer Kontextinformationen auf den Aufwand im E-Mail-Management: mit Formularen die E-Mail-Flut beherrschen