Smart Play-out of Behavioral Requirements.

David Harel Hillel Kugler Rami Marelly Amir Pnueli

Published in: FMCAD (2002)

Keyphrases

neural network
database
real world
human behavior
smart objects
computer vision
optimal solution
data structure
digital libraries
game playing