# EXPTIME

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2010

Highly Cited

2010

- Journal of Machine Learning Research
- 2010

We explore an original strategy for building deep networks, based on stacking layers of denoising autoencoderswhich are trained… (More)

Is this relevant?

2009

2009

- CSL
- 2009

The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally… (More)

Is this relevant?

2008

2008

- Int. J. Game Theory
- 2008

The value of a finite-state two-player zero-sum stochastic game with limit-average payoff can be approximated to within ε in time… (More)

Is this relevant?

2006

2006

- J. Log. Comput.
- 2006

The alternating-time temporal logic (ATL) of Alur, Henzinger and Kupferman is being increasingly widely applied in the… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Journal of Machine Learning Research
- 2005

We provide a new unifying view, including all existing prope r probabilistic sparse approximations for Gaussian process… (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- IEEE Trans. Information Theory
- 2001

Suppose a discrete-time signal ( ), 0 , is a superposition of atoms taken from a combined time–frequency dictionary made of spike… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- 1997

Using a sample free of survivor bias, I demonstrate that common factors in stock returns and investment expenses almost… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- Description Logics
- 1996

We propose a tableaux calculus requiring simple expo nential time for satis ability of an ALC concept C wrt a TBox T containing… (More)

Is this relevant?

Highly Cited

1973

Highly Cited

1973

- STOC
- 1973

The equivalence problem for Kleene's regular expressions has several effective solutions, all of which are computationally… (More)

Is this relevant?

Highly Cited

1967

Highly Cited

1967

- IEEE Trans. Information Theory
- 1967

The case of n unity-variance random variables x1, XZ,. * *, x, governed by the joint probability density w(xl, xz, * * * x,) is… (More)

Is this relevant?