A tighter analysis of Piterman's Büchi determinization.

Wanwei Liu Ji Wang

Published in: Inf. Process. Lett. (2009)

Keyphrases

real world
artificial intelligence
artificial neural networks
real time
databases
search engine
image processing
reinforcement learning
wide range
preprocessing
quantitative analysis
automatic analysis