Effective method

Known as: Effectively calculable function, Effectively calculable, Effective calculability 
In logic, mathematics and computer science, especially metalogic and computability theory, an effective method or effective procedure is a procedure… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1936-2017
0500100019362016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Traffic monitoring in urban transportation systems can be carried out based on vehicular sensor networks. Probe vehicles (PVs… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2014
Highly Cited
2014
In this paper, we propose an effective method to recognize human actions using 3D skeleton joints recovered from 3D depth data of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
The (effective) Suslin-Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
MOTIVATION Although controlled biochemical or biological vocabularies, such as Gene Ontology (GO) (http://www.geneontology.org… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We present a method to predict the time that will be needed to traverse a given section of a freeway when the departure is at a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
[1] Under the 1997 Kyoto Protocol, no control of black carbon (BC) was considered. Here, it is found, through simulations in… (More)
  • table 1
  • table 1
  • figure 1
  • figure 3
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper, we propose a procedure, based on statistical design of experiments and gradient descent, that finds effective… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1987
Highly Cited
1987
automata theory may be said to start with the simultaneous publications of Turing (1936) and Post (1936), who gave independent… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
  • EN B. THISTLETHWAITE
  • 1986
A KEW combinatorial formulation of the Jones polynomial of a link is used to establish some basic properties of this polynomial… (More)
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • table 1
Is this relevant?