-
1141
A video summarization framework based on activity attention modeling using deep features for smart campus surveillance system
Published 2022-03-01“…PeerJ Computer Science…”
Get full text
Article -
1142
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
Published 2008-09-01“…Logical Methods in Computer Science…”
Get full text
Article -
1143
Post-graduate Studies in Mathematics and Computer Science Proposed by the Institute of Mathematics and Computer Science of the Academy of Sciences of the Republic of Moldova
Published 2001-02-01“…Computer Science Journal of Moldova…”
Get full text
Article -
1144
Verification of Flat FIFO Systems
Published 2020-10-01“…Logical Methods in Computer Science…”
Get full text
Article -
1145
SABMIS: sparse approximation based blind multi-image steganography scheme
Published 2022-11-01“…PeerJ Computer Science…”
Get full text
Article -
1146
Shrinkage Estimators for the Intercept in Linear and Uplift Regression
Published 2023-05-01“…Scientific Annals of Computer Science…”
Get full text
Article -
1147
Distributed Tracing for Troubleshooting of Native Cloud Applications via Rule-Induction Systems
Published 2023-11-01“…Journal of Universal Computer Science…”
Get full text
Article -
1148
State of the art on the conceptual modeling of serious games through a systematic mapping of the literature
Published 2022-10-01“…Journal of Computer Science and Technology…”
Get full text
Article -
1149
On a k-clique-join of a class of partitionable graphs
Published 2005-05-01“…Computer Science Journal of Moldova…”
Get full text
Article -
1150
Ludics with repetitions (Exponentials, Interactive types and Completeness)
Published 2011-05-01“…Logical Methods in Computer Science…”
Get full text
Article -
1151
Achieving model explainability for intrusion detection in VANETs with LIME
Published 2023-06-01“…PeerJ Computer Science…”
Get full text
Article -
1152
On linear rewriting systems for Boolean logic and some applications to proof theory
Published 2017-04-01“…Logical Methods in Computer Science…”
Get full text
Article -
1153
PRONET: Basic concepts of a system of Artificial Intelligence
Published 1999-12-01“…Computer Science Journal of Moldova…”
Get full text
Article -
1154
Recognition of human action for scene understanding using world cup optimization and transfer learning approach
Published 2023-05-01“…PeerJ Computer Science…”
Get full text
Article -
1155
On Single Server Queues with Batch Arrivals
Published 2023-04-01“…Computer Sciences & Mathematics Forum…”
Get full text
Article -
1156
Enhanced Serpent algorithm using Lorenz 96 Chaos-based block key generation and parallel computing for RGB image encryption
Published 2021-12-01“…PeerJ Computer Science…”
Get full text
Article -
1157
The simulation system of credit portfolio evaluation
Published 1999-02-01“…Computer Science Journal of Moldova…”
Get full text
Article -
1158
Extensional Semantics for Higher-Order Logic Programs with Negation
Published 2018-06-01“…Logical Methods in Computer Science…”
Get full text
Article -
1159
On tiered small jump operators
Published 2009-03-01“…Logical Methods in Computer Science…”
Get full text
Article -
1160
Efficiently Finding Cyclical Patterns on Twitter Considering the Inherent Spatio-temporal Attributes of Data
Published 2023-11-01“…Journal of Universal Computer Science…”
Get full text
Article