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 21 for “"Intermediate representations"”.

  1. Pairwise Matching of Intermediate Representations for Fine-grained Explainability

    … method (PAIR-X) that leverages both intermediate model activations and backpropagated relevance scores to generate fine-grained, highly-localized pairwise visual explanations. We use animal and building re-identification (re-ID) as a primary case study of our method, and we …

    mit Repository record for Pairwise Matching of Intermediate Representations for Fine-grained Explainability (opens in a new tab)

  2. Compilation Techniques for Explicitly Parallel Programs

    We introduce two intermediate representations: the concurrent control flow graph, and the concurrent static single assignment form. Based on these representations, we develop an analysis technique, called concurrent global value numbering, by extending classical value partitioning and global value …

    uiuc Repository record for Compilation Techniques for Explicitly Parallel Programs (opens in a new tab)

  3. Symbolic Execution Over Native X86

    … program analysis largely rely on the use of an intermediate language to derive intermediate representations of source code or binaries under evaluation. This can simplify semantics when dealing with a complex instruction set such as the Intel Industry Standard Architecture (ISA) instruction set. …

    nps Repository record for Symbolic Execution Over Native X86 (opens in a new tab)

  4. Code generation of array constructs for distributed memory systems

    … by transforming the input through a series of intermediate representations. The very high-level nature of the language greatly facilitates programming parallel systems. Additionally, the use of multiple representations provide a flexible and transparent venue for the user to interact and …

    uiuc Repository record for Code generation of array constructs for distributed memory systems (opens in a new tab)

  5. Identification of Atomic Propositions in English Instructions for Flexible Translation to Robot Planning Representations

    … natural-language instructions into formal representations. This formal representation should contain all the verifiable constituent units (ideally atomic propositions) which are present in the natural language instruction. However, the format and vocabulary of atomic propositions may vary …

    mit Repository record for Identification of Atomic Propositions in English Instructions for Flexible Translation to Robot Planning Representations (opens in a new tab)

  6. Deep learning-based approaches for depth and 6-DoF pose estimation

    … an estimator establishing relationship between intermediate representations and predicted outputs. We propose a deep learning-based approach for -each problem. Through extensive experiments, we show that our proposed approaches produce results comparable with state of the art on public datasets.

    mit Repository record for Deep learning-based approaches for depth and 6-DoF pose estimation (opens in a new tab)

  7. Plan schematization : a computational approach to morphological structure of architectural space

    … of a space scheme is proposed to have two intermediate representations: FEB representation and primitive balloon representation. The purpose of constructing an FEB representation is to provide a principled ground for space identification. The idea of the FEB representation originates from …

    mit Repository record for Plan schematization : a computational approach to morphological structure of architectural space (opens in a new tab)

  8. Benthic: Designing Relational Traversal Structures to Enhance Diagram Accessibility

    … introduces Benthic, a system for generating intermediate representations and depicting relational information in diagrams. Benthic provides an interface that allows screen reader users to navigate the diagram data structure. Benthic uses a hypergraph traversal structure, where diagram nodes …

    mit Repository record for Benthic: Designing Relational Traversal Structures to Enhance Diagram Accessibility (opens in a new tab)

  9. Newton : a language for describing physics

    … two compile-time algorithms that transform intermediate representations of other compilers. The first transformation adds reliability by checking invariants on program variable values at runtime and by running an error handler function if invariants are violated. The second transformation …

    mit Repository record for Newton : a language for describing physics (opens in a new tab)

  10. LeeLee : an attention visualisation analysis while reading academically

    … reading. The study used the "Visualization as Intermediate Representations (VLAIR) technique to interpret these data. Eyetracking data revealed specific patterns of fixations, interest, and cognitive effort, while EEG data provided insights into levels of cognitive engagement through alpha and …

    st-andrews Repository record for LeeLee : an attention visualisation analysis while reading academically (opens in a new tab)

  11. Reinforced co-learning for semi-supervised ranking

    … which enables the classifier to distill its intermediate representations to the learning of reinforcement ranker module. Extensive experiments and ablation studies show that both our co-learning strategy and feature sharing can improve semi-supervised ranking problems."

    uiuc Repository record for Reinforced co-learning for semi-supervised ranking (opens in a new tab)

  12. Theoretical Properties of Equivariant Neural Networks

    … how architectural choices—such as depth, intermediate representations, nonlinearities, and readout mechanisms—affect approximation properties. The first contribution of the thesis concerns the interaction between equivariance and pointwise nonlinearities. We characterize which pairs of …

    trento Repository record for Theoretical Properties of Equivariant Neural Networks (opens in a new tab)

  13. Understanding stories via event sequence modeling

    … Labeling (SRL) signals can be served as good intermediate representations for events, thus giving us the ability to reliably identify events with minimal supervision. In addition, since it is important to resolve co-referred entities for extracted events, we make improvements to an existing …

    uiuc Repository record for Understanding stories via event sequence modeling (opens in a new tab)

  14. Natural Language Programming for Controlled Object-Oriented English

    … semantic information can be transformed into the intermediate representations used for program synthesis with the language model and system proposed to resolve the situation where the considerable amount of data needed for a data-based model is unavailable.

    vt Repository record for Natural Language Programming for Controlled Object-Oriented English (opens in a new tab)

  15. Transformation and Abstraction to Aid Comparison of Binary Executables Across Compilation Environments

    … used. We also discuss the purposes and types of Intermediate Representations, how they can be used, and how they relate to each other. With this, we can define the possible relationships between binary executables.</p> <p>Next, through the use of transformation techniques and abstraction of …

    cuny-grad Repository record for Transformation and Abstraction to Aid Comparison of Binary Executables Across Compilation Environments (opens in a new tab)

  16. Deep Learning for Automatic Assessment and Feedback of Spoken English

    … and concatenating and attending over their intermediate representations. The combined graders are compared to each other and to baseline approaches. The tasks of error detection and error tendency diagnosis become particularly challenging when the speech in question is spontaneous and …

    cambridge Repository record for Deep Learning for Automatic Assessment and Feedback of Spoken English (opens in a new tab)

  17. Enhanced knowledge distillation by auxiliary classifiers

    Deep neural models have shown promising results in various areas, e.g., computer vision and natural language processing, at the cost of high computation and storage resource consumption. These characteristics of deep neural networks have acted as a barrier in resource-constraint environments, e.g., …

    uoit Repository record for Enhanced knowledge distillation by auxiliary classifiers (opens in a new tab)

  18. Unifying cross-modal concepts in vision and language

    … only of the answers, but also of the computed intermediate representations, which improves robustness to such variations. 3) Modeling associations between related concepts in complex domains. In scenarios where multiple related sources of information need to be considered, models must be able …

    uiuc Repository record for Unifying cross-modal concepts in vision and language (opens in a new tab)

  19. Learning structured representations for perception and control

    … and probabilistic models, to learn powerful representations of images without labeled data or external rewards. Learning goal-directed behavior with sparse and delayed rewards is a fundamental challenge for reinforcement learning algorithms. The primary difficulty arises due to insufficient …

    mit Repository record for Learning structured representations for perception and control (opens in a new tab)

  20. Representation Learning for Grounding Vision and Language in Hierarchical Robot Planning

    … of both methods but necessitate aligning output representations of connectionist models and input representations of classical planning algorithms. Our investigation focuses on designing connectionist models to provide the necessary specification information as directly as possible, which …

    gatech Repository record for Representation Learning for Grounding Vision and Language in Hierarchical Robot Planning (opens in a new tab)

Page 1 of 2