AI Chat AI Image Generator AI Video Text to Speech

A Unification Algorithm for Second-Order Linear Terms

09/05/2023

∙

by Gilles Dowek, et al.

∙

∙

We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.

research

∙ 05/25/2021

The Pseudofinite Monadic Second Order Theory of Linear Order

Monadic second order logic is the expansion of first order logic by quan...

0 Deacon Linkhorn, et al. ∙

research

∙ 05/08/2020

Augmented Lagrangian Method for Second-Order Cone Programs under Second-Order Sufficiency

This paper addresses problems of second-order cone programming important...

0 Nguyen T. V. Hang, et al. ∙

research

∙ 03/19/2019

On the weight distribution of second order Reed-Muller codes and their relatives

The weight distribution of second order q-ary Reed-Muller codes have bee...

0 Shuxing Li, et al. ∙

research

∙ 07/26/2016

Uniform Approximation by Neural Networks Activated by First and Second Order Ridge Splines

We establish sup-norm error bounds for functions that are approximated b...

0 Jason M. Klusowski, et al. ∙

research

∙ 02/12/2016

Second-Order Stochastic Optimization for Machine Learning in Linear Time

First-order stochastic methods are the state-of-the-art in large-scale m...

0 Naman Agarwal, et al. ∙

research

∙ 02/25/2019

Homogenousness and Specificity

We interpret homogenousness as a second order property and base it on th...

0 Karl Schlechta, et al. ∙

research

∙ 06/06/2019

Second-order Co-occurrence Sensitivity of Skip-Gram with Negative Sampling

We simulate first- and second-order context overlap and show that Skip-G...

0 Dominik Schlechtweg, et al. ∙