On breakable cyclic definitions.

Jie-Hong Roland Jiang Alan Mishchenko Robert K. Brayton

Published in: ICCAD (2004)

Keyphrases

fixed point semantics
data sets
genetic algorithm
information retrieval
artificial intelligence
search engine
image processing
web services
high dimensional
management system
distributed systems