Sökning: "search algorithm"
Visar resultat 1 - 5 av 449 uppsatser innehållade orden search algorithm.
1. A Verified QBF Solver
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables. A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER
2. Using search based methods for beamforming
Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen för systemteknikSammanfattning : In accommodating the growing global demand for wireless, Multi-User Multiple-Input and Multiple-Output (MU-MIMO) systems have been identified as the key technology. In such systems, a transmitting basestation serves several users simultaneously, increasing the network capacity. LÄS MER
3. Evaluating Performance of Pattern Searching Algorithms on Wildcard Patterns
Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskapSammanfattning : The pattern matching problem is the problem of finding a set of sequential characters in a text of equal amount of characters or more. There are many applications for pattern matching algorithms e.g. search engines and databases. LÄS MER
4. EMONAS : Evolutionary Multi-objective Neuron Architecture Search of Deep Neural Network
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Customized Deep Neural Network (DNN) accelerators have been increasingly popular in various applications, from autonomous driving and natural language processing to healthcare and finance, etc. However, deploying them directly on embedded system peripherals within real-time operating systems (RTOS) is not easy due to the paradox of the complexity of DNNs and the simplicity of embedded system devices. LÄS MER
5. Implementing and comparing challengers to popular multi-objective algorithms for unit test cases generation
Kandidat-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknikSammanfattning : The topic of multi-objective algorithms has been researched for many years, where hundreds of multi-objective algorithms have been developed. With the field of search-based software engineering attracting use-cases, more research on which algorithms are fitting the area is still lacking. LÄS MER