Prolog to the Section on Optics and Photonics.
Alan E. WillnerRobert L. ByerConstance J. Chang-HasnainStephen R. ForrestHenry KresselHerwig KogelnikGuillermo J. TearneyCharles H. TownesMichalis N. ZervasPublished in: Proc. IEEE (2012)
Keyphrases
- logic programming
- machine vision
- prolog programs
- expert systems
- knowledge representation
- imaging systems
- logic programming language
- constraint logic programming
- programming language
- abstract machine
- database
- backward chaining
- theorem proving
- neural network
- programming paradigms
- video sequences
- objective function
- knowledge base
- databases