yusuke1997/dblp-id-title huggingface dataset:
Parallel SECONDO: processing moving objects data at large scale
Das NetworkParser-Framework: Ein Entwicklungtool für den SDM-Ansatz vom Stories bis zur fertigen Anwendung
Gestaltungsempfehlungen für mehrbenutzerfähige Informationsanwendungen auf interaktiven Wandbildschirmen im (halb-)öffentlichen Raum
Entwurf und Untersuchung eines verallgemeinerten Dead-beat-Regelalgorithmus
Tools for Reasoning about Effectful Declarative Programs
Multilingual speech recognition
Linear Tree Transducers: From Equivalence to Balancedness
Supporting lay users in privacy decisions when sharing sensitive data
Chancen der mittelständischen Wirtschaft durch Anwendung moderner Technologien, dargestellt am Beispiel der Integration eines CAD-Systemes in die Material- und Zeitwirtschaft der auftragsorientierten Serienfertigung im Maschinen- und Anlagenbau
Flow through fissured media: mathematical analysis and numerical approach
Validierung eines elektronischen Patiententagebuchs
Machine learning solutions for high dynamic range video processing and image quality evaluation
Untersuchung numerisch erzeugter Frontenparameter im Bereich konventionell analysierter Bodenfronten: e. Beitr. zur Anwendung u. Erforschung von Computerfronten im Rahmen d. synopt. Analyse
Successfully implementing and scaling up telemedicine initiatives
Ein Beitrag zur steuerbaren Interpolation von Kurven und Flächen
Efficient algorithms for generating elliptic curves over finite fields suitable for use in cryptography
Die Diffusion sozialer Innovationen: e. Strukturanalyse
Zuverlässigkeitsanalyse von TF-Übertragungsabschnitten
Entwicklung eines Modelica Compiler BackEnds für große Modelle
Reglerentwurf zur Synchronisierung linearer heterogener Multi-Agenten-Systeme
Untersuchungen zu einem selektiven digitalen Demodulationsverfahren amplitudenmodulierter Sinusträger
Raster-Farbgrafik-Display für allgemeine Felddarstellungen
Der Beitrag der Theorie der unscharfen Mengen für die Entwicklung spezieller ökonomisch-mathematischer Modelle zur Qualifizierung der Vorbereitung strategischer Entscheidungen
Ein Beitrag zur Gestaltung vernetzter Datenhaltungsdienste mit Client/Server-Architekturen: Voruntersuchungen zum Problemkreis "Computer Integrated Railroading" (CIR)
Process migration in a parallel environment
Automatischer Entwurf von Analogschaltungen mit Hilfe von Makromodellen
Organisation und Entwurf eines Systems zum Fehlernachweis und zur Fehlerlokalisierung in informationsverarbeitenden Systemen
Degree heuristics for matching
Beschreibung des Datenbanksystems Herzkatheterbank und exemplarische Darstellung des Einsatzes dieses Systems zur Erfassung von Qualitätfaktoren im Bereich der invasiven Kardiologie (PTCA)
Integration neuronaler Vektorquantisierer in ein Hidden-Markov-Modell-basiertes System zur automatischen Spracherkennung
Modular task modeling and creation of high-level building blocks for implementing complex robot applications
Zugangsberechtigung und besondere Sicherung im Sinne von § 202a StGB: Datensicherung - nicht nur ein juristisches Problem
Medizinische Informatik im Medizinstudium: Umfragen unter Studierenden und Hochschullehrern, internationale Vergleiche und Vorschläge für ein zukünftiges Curriculum
Development of a virtual audience concept for public speaking training in immersive virtual environments
Aufbau eines Multiprozessor Datenerfassungssystems
Technikgestützte Kommunikation und Kooperation im Büro: Entwicklungshindernisse - Einsatzstrategien - Gestaltungskonzepte
JERKPERT - klinischer Einsatz und Evaluation eines Expertensystems zur Differentialdiagnostik von Nystagmen und anderen Augenbewegungsstörungen
Methoden und Verfahren zur Lösung des verallgemeinerten Maschinenbelegungsproblems
An abstract model of hierarchical graphs and hierarchical graph transformation
Parallel volume rendering for image guided surgery
Erkennung charakteristischer Grauwertübergänge mit ART-Netzwerken
An approach to the machine front end services for the CIM open system architecture (CIM-OSA)
Bewegungssteuerung in natürlichen Systemen
Ansatz für ein personalisiertes sequenzielles Empfehlungssystem für kleine divergierende Benutzergruppen am Beispiel einer Produktentwicklung
Weiterentwicklung der sogenannten "Rechteckzonenmethode" zur Bestrahlungs-Planung für den Linearbeschleuniger CLINAC 20
Szenenabhängige Online-Adaption von Manipulationssequenzen für einen Serviceroboter
Property analysis of term rewriting systems
Towards a theory of gesture form analysis: imaginary forms as part of gesture conceptualisation, with empirical support from motion-capture data
Reducing the complexity of OMICS data analysis
Elektronenstrahlgesteuerter Vollscheiben-Selbsttest für hochintegrierte Digitalschaltungen
Konzeption einer graphischen Kommunikationsschnittstelle zur Organisation und Weiterverarbeitung geowissenschaftlicher Daten
Komponenten für ein enggekoppeltes, heterogenes Mehrrechnersystem
Modeling and Prediction of I/O Performance in Virtualized Environments
Selbstorganisierende neuronale Netze auf Grundlage von Informationsmaßen: informationstheoretische Anforderungen an Architektur und Funktionalität neuronaler Modelle im Vergleich mit dem biologischen Vorbild und als eine Richtlinie für technische Systeme
Structured architecture evaluation of wellbeing IoT systems: a safety- and security-driven approach
Voice over IP capacity of IEEE 802.11 WLAN and IEEE 802.21 based interworking performance of WLAN and mobile LTE networks
Multi-cue people detection from video
Zoomable user interfaces: Communicating on a canvas: Kommunikation auf einer Leinwand
Systemdynamische Simulation - eine effiziente Möglichkeit zum Modellieren und Bewerten wirtschaftlicher Prozesse
Cross-lingual question answering
Schnittebenenverfahren für Travelling-Salesman- und verwandte Probleme
Die computergestützte Auswertung des Stimmfeldes
Situative teams in cooperative autonomous systems: a task-centric approach
Multi-purpose exploratory mining of complex data
Compiler-based defenses against code execution attacks
Ein hierarchisches Verfahren zur Schaltkreissimulation
Programming models for next generation HPC systems
General bisectors and their application in planar location theory
On the understanding of protograph-based low-density parity-check convolutional code design: a study on applicability in iterative receiver systems
Methodik funktionaler Systementwicklung
Gegenstands- und Beziehungsgeschichten: ein Konzept zur Beschreibung und Verwaltung zeitveränderlicher Informationen in Datenbanken
2-dimensionale Modellierung des Röhrenspaltofens der ADAM/EVA II Anlage
The Lateralization of Expectations: Hemispheric Differences in Top-down and Bottom-up Word Processing in Context
Retargetable postpass optimisation by integer linear programming
Label monitoring on document streams
Objektorientierte Entwicklung eines parallel arbeitenden Materialflusssimulators
Reaktive Steuerung einer sechsbeinigen Laufmaschine in unbekannter Umgebung
Methodische Anforderungsanalyse und automatisierter Entwurf sicherheitsrelevanter Eisenbahnleitsysteme mit kooperierenden Werkzeugen
Adora-L - eine Modellierungssprache zur Spezifikation von Software-Anforderungen
Intuitive Schnittstelle: eine neue Computerumgebung für die Planung bildkünstlerischer Prozesse
Constructing lexicons of relational phrases
Conversational agents with personality
Grammatikalgebren
Data-integrated methods for performance improvement of massively parallel coupled simulations
Eine homogene Programmierumgebung für einen heterogenen Multiprozessor zur Echtzeit-Bildverarbeitung
Greedy algorithms for max sat and maximum matching: their power and limitations
Lernen aus fehlerhafter oder unvollständiger Information
Erwartungsgeleitete Sprachverarbeitung: Computersimulierungen von Verstehensprozessen
Ereignisbasierte Rechneranalysesysteme zur Bewertung paralleler und verteilter Systeme
Wissensbasiertes, Fuzzy-Logik-gestütztes Entgraten von Werkstücken mit kraft- und positionsgeregelten Industrierobotern
Vom Fahrer zum Denker und Teilzeitlenker: Einflussfaktoren und Gestaltungsmerkmale nutzerorientierter Interaktionskonzepte für die Überwachungsaufgabe des Fahrers im teilautomatisierten Modus
Rückgekoppelte und wachsende neuronale Netze zur dynamischen Erkennung von Sprache
Stochastische Reihenfolgeplanung mit Hilfe von GERT-Netzplänen
Kriterien zur Wahl von Regressionsmodellen
Quantitative and structural analysis of real-time and probabilistic systems
Neugestaltung der Unternehmensplanung mit Hilfe eines prozessorientierten Planungsinformationssystems
Database recovery in the design envoronment: requirements analysis and performance evaluation
Modeling and Solving Master Planning Problems in Semiconductor Manufacturing
Eine objektorientierte Architektur für die Entwicklung von flexiblen Telekommunikations-Anwendungen
Angriffserkennung in Kommunikationsnetzen
Secure Collaborations for the Industrial Internet of Things
Berechnungsmethoden der kritischen Temperatur von Reinstoffen: vergleichende Bewertung u. Optimierung d. Methodenparameter
Eine Familie von UNIX-ähnlichen Betriebssystemen: Anwendung von Prozessen und des Nachrichtenübermittlungskonzeptes beim strukturierten Betriebssystementwurf
Zur Struktur- und Leistungsanalyse eines Multiprozessorsystems nach dem "Pool"-Prinzip
Pruning and quantization for efficient deep neural networks
Arbeitsorientierte Gestaltung von Dialogsystemen im Büro- und Verwaltungsbereich
Mentale Modelle dynamischer Systeme: Analyse und Weiterführung methodischer Grundlagen von psychologischen Experimenten zum Umgang von Personen mit Systemen
Transformer-based NMT: modeling, training and implementation
CADMOS: Component Driven Graphs als Grundlage von Softwaresystemen zur modellbasierten Systembeobachtung
Modellierung und Entwurf strukturierter wissensbasierter Softwaresysteme für die Automatisierung von Elektroenergiesystemen
Rechnergestützte Inbetriebnahme und Qualitätsüberwachung von LOTUNET-Hardware-Komponenten
Computational Methods in k-mer-based Pangenomics
Kontaktlose und wahrnehmungsbasierte Benutzerschnittstellen in der Operationsumgebung durch Anwendung der 3D-Bildverarbeitung
Entwurf eines objektorientierten Visualisierungssystems auf der Basis von Raytracing
Development of the DAQ Front-end for the DSSC Detector at the European XFEL
Effektive Strategiekonstruktionen für Gale-Stewart-Spiele auf Transitionsgraphen
Cross-Layer Cloud Performance Monitoring, Analysis and Recovery
Framework for e-government systems design and implementation for developing countries
Artefakterkennung in Biosignalen mit künstlichen neuronalen Netzen
Computergrafik: Grundlagen, Bildformen und Anwendungen im Kunstunterricht
Lexikon und automatische Lemmatisierung
Die Abstraktion linienhafter Bildobjekte auf der Grundlage von Zellenkomplexen
Note Taking in the Digital Age - Towards a Ubiquitous Pen Interface
WDM network planning and management
The memory-based paradigm for vision-based robot localization
Analyse und Bewertung der Einflussgrössen auf die Wirtschaftlichkeit von DNC-Systemen: Entscheidungshilfen für Auslegung u. Betrieb rechnergeführter Fertigungsanlagen
Flexible Montage von Leitungssätzen mit Industrierobotern
P2P Fog Computing: Enhancing Fog-based IoT Scenarios with Distributed Hash Tables
BCH Codes mit kombinierter Korrektur und Erkennung
Supportive guidance methods for wiki-based learning and knowledge construction
FRM: ein Frame-Repräsentationsmodell und die formale Beschreibung seiner empirischen Semantik
Vernetztes Prozesskostenmanagement: Konzeption und Realisierung mit einem Blackboardsystem
Dynamic data structures and saliency-influenced rendering
No-reference Video Quality Assessment and Applications
Realisierung eines Logistikberater-Arbeitsplatzes für das Frachtkostencontrolling mit wissensbasierten Elementen
Complexity and Expressive Power of Description Logics with Numerical Constraints
Adaptive functional modeling of neural activity: a reservoir computing approach to neuronal cultures
Deep learning approaches for adaptive audio processing and binary classification in digital health
Neuronale Netze zur Musterklassifizierung und Exploration des Raumes
Non-reformist reform for Haskell Modularity
Energy-efficient distributed multicast beamforming using iterative second-order cone programming
Unterstützung varianter Strukturen in einem erweiterten relationalen Datenmodell
Einflüsse von Prozeßzeit und Anzeigeform auf die psychophysiologische Beanspruchung bei Multi-Tasking-fähigen Rechnersystemen
Verfahren zur hardwaregestützten Hauptspeicherverwaltung in Datenbankmaschinen
Koordinationsentscheidungen bei Unsicherheit: e. entscheidungstheoret. Beitr
Model-based Optical Flow: Layers, Learning, and Geometry
The missing link: a general prediction model based on textural and network data features
Methode zur Erfassung direkt nicht messbarer Qualitätskenngrössen am Beispiel von Blasfolien
Neuronale Modelle nichtlinearer dynamischer Systeme mit Anwendung auf Musiksignale
Signalpfad- und Parameter-Extraktion aus dem Masken-Layout integrierter Schaltungen
Modularity by Design for Safety-Critical Software Systems
Spezifikation und Entwurf lehrspezifischer Dialoganwendungssysteme (LDAS) zur Qualifizierung der Aus- und Weiterbildung von Ökonomen und Möglichkeiten der Implementierung auf Basisrechnern
Partielles robustes Parsing spontansprachlicher Dialoge am Beispiel von Zugauskunftsdialogen
Ein schneller datenflußorientierter Präprozessor zum Zählen von Ionisations-Clustern in Driftkammern
Beyond keyword searches: exploiting neural embeddings for innovative access paths to scientific literature
Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis
EM-basierte maschinelle Lernverfahren für natürliche Sprachen: Klassifizierung mehrdimensionaler linguistischer Daten und Modellierung lexikalisierter Grammatiken
Offen konfigurierbare Kommunikationsankopplungen für vernetzte Steuerungen
ISDN-Kommunikationssysteme: ein Beitrag zu ausgewählten Prinzipien, Verfahren, Geräte- und Programmtechniken
Rahmensystem für visuelle Wahrnehmung veränderlicher Szenen durch Computer
Zur Darstellung von Monoiden durch konfluente Regelsysteme
Das TST-Kryptosystem
Arbeitnehmerdatenschutz und Datensicherung in Informations- und Kommunikationssystemen dargestellt am Beispiel von ISDN: ein Beitrag zur rechtlich bestimmten Technikgestaltung
Towards a Network-based Approach for Smartphone Security
Foundations of realistic rendering: a mathematical approach
Acquisitions and Open Source Software Development
Entwicklung und Erprobung eines Dienstleistungskonzepts zur Integration von Simulationen in die Kernreaktor-Fernüberwachung
Datenverarbeitungssystem für gutartige Magenerkrankungen: Entwicklung und praktische Anwendung
Automatic speaker identification by artificial neural networks
Entwicklung von Führungsinformationssystemen: ein methodenorientierter Ansatz
Robust and Distributed Cluster Enumeration and Object Labeling
Expériences en reconnaissance de la parole: application à l'apprentissage des langues: le système MicroLEA
Fahrer- und situationsgerechte Navigationsunterstützung im Fahrzeug
Designing interactive systems: key issues for a holistic approach
Computersimulation in der Berufsschule: Entwicklung und Evaluation eines Konzepts zur Förderung kognitiver Komplexität im Politik- und Wirtschaftslehre-Unterricht
Zur Entwurfsoptimierung von Scheibentragwerken
Gradual security typing
Alignment models for recurrent neural networks
Machine learning and hyper spectral imaging: multi spectral endoscopy in the gastro intestinal tract towards hyper spectral endoscopy
Improving the Applicability of Differential Privacy in Data Sharing and Analytics Applications
Generic constructions of quantum-resistant cryptosystems
Computergestützte Befundung klinischer Elektroenzephalogramme
Elektronische Medieninnovationen: zum Erfolg und Scheitern medienkultureller Alternativprojekte der 70er, 80er und 90er Jahre
Predictable transactional memory architecture for hierarchical mixed-criticality systems
Parallel multi-scale-simulations with octrees and coupled applications = Parallele Multi-Skalen Simulationen mit Octrees und gekoppelte Anwendungen
Das ASCEND-Modell zur Unterstützung kooperativer Prozesse
Revealing the Invisible: On the Extraction of Latent Information from Generalized Image Data
GIS-orientierte Methoden der digitalen Reliefanalyse zur Modellierung von Bodenerosion in kleinen Einzugsgebieten
Ein Modell zum zentralen Betrieb von hoch flexiblen SOA-Lösungen auf Basis definierter Standards
Simulated trading: ein paralleles Verfahren zur Lösung von kombinatorischen Optimierungsproblemen
Qualitative Principles of Visual Information Encodings
Systematische Entwicklung von Mikrosimulations-Software
An Intent-based Blockchain-agnostic Interaction Environment
Beyond the sum of parts: shape-based object detection and its applications
Scalable data profiling: distributed discovery and analysis of structural metadata
Optimization and evaluation of array queries in database management systems
Conversational Context for Mobile Notification Management
Spezifikation von Benutzerschnittstellen: Konstruktion konfigurierbarer und konsistenter Benutzerschnittstellen
Adaptive Consistency Management for In-memory Storage
Konzeption eines computergestützten Informationssystems für das Weiterbildungs-Controlling
Learning Vector Quantization for the Real-World: Privacy, Robustness, and Sparsity
Deadline Miss Models for Temporarily Overloaded Systems
Query Execution on Modern CPUs
Visual Recognition Using Deep Neural Networks on Abstract and Decomposed Data
Leistungsorientierter Krankenhaus-Betriebsvergleich: Entwicklung eines Informations- und Kontrollsystems zur Vergleichbarkeit der Krankenhäuser hinsichtlich ihrer Wirtschaftlichkeit
Computergestütztes kooperatives Arbeiten in Designumgebungen
Konzipierung und Realisierung einer Unterstützung des kombinierten Einsatzes von Methoden bei der Positionierungsanalyse
Computereinsatz im Aufsatzunterricht: rechnergestützte Analyse von Gebrauchstexten und Möglichkeiten des Schreibens in der Sekundarstufe I unter FRAMEWORK III
Aufbau eines rechnergestützten Informationsrecherchesystems für das Forschungsprojekt "Diabetes mellitus und Fettstoffwechselstörungen", Darstellung anhand der biochemischen Problematik
Schülergerechter Datenverarbeitungs-Unterricht an Kaufmännischen Schulen, am Beispiel der Höheren Handelsschule
Adaptive Lightweight Compression Acceleration on Hybrid CPU-FPGA System
Entwicklung von Gestaltungsrichtlinien für blickgesteuerte Anwendungen
Rechtsfragen des Austausches und des Schutzes von Computersoftware: eine Untersuchung unter Einschluss von Eigentums- und Fondsrechten an Software nach dem Recht der DDR
Skelettierung und Segmentierung handgeschriebener Zeichen
Support for Information-Seeking Strategies
Eine Methode zur Entdeckung von komplexen Mustern in Zeitreihen mit neuronalen Netzen und deren Überführung in eine symbolische Wissensrepräsentation
Zur Modellierung und Simulation volkswirtschaftlicher Prozesse mit Hilfe eines kopplungsfähigen betrieblichen Simulationsmodells
Ausnahmebedingung in verteilten Programmiersprachen: Sprach- und Verifikationskonzepte
Combining dense and sparse data for real-time SLAM and motion planning on humanoid robot
Ein Beitrag zur Parallelisierung speicherprogrammierbarer Steuerungen
Zur Problematik der Implementierung problemorientierter Betriebssysteme für Mikrorechner
Remote sensing of atmospheric water vapor over land areas using MERIS measurements and application to numerical weather prediction model validation
Verbesserung der Überdeckung von Service-Komposition nach Laufzeit-Adaptation
Epistemic planning towards implicit coordination of multiple agents with distributed knowledge
Die Auswertung von Geschäftsunterlagen in Wirtschaftsstrafverfahren mit Hilfe der elektronischen Datenverarbeitung: ein Instrument der Staatsanwaltschaft zur Verbesserung der Strafverfolgung im Bereich der Wirtschaftskriminalität
Erarbeitung einer Datenbank für urologische Erkrankungen
Integrated Usage Mining: eine Methode zur Analyse des Benutzerverhaltens im Web
From Valid Measurements to Valid Mini-Apps
Ein Bausteinsystem für die Modellierung und Simulation flexibler diskreter Fertigungsprozesse
Decentralized authorization for inter-domain collaborations with iRBAC framework
Generierung synthetischer arabischer Handschrift zur Unterstützung von automatischer Erkennung handschriftlicher Texte
Occlusion handling in scene reconstruction from video
Control of Outdoor Robots at Higher Speeds on Challenging Terrain
Wiki im Wissensmanagement: Determinanten der Akzeptanz eines Web 2.0 Projektes innerhalb eines internationalen Zulieferers der Automobilindustrie
Einheitliche Anwenderschnittstelle für Feldbussysteme
Authoring of semantic mathematical content for learning on the web
Situation-Aware Adaptive Event Stream Processing
Wireless Mesh Network: a rural community case
Der adaptiv gesteuerte, wechselnde Buszugriff nach Signalabtastung (MSAP) für lokale Netze
Zur Modellierung spezieller und komplexer Reihenfolgeprobleme
Pseudostabile Mengen in Graphen
Impact of motif content on dynamic function of complex networks
Basiskonzepte für das IV-Dictionary als Werkzeug zur Verwaltung der betrieblichen Metadaten
Sustainability of Open Source Software Projects: On the Influence of Technical Interdependencies in Software Ecosystems on Developer Participation
Haptic illusions - creating haptic sensations through augmented environments
Realität und virtuelle Welten: Philosophie für eine High-Tech-Gesellschaft
Reverse engineering of biological signaling networks via integration of data and knowledge using probabilistic graphical models
Die Prüfung der Sanierungsfähigkeit notleidender Unternehmen: Grundlagen, Durchführung und Unterstützung durch Expertensysteme
Logic synthesis with Boolean model
Object Understanding Through Abstraction Inspired by Compositionality and Connectionism - From Noisy Scene Point Clouds to Objects and Shape Reasoning
Computergestütztes Vorgehenssystem für die Projektabwicklung eines modellbasierten Systementwurfs - COMPOSE: die Konzeption eines gewidmeten CASE-Tools zum fachlichen Entwurf von betriebswirtschaftlichen Anwendungssystemen in Unternehmen
Harnessing Human Potential for Security Analytics
Communication in parallel systems: models, algorithms and implementations
From Cognition 2 Applications: Bridging the Gap between Formal Education & AI
Autonomous Interconnection of Heterogeneous Networks
Ein namenszentrischer Ansatz zur Realisierung von Diensten im Internet der Dinge
Deep Learning for Volume Visualization
Relativized polynomial hierarchies extending two levels
Analyzing complex data using domain constraints
Contributions to a 3-D robot vision system: silhouette analysis and evidential reasoning
Symbolic parallelization of nested loop programs = Symbolische Parallelisierung verschachtelter Schleifenprogramme
Die Rationalisierung der betrieblichen Informationsorganisation und die Lösung betriebswirtschaftlicher Aufgaben der Planung und Abrechnung mit Hilfe des Einsatzes einer Kleindatenverarbeitungsanlage C 8205 (D4A): (dargestellt am Beispiel der GPG "Thomas Müntzer" Mühlhausen)
Entwicklung eines EDV-gestützten Datenaufbereitungssystems für eisenbahnbetriebliche Untersuchungen
Ein Modell zur Simulation eines innerstädtischen Verkehrsablaufes und zur Steuerung von Lichtsignalanlagen mittels Petri-Netzen unter Berücksichtigung der Grünen Welle
Steuerung verteilter Simulatoren für zeitdiskrete Systeme
Merkmalsorientierte Objekterkennung und -lokalisation im 3D-Raum aus einem einzelnen 2D-Grauwertbild und Referenzmodellvermessung mit optischen 3D-Sensoren
System-level modeling and design with the SpecC language
Aktivitätsanalyse und Planung, eine produktionstheoretische Untersuchung auf der Grundlage des Dualitätsprinzips
Ansätze zur Realisierung intelligenter Lehrsysteme in der universitären Ausbildung: eine interaktive Lernumgebung im Fachgebiet "Grundlagen der Elektrotechnik" der TU Ilmenau
Unsupervised temporal anomaly detection: Time series, data stream, and interpretability
The probabilistic model checker Storm: symbolic methods for probabilistic model checking
Statistical part-based models for object detection in large 3D scans