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

Related topics

Related topics

22 relations
AlgorithmAutomata theoryChurch–Turing thesisComputable function
(More)

Broader (2)

Computability theoryTheory of computation

Related mentions per year

Related mentions per year

1936-2019
19401960198020002020
Effective method
Algorithm
Randomized algorithm
Computer science
Recursion
Decision problem

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Effective Urban Traffic Monitoring by Vehicular Sensor Networks
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
Effective 3D action recognition using EigenJoints
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
Classical descriptive set theory as a refinement of effective descriptive set theory
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
A new method to measure the semantic similarity of GO terms
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
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
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
A simple and effective method for predicting travel times on freeways
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
Control of fossil-fuel particulate black carbon and organic matter , possibly the most effective method of slowing global warming
[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
Using Experimental Design to Find Effective Parameter Settings for Heuristics
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
Brains, Machines, and Mathematics
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
A Spanning Tree Expansion of the Jones Polynomial
  • 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?