Quantitative Verification with Neural Networks

Subjects: “…Computer Science & Information Science…”
Get full text

An embedded vision-based system for cyclist detection and counting

Subjects: “…Computer Science & Information Science…”
Get full text

A scheme based on Proof-of-Download blockchain for Digital Rights Management and Traitor Detection

Subjects: “…Computer Science & Information Science…”
Get full text

Brazilian Portuguese Image Captioning with Transformers: A Study on Cross-Native-Translated Dataset

Subjects: “…Computer Science & Information Science…”
Get full text

Advancing Biodiversity Monitoring by Integrating Multimodal AI Models into Camera Trap Workflow

Subjects: “…Computer Science & Information Science…”
Get full text

Salience prediction methods for video cropping in sidewalk footage

Subjects: “…Computer Science & Information Science…”
Get full text

FastTanhSinhQuadrature.jl: High-performance Tanh-Sinh numerical integration in Julia

Subjects: “…Computer Science & Information Science…”
Get full text

bw_timex: A Python Package for Time-Explicit Life Cycle Assessment

Subjects: “…Computer Science & Information Science…”
Get full text

Comprehensive Evaluation of Hybrid and XAI-Based Feature Selection for Intrusion Detection: A Smart City Perspective

Subjects: “…Computer Science & Information Science…”
Get full text

FLIM-based Salient Object Detection Networks with Adaptive Decoders

Subjects: “…Computer Science & Information Science…”
Get full text

A Machine Learning Classification Model for Identifying College Students with Depression Based on Digital Phenotyping

Subjects: “…Computer Science & Information Science…”
Get full text

Expressivity of AuDaLa: Turing Completeness and Possible Extensions

Subjects: “…Computer Science & Information Science…”
Get full text

Toward Unified Fine-Grained Vehicle Classification and Automatic License Plate Recognition

Subjects: “…Computer Science & Information Science…”
Get full text

A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues

Subjects: “…Computer Science & Information Science…”
Get full text

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity

Subjects: “…Computer Science & Information Science…”
Get full text

DataBallPy: Load, synchronize, and Analyse your Soccer Data

Subjects: “…Computer Science & Information Science…”
Get full text

EchoFlow: End-to-end self-supervised sonar-image pipeline

Subjects: “…Computer Science & Information Science…”
Get full text

BayCauRETM: R package for Bayesian Causal Inference for Recurrent Event Outcomes

Subjects: “…Computer Science & Information Science…”
Get full text

LCPP: Learning Curve Plus Plus

Subjects: “…Computer Science & Information Science…”
Get full text

Tighter Bounds for Query Answering with Guarded TGDs

Subjects: “…Computer Science & Information Science…”
Get full text