Skip to content
conftrace_

fixed-point operator

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sparse gaussian process (1) dynamic topological logic (1) spatial logic (1) fixed-point update (1) topological mu-calculus (1) cantor derivative (1) latent gaussian model (1) temporal logic (1) metric space (1) dynamical system (1)

Papers

Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024 A Fixed-Point Operator for Inference in Variational Bayesian Latent Gaussian Models AISTATS 2016