Orli is an autoregressive image-to-sequence model that jointly detects text lines and determines their reading order on historical documents via chord-frame baselines, trained on 196k pages across ten scripts.
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata
9 Pith papers cite this work, alongside 120 external citations. Polarity classification is still indexing.
citation-role summary
citation-polarity summary
roles
background 2polarities
background 2representative citing papers
The first systematic review of routine computing synthesizes literature into a taxonomy of temporal, behavioral, cognitive, and variability aspects, outlining applications in health, accessibility, and adaptive support along with persistent challenges.
A Maude-with-SMT framework for sound and complete formal analysis and parameter synthesis of parametric time Petri nets, including a folding approach that terminates on finite parametric state-class graphs and support for LTL model checking.
DR-Mamba performs automatic per-document domain adaptation for binarization by modeling fast detail and slow background routes with subtractive suppression in a single forward pass.
DeepMine-Mamba adds an Anti-Dilution Gate to Mamba-based models to counteract feature dilution in document binarization and reports competitive FM and Fps scores on DIBCO benchmarks under leave-one-year-out evaluation.
Introduces Generative Privacy Funnel (GenPF) and deep variational PF (DVPF) models that extend the privacy funnel to generative settings and provide a controllable privacy-utility trade-off with reduced sensitive attribute leakage in face recognition.
A GAN with elliptical-spiral feature mixing, star-operation blocks, and Sobel edge loss produces more realistic synthetic handwriting and lowers HTR error rates on English and Vietnamese datasets.
A literature survey finds no peer-reviewed Bitcoin price models beat the naive baseline at medium horizons and proposes methodological improvements including walk-forward testing and Diebold-Mariano tests.
Go outperforms Python and Node.js in throughput and CPU efficiency on OpenFaaS; K3s and Kubeadm deliver higher throughput and lower latency than MicroK8s or K0s under concurrent load.
citing papers explorer
-
End-to-End Text Line Detection and Ordering
Orli is an autoregressive image-to-sequence model that jointly detects text lines and determines their reading order on historical documents via chord-frame baselines, trained on 196k pages across ten scripts.
-
Routine Computing: A Systematic Review of Sensing Daily Life Dimensions Towards Human-Centered Goals
The first systematic review of routine computing synthesizes literature into a taxonomy of temporal, behavioral, cognitive, and variability aspects, outlining applications in health, accessibility, and adaptive support along with persistent challenges.
-
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
A Maude-with-SMT framework for sound and complete formal analysis and parameter synthesis of parametric time Petri nets, including a folding approach that terminates on finite parametric state-class graphs and support for LTL model checking.
-
DR-Mamba: Automatic Inference-Time Domain Adaptation for Document Image Binarization via Sample-Conditioned Detail-Background Suppression
DR-Mamba performs automatic per-document domain adaptation for binarization by modeling fast detail and slow background routes with subtractive suppression in a single forward pass.
-
DeepMine-Mamba: Mitigating Information Dilution in Mamba-Based State Space Models for Document Image Binarization
DeepMine-Mamba adds an Anti-Dilution Gate to Mamba-based models to counteract feature dilution in document binarization and reports competitive FM and Fps scores on DIBCO benchmarks under leave-one-year-out evaluation.
-
Deep Privacy Funnel Model: From a Discriminative to a Generative Approach with an Application to Face Recognition
Introduces Generative Privacy Funnel (GenPF) and deep variational PF (DVPF) models that extend the privacy funnel to generative settings and provide a controllable privacy-utility trade-off with reduced sensitive attribute leakage in face recognition.
-
SpiS-GAN: Spiral-Modulated Handwriting Synthesis with Star Operation
A GAN with elliptical-spiral feature mixing, star-operation blocks, and Sobel edge loss produces more realistic synthetic handwriting and lowers HTR error rates on English and Vietnamese datasets.
-
Bitcoin Price Prediction: Peer-Reviewed Evidence and Social Media Discourse
A literature survey finds no peer-reviewed Bitcoin price models beat the naive baseline at medium horizons and proposes methodological improvements including walk-forward testing and Diebold-Mariano tests.
-
Optimizing OpenFaaS on Kubernetes: Comparative Analysis of Language Runtimes and Cluster Distributions
Go outperforms Python and Node.js in throughput and CPU efficiency on OpenFaaS; K3s and Kubeadm deliver higher throughput and lower latency than MicroK8s or K0s under concurrent load.