-
1Conference
Authors: Kamanis, Fotios, Koloniari, Georgia, Pitoura, Evaggelia
Source: Proceedings of the 38th International Conference on Scalable Scientific Data Management. :1-12
Availability: http://dl.acm.org/doi/10.1145/3828820.3828824
-
2Academic Journal
Authors: Reznichenko, V.Aff1, IDs10559026009111_cor1, Zakharova, O.Aff1
Linked Full TextSource: Cybernetics and Systems Analysis. :1-10
-
3Book
Source: Formal Methods for Multi-Agent Feedback Control Systems. May 13, 2025
-
4Book
Source: Formal Methods for Multi-Agent Feedback Control Systems. May 13, 2025
-
5Book
-
6Book
-
7Book
-
8Book
-
9Academic Journal
Authors: Bresciani C., Lavazza L., Cominelli M., Han L., Dong G., Gringoli F., Kaplan L. M., Srivastava M. B., Bihl T., Blasch E. P., Knutson F. J., Cerutti F.
Source: 2025 28th International Conference on Information Fusion (FUSION). :1-8
Subject Terms: data fusion, neuro-symbolic AI, Wi-Fi sensing, Pipelines, Receiving antennas, Spiking neural networks, Feature extraction, Computational efficiency, Sensors, Logic, Data mining, Wireless fidelity, Videos, Complex Events, Complex Event Processing, Neural Network, Human Activities, Time Step, Resource Constraints, Conditional Independence, Upper Arm, Video Data, Spiking Neural Networks, Temporal Logic, Multiple Time Steps, Time Series, Forearm, Action Recognition, Transit System, Body Segments, Distribution Of Categories, Sequence Of States, Variational Autoencoder, Upper Leg, Human Activity Recognition, Conditional Independence Tests, Conventional Convolutional Neural Networks, Temporal Constraints, Conditional Mutual Information, Causal Graph, Temporal Operators, Point In The Future, Propositional Logic
File Description: application/pdf
-
10Book
Source: Game Theory and Machine Learning for Cyber Security. Sep 10, 2021
-
11Book
Source: An Introduction to Self-adaptive Systems. Nov 16, 2020
-
12Book
Source: Path Planning of Cooperative Mobile Robots Using Discrete Event Models. Jan 29, 2020
-
13Conference
Authors: Uma, V., Nikhila, L. M., Aghila, G.
Source: Proceedings of the International Conference on Informatics and Analytics. :1-6
Availability: http://dl.acm.org/doi/10.1145/2980258.2980288
-
14Academic Journal
Authors: Omar Shahbaz Khan, Aaron Duane, Björn Þór Jónsson 0001, Jan Zahálka, Stevan Rudinac, Marcel Worring
Source: Khan, O S, Duane, A, Jónsson, B T, Zahálka, J, Rudinac, S & Worring, M 2021, Exquisitor at the Lifelog Search Challenge 2021: Relationships Between Semantic Classifiers. in LSC '21: Proceedings of the 4th Annual on Lifelog Search Challenge. Association for Computing Machinery, Taipei, Taiwan (virtual), pp. 3-6, International Conference on Multimedia Retrieval, Taipei, Taiwan, Province of China, 21/08/2021. https://doi.org/10.1145/3463948.3469255, https://doi.org/10.1145/3463948.3469255
Subject Terms: Scalable media exploration, Interactive learning, Temporal operators, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Media classification, User feedback
File Description: application/pdf
Access URL: https://handle.uba.uva.nl/personal/pure/en/publications/exquisitor-at-the-lifelog-search-challenge-2021(2d3847af-a21f-4626-938a-06b7dcbb368a).html
https://hdl.handle.net/11245.1/2d3847af-a21f-4626-938a-06b7dcbb368a
https://doi.org/10.1145/3463948.3469255
https://pure.itu.dk/ws/files/86338602/Exquisitor_LSC_2021.pdf
https://pure.itu.dk/portal/da/publications/c0a27fae-e788-4cc8-bcb0-38ae1c739a7f
https://doi.org/10.1145/3463948.3469255 -
15Academic Journal
Authors: Kannimoola, Jinesh M. a, ⁎, Jayaraman, Bharat c, Achuthan, Krishnashree b
Linked Full TextSource: In Journal of Logical and Algebraic Methods in Programming February 2021 119
-
16
-
17Conference
Authors: Styrman, Avril Emil Robert
Contributors: Sanfilippo, Emilio M., Kutz, Oliver, Troquard, Nicolas, Hahmann, Torsten, Masolo, Claudio, Hoehndorf, Robert, Vita, Randi, Department of Philosophy, History and Art Studies
Subject Terms: Mathematics, first-order tense logic, branching time logic, temporal logic, ontology of time, temporal operators, georg henrik von wright, unification of ontology and logic, computable tense logic, programmable tense logic, the method of unification, Computer and information sciences, Philosophy
File Description: application/pdf
Relation: Proceedings of FOUST 2021: 5th Workshop on Foundational Ontology, held at JOWO 2021: Episode VII The Bolzano Summer of Knowledge, September 11–18, 2021, Bolzano, Italy, CEURWS.; CEUR Workshop Proceedings; conference; https://hdl.handle.net/10138/353675
Availability: https://hdl.handle.net/10138/353675
-
18Book
Source: Formal Methods for Industrial Critical Systems. Dec 13, 2012
-
19Conference
Authors: Styrman Avril Emil Robert
Contributors: Sanfilippo, Emilio M., Kutz, Oliver, Troquard, Nicolas, Hahmann, Torsten, Masolo, Claudio, Hoehndorf, Robert, Vita, Randi, Department of Philosophy, History and Art Studies
Subject Terms: programmable tense logic, Computer and information sciences, ontology of time, unification of ontology and logic, georg henrik von wright, 06 humanities and the arts, 02 engineering and technology, 0603 philosophy, ethics and religion, computable tense logic, the method of unification, temporal operators, Philosophy, temporal logic, 0202 electrical engineering, electronic engineering, information engineering, branching time logic, Mathematics, first-order tense logic
File Description: application/pdf
-
20Academic Journal
Authors: Rosanna Benacchio, Marco Biasio
Source: MediAzioni, Vol 36, Pp A255-A276 (2023)
Subject Terms: pure indexicals, lexical deictics, temporal operators, textual pragmatic markers, russian-italian parallel subcorpus, qualitative-quantitative research, Language. Linguistic theory. Comparative grammar, P101-410, Communication. Mass media, P87-96
File Description: electronic resource