Point'n Move: Interactive scene object manipulation on Gaussian splatting radiance fields by Jiajun Huang, Hongchuan Yu, Jianjun Zhang, Hammadi Nait‐Charif

Subjects: “…computer animation…”
Get full text

A Digital Twin and User-Preference Based Trust Computation (DTUPTC) Model for Federated Cloud Computing Environment by SARAF, V., PACHGHARE, V.

Subjects: Get full text

Reflections on Informatic Crime in the Republic of Moldova by Andrei NASTAS, Sergiu CERNOMOREȚ, Anatolie FAIGHER

Subjects: “…computer science…”
Get full text

COMPUTER LITERACY AMONG IAIN LHOKSEUMAWE STUDENTS by Wahidah

Subjects: “…Computer literacy…”
Get full text

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints by Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge

Subjects: “…computer science - logic in computer science…”
Get full text

Checkpoint-based rollback recovery in session programming by Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

Subjects: Get full text

Multi-Structural Games and Beyond by Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion Kolaitis, Jonathan Lenchner, Rik Sengupta

Subjects: “…computer science - logic in computer science…”
Get full text

Sum and Tensor of Quantitative Effects by Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin

Subjects: “…computer science - logic in computer science…”
Get full text

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder by Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

Subjects: “…computer science - logic in computer science…”
Get full text

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces by Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Subjects: “…computer science - logic in computer science…”
Get full text

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries by Diego Figueira, Rémi Morvan

Subjects: “…computer science - logic in computer science…”
Get full text

Incorporating Crowdsourced Annotator Distributions into Ensemble Modeling to Improve Classification Trustworthiness for Ancient Greek Papyri by Graham West, Matthew I. Swindall, Ben Keener, Timothy Player, Alex C. Williams, James H. Brusuelas, John F. Wallin

Subjects: “…computer science - computer vision and pattern recognition…”
Get full text

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics by Long Pham, Jan Hoffmann

Subjects: Get full text

Searching, Copying and Seizing of Computers, Computer Programs and Files by Neslihan Ateş Benek

Subjects: Get full text

THE SYSTEM SIMULATING THE FUNCTIONING OF TOPSIDE CONTROLLER DURING TRAINING AIR CREW FOR TAXING ON AIR CARRIER FLIGHT DECK by M. V. Baldin, G. Y. Tolkachev, Y. E. Kharchilava

Subjects: “…computer simulation…”
Get full text

Playing Stochastically in Weighted Timed Games to Emulate Memory by Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

Subjects: “…computer science - computer science and game theory…”
Get full text

Regular Model Checking Upside-Down: An Invariant-Based Approach by Javier Esparza, Michael Raskin, Christoph Welzel-Mohr

Subjects: Get full text

Proof complexity of positive branching programs by Anupam Das, Avgerinos Delkos

Subjects: “…computer science - computational complexity…”
Get full text

History-deterministic Timed Automata by Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke

Subjects: Get full text