Semantics Acquisition 1 Audition 1 C++ (programming language) 1 Calculations 1 Child 1 Child, Preschool 1 Communication tools 1 Comprehension 1 Computational mechanics 1 Correctness proof 1 Correctness proofs 1 Crime 1 Cross-modal interaction 1 Data handling 1 Denotational semantics 1 Differentiation (calculus) 1 Female 1 Functional programming 1 Humans 1 Image analysis 1 Image content analysis 1 Image enhancement 1 Image processing 1 Inheritance 1 Intelligent systems 1 Intelligent transportation 1 Intelligent transportation systems 1 Intelligent vehicle highway systems 1 Kripke-style logical relation 1