Dependent choice, 'quote' and the clock.

Jean-Louis Krivine

Published in: Theor. Comput. Sci. (2003)

Keyphrases

high speed
data sets
power consumption
neural network
real time
decision trees
multi agent
expert systems
trade off
wireless sensor networks