Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 61 for “"Heuristic search"”.
-
Heuristic search for manipulation planning
… high dimensionality and multi-modality of the search space. Symbolic task planners can efficiently construct plans involving many entities but cannot incorporate the constraints from geometry and kinematics. Existing approaches to integrated task and motion planning as well as manipulation …
-
Heuristic search under time and cost bounds
… problem. Therefore it makes good sense that heuristic search is a foundational topic in artificial intelligence. In this context "search" refers to the process of finding a solution to the problem by considering a large, possibly infinite, set of potential plans of action. "Heuristic" refers …
-
Motion Planning for Manipulation With Heuristic Search
Heuristic searches such as A* search are a popular means of finding least-cost plans due to their generality, strong theoretical guarantees on completeness and optimality, simplicity in implementation, and consistent behavior. In planning for robotic manipulation, however, these techniques are …
-
Artificial intelligence : a heuristic search for commercial and management science applications
Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1984.
-
Two graph problems: bidirectional heuristic search and the airplane seating assignment problem
… different types of graph problems, bidirectional heuristic search and airplane seating assignment. Bidirectional heuristic search is used to solve for the shortest path between two given vertices in a graph. The airplane seating assignment problem (ASAP) is to find an optimal airplane passenger …
-
Finding multi-step attacks in computer networks using heuristic search and mobile ambients
… Combinatorial Optimization, more specifically Heuristic Search, to the domain of multi-step network attacks. A variant of ambient calculus is used to model networks, and heuristic search is used to simulate attackers searching for possible attacks in the modelled network. Additionally, and in …
-
Simultaneous Lot sizing and Lead-time Setting (SLLS)Via Queuing Theory and Heuristic search
… nature of lead-time and lot size. In this research, a lot-sizing model is modified in such a way that it minimizes the combination of setup cost, holding cost and work-in-process cost. This proposed approach embeds an optimization routine, which is based on dynamic programming on a …
-
Input Transformations and Resolution Implementation Techniques for Theorem Proving in First-Order Logic (Clause Form, Discrimination Networks, Heuristic Search, Locking Resolution)
… hard or very hard problems, often having huge search spaces. Such provers are often weak when used without user interaction. Many of our methods should be applicable to large systems as well.
-
Planning under time pressure
<p>Heuristic search is a technique used pervasively in artificial intelligence and automated planning. Often an agent is given a task that it would like to solve as quickly as possible. It must allocate its time between planning the actions to achieve the task and actually executing them. We call …
-
Symcretic testing of programs
… execution uses concrete forward execution and heuristic search to find inputs that satisfy the constraints that were skipped in the first phase. A comparison with related approaches and an empirical evaluation suggest that symcretic execution finds more inputs that result in relevant executions …
-
Solving general game playing puzzles using heuristics search
… is more similar to planning algorithms than the search methods used for two- or multi-player games. General problem solving has been a topic addressed by the planning community for years. In this thesis we adapt heuristic search methods for automated planning to use in solving single-agent GGP …
-
Explaining the Performance of Bidirectional Dijkstra and A* on Road Networks
<p>The heuristic search community traditionally uses A* as the baseline algorithm for their research methods. Research papers in the road networks community, however, often build upon Dijkstra's algorithm and use Bidirectional Dijkstra's algorithm as their baseline. This thesis investigates the …
-
Vision based robot navigation
… planning is performed by doing bidirectional heuristic search with a discrete set of actions that account for the robot's nonholonomic constraints. The intent of this project is to create a system that allows a robot to be able to explore and to navigate in a wide variety of environments in a …
-
Automatic fault localization in concurrent programs using noising and search strategies
… Faults Localized Automatically using Search Heuristics), an automatic fault localization tool for multithreaded Java programs. CFLASH utilizes a combination of noise-based code injection and a heuristic search algorithm to identify potentially faulty code sections containing …
-
An investigation into Off-Link IPv6 host enumeration search methods
This research investigated search methods for enumerating networked devices on off-link 64 bit Internet Protocol version 6 (IPv6) subnetworks. IPv6 host enumeration is an emerging research area involving strategies to enable detection of networked devices on IPv6 networks. Host enumeration is an …
-
Improvement of constrained searches
Search is ubiquitous in computer science, but most searches are performed under constraints: time, memory, dependences. We study several cases of constrained search and present methods for improving their performance. Execution of Prolog programs amounts to a search with several types of …
-
Otimização de redes de distribuição de água: estudo de dois modelos
… other model seeks optimization of the network by heuristic search of optimal diameters, based on energy costs necessary to elevation of piezometric height of the network source nodes. In case of network supplied by reservoir with prefixed height, a dummy value is adopted for the energy cost, and …
-
Mathematical models and simulations of complex social systems
… analysis we use an adapted version of the Random Heuristic Search framework, which was originally used for the understanding of Genetic Algorithms. In this thesis we investigate the predictability power of the mathematical approach.
Page 1 of 4