Publikationen

2020

• Real-time Hardware Implementation of ARM CoreSight Trace DecoderZeinolabedin, S. M. A., Partzsch, J. & Mayr, C., 2020, in: IEEE design & test : D & T. 38, 1, S. 69-77, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Reasoner = Logical Calculus + Rule EngineCarral, D., Dragoste, I. & Krötzsch, M., 2020, in: KI - Kunstliche Intelligenz. 34, S. 453–463Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Reasoning in Description Logic Ontologies for Privacy ManagementNuradiansyah, A., 2020, in: Künstliche Intelligenz : KI. 34, 3, S. 411-415, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• RecordFlux: Formal Message Specification and Generation of Verifiable Binary ParsersReiher, T., Senier, A., Castrillon, J. & Strufe, T., 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. Arbab, F. & Jongmans, S. (Hrsg.). Springer, Berlin [u. a.], S. 170-190, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reduction methods on probabilistic control-flow programs for reliability analysisDubslaff, C., Morozov, A., Baier, C. & Janschek, K., 2020, 30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020. Baraldi, P., Di Maio, F. & Zio, E. (Hrsg.). Research Publishing Services, S. 4843-4850, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Re-examining linear embeddings for high-dimensional Bayesian optimizationLetham, B., Calandra, R., Rai, A. & Bakshy, E., 2020, in: Advances in neural information processing systems : ... proceedings of the ... conference. 2020-DecemberPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Reinforced feature points: Optimizing feature detection and description for a high-level taskBhowmik, A., Gumhold, S., Rother, C. & Brachmann, E., 2020, 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). S. 4947-4956, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reinforcement learning and trajectory planning based on model approximation with neural networks applied to transition problemsPritzkoleit, M., Knoll, C. & Röbenack, K., 2020, in:  IFAC-PapersOnLine. 53, 2, S. 1581-1583Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Reinforcement learning via offline trajectory planning based on iteratively approximated models,Bestärkendes Lernen mittels Offline-Trajektorienplanung basierend auf iterativ approximierten ModellenPritzkoleit, M., Heedt, R., Knoll, C. & Röbenack, K., 2020, in: At-Automatisierungstechnik. 68, 8, S. 612-624Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)Fernandez Gil, O. & Turhan, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL'20). CEUR-WS.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband