# Tame

## Papers overview

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

Highly Cited

2013

Highly Cited

2013

- Math. Program.
- 2013

In view of the minimization of a nonsmooth nonconvex function f , we prove an abstract convergence result for descent methods… (More)

Is this relevant?

Highly Cited

2012

Highly Cited

2012

- Proceedings IEEE INFOCOM
- 2012

In this paper, we propose to leverage cloud computing to tame resource-poor mobile devices. Specifically, mobile applications can… (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- IEEE 31st International Conference on Software…
- 2009

Since software systems need to be continuously available under varying conditions, their ability to evolve at runtime is… (More)

Is this relevant?

2008

2008

- 2008

— We introduce and study a class of algebraic stacks with finite inertia in positive and mixed characteristic, which we call tame… (More)

Is this relevant?

2006

2006

- Archive of Formal Proofs
- 2006

We present a verified enumeration of tame graphs as defined in Hales’ proof of the Kepler Conjecture and confirm the completeness… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- 2005

The search for scientific bases for confronting problems of social policy is bound to fail, because of the nature of these… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Annals of Mathematics and Artificial Intelligence
- 2000

TAME (Timed Automata Modeling Environment), an interface to the theorem proving system PVS, is designed for proving properties of… (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- 1998

Although a number of mechanical provers have been introduced and applied widely by academic researchers, these provers are rarely… (More)

Is this relevant?

1997

1997

- 1997

In this paper, we introduce the idea of tame combings for finitely presented groups. If M is a closed irreducible 3-manifold and… (More)

Is this relevant?

Highly Cited

1981

Highly Cited

1981

- Science
- 1981

Cooperation in organisms, whether bacteria or primates, has been a difficulty for evolutionary theory since Darwin. On the… (More)

Is this relevant?