Sökning: "incremental algorithms"
Visar resultat 21 - 25 av 42 avhandlingar innehållade orden incremental algorithms.
21. Adaptive Real-time Anomaly Detection for Safeguarding Critical Networks
Sammanfattning : Critical networks require defence in depth incorporating many different security technologies including intrusion detection. One important intrusion detection approach is called anomaly detection where normal (good) behaviour of users of the protected system is modelled, often using machine learning or data mining techniques. LÄS MER
22. Improved Techniques for Retransmission and Relaying in Wireless Systems
Sammanfattning : The last three decades have seen significant advances in the wireless communication field. As the data rates of wireless systems are increasing, the demand for mobile services also is increasing rapidly. Like other natural resources, radio spectrum suitable for mobile wireless communications is also limited. LÄS MER
23. Study on Decentralized Machine Learning and Applications to Wireless Caching Networks
Sammanfattning : To promote the development of distributed machine learning, it is crucial to provide efficient models and training algorithms. This thesis is devoted to the design of distributed multi-task learning and decentralized algorithms, as well as the application of distributed machine learning in wireless caching networks. LÄS MER
24. Mobile robot navigation and map generation using range measurements
Sammanfattning : This thesis is on mobile robot navigation using range sensors. The two sensors types used are time-of-flight lasers and sheet-of-light range cameras, both giving densely spaced range measurements. Map generation and navi gation are achieved in indoor environments, even when there are lots of disturbing objects giving cluttered range measurements. LÄS MER
25. Applications of SAT solving
Sammanfattning : In the area of formal verification it is well known that there can be no single logic that suits all needs. This insight motivates the diversity of this dissertation: it contains contributions to SAT solving, First Order theorem proving and Model Finding, and Symbolic Model Checking. LÄS MER