[Lecture Notes in Control and Information Sciences] Advances in Control System Technology for Aerospace Applications Volume 460 || From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems
- 作者Feron, Eric
- 文件大小3349.96KB
- 发表时间2016
- DOI10.1007/978-3-662-47694-9_5
- 页码137-180
[Lecture Notes in Computer Science] Modeling and Using Context Volume 9405 ||Christiansen, Henning; Stojanovic, Isidora; Papadopoulos, George A. · 2015
[Lecture Notes in Computer Science] Modeling and Using Context Volume 9405 || Intentions in Utterance InterpretationChristiansen, Henning; Stojanovic, Isidora; Papadopoulos, George A. · 2015
[Lecture Notes in Computer Science] Modeling and Using Context Volume 9405 || Modeling Erroneous Human Behavior: A Context-Driven ApproachChristiansen, Henning; Stojanovic, Isidora; Papadopoulos, George A. · 2015
[Lecture Notes in Computer Science] Modeling and Using Context Volume 9405 || A System for Automatic Classification of Twitter Messages into CategoriesChristiansen, Henning; Stojanovic, Isidora; Papadopoulos, George A. · 2015
[Lecture Notes in Computer Science] Modeling and Using Context Volume 9405 || An Ontology-Based Reasoning Framework for Context-Aware ApplicationsChristiansen, Henning; Stojanovic, Isidora; Papadopoulos, George A. · 2015
[Lecture Notes in Computer Science] Modeling and Using Context Volume 9405 || When owl:sameAs isn’t the Same Redux: Towards a Theory of Identity, Context, and Inference on the Semantic WebChristiansen, Henning; Stojanovic, Isidora; Papadopoulos, George A. · 2015