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 7 of 7 for “"state graph"”.
-
Bivariate Best First Searches to Process Category Based Queries in a Graph for Trip Planning Applications in Transportation
… advancement in computer science, Geographic Information Science (GIScience), and transportation, more and more complex path finding queries including category based queries are proposed and studied across diverse disciplines. A category based query, such as Optimal Sequenced Routing …
-
Symbolic techniques for the performance analysis of generalised stochastic petri nets
… (GSPNs). We make use of symbolic methods, where states are represented implicitly rather than explicitly, primarily to conserve memory during the state space exploration process - a necessary step in the performance analysis pipeline. We have investigated the use of BDDs in two different ways. …
-
Real-time futures graph tracking visualization and analysis tool
… is a novel representation of a simulated state graph, specifying all possible states and transitions of the system, characterized by both qualitative and quantitative state variables. The Deep Green project creates a hybrid envisionment, called a futures graph, to depict all possible …
-
Can an Agentic AI System Increase Willingness to Engage with Support Services in Wales?
… and follow-up questions. The system uses Lang Graph’s state graph framework, paired with custom tools and structured input and output via Pydantic models. A novel approach to agentic PDF manipulation is proposed, leveraging deterministic tooling and the large language model’s core strength in …
-
Protocol engineering from Estelle specifications
… in the form of communicating extended finite-state machines. The thesis begins with an overview of protocol engineering, and a discusses the areas of performance evaluation and protocol specification. Important parts of the mathematics of discrete-time semi-Markov processes are presented to …
-
Evaluating Temporal Queries over Videos
… framework to first obtain annotations utilizing state-of-the-art CV algorithms, and then consider three research problems on evaluating temporal queries with such annotations. Specifically, we first investigate the temporal queries that consider only co-occurrence relationships between objects on …
-
Predicting Policy Violations in Policy Based Proactive Systems Management
The continuous development and advancement in networking, computing, software and web technologies have led to an explosive growth in distributed systems. To ensure better quality of service (QoS), management of large scale distributed systems is important. The increasing complexity of distributed …