Login / Signup
Formal SDOs: They're Still Alive.
Gary S. Robinson
Published in:
IEEE Micro (2000)
Keyphrases
</>
formal model
database
decision making
artificial intelligence
formal methods
formal specification
mobile robot
trade off
decision trees
formal language
formal analysis
cooperative
objective function
multimedia
information systems
social networks
search engine
information retrieval
data mining