Search for dissertations about: "Statistical semantics"
Showing result 11 - 15 of 15 swedish dissertations containing the words Statistical semantics.
-
11. Model-driven Analysis and Verification of Automotive Embedded Systems
Abstract : Modern vehicles are equipped with electrical and electronic systems that implement highly complex functions, such as anti-lock braking, cruise control, etc. To realize and integrate such complex embedded systems, the automotive development process requires an updated methodology that takes into consideration the system’s intricate features and examines both their functional and extra-functional requirements. READ MORE
-
12. Automating the development of multilingual grammars
Abstract : The thesis aims at exploring alternative ways of automating the development of multilingual GF (Grammatical Framework) grammars. The goal is to achieve semantics-preserving machine translation within a limited or semi-limited domain. READ MORE
-
13. Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture
Abstract : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. READ MORE
-
14. Formally Assured Intelligent Systems for Enhanced Ambient Assisted Living Support
Abstract : Ambient Assisted Living (AAL) solutions are aimed to assist the elderly in their independent and safe living. During the last decade, the AAL field has witnessed a significant development due to advancements in Information and Communication Technologies, Ubiquitous Computing and Internet of Things. READ MORE
-
15. Modeling and Formal Analysis of e-Health Systems
Abstract : With the healthcare practice being increasingly dependent on digital processes and electronic communication, there is a need to support a variety of e-Health applications of different requirements, with respect to connectivity, low latency, and high reliability. The focus of this thesis is on providing formal assurance to systems supporting e-Health applications. READ MORE