Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Artificial intelligence (2)
- ASP Solving (1)
- Authoring tools (1)
- Belief (1)
- Betweenness (1)
-
- Bitcoin (1)
- Combinatorial Optimization (1)
- Counting graph embeddings (1)
- Edge computing (1)
- Edge intelligence (1)
- Encoding Rewriting (1)
- Encoding Schedule (1)
- Encoding Selection (1)
- Even functionals (1)
- Graph theory (1)
- Hard Instances Generation (1)
- Information communication technology (1)
- Interactive narrative (1)
- Interleaving Schedule (1)
- Lightning Network (1)
- Linear algebra (1)
- Multi-modality (1)
- Narrative planning (1)
- Smart cities (1)
- Story similarity (1)
- Stylized metric (1)
- Visual captioning (1)
Articles 1 - 6 of 6
Full-Text Articles in Computer Sciences
The Performance Optimization Of Asp Solving Based On Encoding Rewriting And Encoding Selection, Liu Liu
The Performance Optimization Of Asp Solving Based On Encoding Rewriting And Encoding Selection, Liu Liu
Theses and Dissertations--Computer Science
Answer set programming (ASP) has long been used for modeling and solving hard search problems. These problems are modeled in ASP as encodings, a collection of rules that declaratively describe the logic of the problem without explicitly listing how to solve it. It is common that the same problem has several different but equivalent encodings in ASP. Experience shows that the performance of these ASP encodings may vary greatly from instance to instance when processed by current state-of-the-art ASP grounder/solver systems. In particular, it is rarely the case that one encoding outperforms all others. Moreover, running an ASP system on …
Learning A Scalable Algorithm For Improving Betweenness In The Lightning Network, Vincent Davis
Learning A Scalable Algorithm For Improving Betweenness In The Lightning Network, Vincent Davis
Theses and Dissertations--Computer Science
This paper presents a scalable algorithm for solving the Maximum Betweenness Improvement Problem as it occurs in the Bitcoin Lightning Network. In this approach, each node is embedded with a feature vector whereby an Advantage Actor-Critic model identifies key nodes in the network that a joining node should open channels with to maximize its own expected routing opportunities. This model is trained using a custom built environment, lightning-gym, which can randomly generate small scale-free networks or import snapshots of the Lightning Network. After 100 training episodes on networks with 128 nodes, this A2C agent can recommend channels in the Lightning …
Matrix Interpretations And Tools For Investigating Even Functionals, Benjamin Stringer
Matrix Interpretations And Tools For Investigating Even Functionals, Benjamin Stringer
Theses and Dissertations--Computer Science
Even functionals are a set of polynomials evaluated on the terms of hollow symmetric matrices. Their properties lend themselves to applications such as counting subgraph embeddings in generic (weighted or unweighted) host graphs and computing moments of binary quadratic forms, which occur in combinatorial optimization. This research focuses primarily on counting subgraph embeddings, which is traditionally accomplished with brute-force algorithms or algorithms curated for special types of graphs. Even functionals provide a method for counting subgraphs algebraically in time proportional to matrix multiplication and is not restricted to particular graph types. Counting subgraph embeddings can be accomplished by evaluating a …
Supporting Stylized Language Models Using Multi-Modality Features, Chengxi Li
Supporting Stylized Language Models Using Multi-Modality Features, Chengxi Li
Theses and Dissertations--Computer Science
As AI and machine learning systems become more common in our everyday lives, there is an increased desire to construct systems that are able to seamlessly interact and communicate with humans. This typically means creating systems that are able to communicate with humans via natural language. Given the variance of natural language, this can be a very challenging task. In this thesis, I explored the topic of humanlike language generation in the context of stylized language generation. Stylized language generation involves producing some text that exhibits a specific, desired style. In this dissertation, I specifically explored the use of multi-modality …
Smart Decision-Making Via Edge Intelligence For Smart Cities, Nathaniel Hudson
Smart Decision-Making Via Edge Intelligence For Smart Cities, Nathaniel Hudson
Theses and Dissertations--Computer Science
Smart cities are an ambitious vision for future urban environments. The ultimate aim of smart cities is to use modern technology to optimize city resources and operations while improving overall quality-of-life of its citizens. Realizing this ambitious vision will require embracing advancements in information communication technology, data analysis, and other technologies. Because smart cities naturally produce vast amounts of data, recent artificial intelligence (AI) techniques are of interest due to their ability to transform raw data into insightful knowledge to inform decisions (e.g., using live road traffic data to control traffic lights based on current traffic conditions). However, training and …
Don't Give Me That Story! -- A Human-Centered Framework For Usable Narrative Planning, Rachelyn Farrell
Don't Give Me That Story! -- A Human-Centered Framework For Usable Narrative Planning, Rachelyn Farrell
Theses and Dissertations--Computer Science
Interactive or branching stories are engaging and can be embedded into digital systems for a variety of purposes, but their size and complexity makes it difficult and time-consuming for humans to author them. Narrative planning algorithms can automatically generate large branching stories with guaranteed causal consistency, using a hand-authored library of story content pieces. The usability of such a system depends on both the quality of the narrative model upon which it is built and the ability of the user to create the story content library.
Current narrative planning algorithms use either a limited or no model of character belief, …