Tame

Known as: Tame.it 
Tame is an analytic research tool for Twitter, developed in 2012 by Arno Dirlam (CTO), Frederik Fischer (CEO) and Torsten Müller (CCO). Tame is a… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
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
In this paper, we propose to leverage cloud computing to tame resource-poor mobile devices. Specifically, mobile applications can… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2009
Highly Cited
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
— 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
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
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
  • Myla Archer
  • 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)
  • figure 1
  • figure 9
  • figure 13
  • figure 14
  • figure 15
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Although a number of mechanical provers have been introduced and applied widely by academic researchers, these provers are rarely… (More)
  • figure 2
Is this relevant?
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)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1981
Highly Cited
1981
Cooperation in organisms, whether bacteria or primates, has been a difficulty for evolutionary theory since Darwin. On the… (More)
  • figure 1
Is this relevant?