Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation.
Mark-Oliver StehrPublished in: Fundam. Informaticae (2008)
Keyphrases
- tightly coupled
- loosely coupled
- general purpose
- high level
- decision support
- fine grained
- ubiquitous and pervasive
- databases
- computer systems
- image interpretation
- key technologies
- retrieval systems
- complex systems
- learning systems
- business processes
- intelligent systems
- distributed systems
- computational intelligence
- expert systems
- knowledge base
- computer vision