Sökning: "incremental algorithms"

Visar resultat 6 - 10 av 42 avhandlingar innehållade orden incremental algorithms.

1. 6. Methods and Algorithms for Data-Intensive Computing : Streams, Graphs, and Geo-Distribution

   Författare :Hooman Peiro Sajjad; Vladimir Vlassov; Keijo Heljanko; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stream processing; geo-distributed infrastructure; edge computing; streaming graph; dynamic graph; Informations- och kommunikationsteknik; Information and Communication Technology; Datalogi; Computer Science;

   Sammanfattning : Struggling with the volume and velocity of Big Data has attracted lots of interest towards stream processing paradigm, a paradigm in the area of data-intensive computing that provides methods and solutions to process data in motion. Today's Big Data includes geo-distributed data sources. LÄS MER

3. 7. Graph Algorithms for Large-Scale and Dynamic Natural Language Processing

   Författare :Kambiz Ghoorchian; Magnus Boman; Magnus Sahlgren; Sumithra Velupillai; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Natural Language Processing; Lexical Disambiguation; Topic Modeling; Representation Learning; Graph Partitioning; Distributed Algorithms; Dimensionality Reduction; Random Indexing; ;

   Sammanfattning : In Natural Language Processing, researchers design and develop algorithms to enable machines to understand and analyze human language. These algorithms benefit multiple downstream applications including sentiment analysis, automatic translation, automatic question answering, and text summarization. LÄS MER

4. 8. Algorithms and Tools for Learning-based Testing of Reactive Systems

   Författare :Muddassar Sindhu; Karl Meinke; Brian Nielsen; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; specification-based testing; learning-based testing; reactive systems; LBTest; case studies;

   Sammanfattning : In this thesis we investigate the feasibility of learning-based testing (LBT) as a viable testing methodology for reactive systems. In LBT, a large number of test cases are automatically generated from black-box requirements for the system under test (SUT) by combining an incremental learning algorithm with a model checking algorithm. LÄS MER

5. 9. Distance Protection of Transmission Lines with High Levels of Series Compensation : A study on frequency and time domain communication independent distance protection for series compensated lines

   Författare :Md Tanbhir Hoq; Nathaniel Taylor; Jianping Wang; Claus Leth Bak; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Series capacitor; Series compensation; Transmission line; Distance protection; Incremental quantity; Lissajous curve; RL model; RLC model; Seriekondensator; Seriekompensation; Transmissionslinje; Distansskydd; Inkrementell kvantitet; Lissajous-kurva; RL-modell; RLC-modell; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : Series capacitors are used in electric transmission lines to increase their power transfer capacity. They compensate for the inductive reactance of the line. They offer a useful alternative to building new lines, in view of economic and environmental constraints. LÄS MER

7. 10. Time and space efficient algorithms for packet classification and forwarding

   Författare :Mikael Sundström; Luleå tekniska universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : The Internet consists of a mesh of routers (nodes) connected by links (edges) and the traffic through the Internet is divided into flows where each flow is an ordered sequence of packets, or datagrams. Each packet consists of a header and a piece of data, also referred to as payload. LÄS MER