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 1370 for “"abstraction"”.

  1. Automating abstraction functions

    Data abstraction has been the dominant structuring paradigm for programs for decades. The essence of a data abstraction is the abstraction function, which relates the concrete program representation to its abstract meaning. However, abstraction functions are not generally considered to be a part of …

    mit Repository record for Automating abstraction functions (opens in a new tab)

  2. Business process model abstraction

    … Against this background, business process model abstraction emerged as an operation reducing the number of stored process models and facilitating model management. Business process model abstraction is an operation preserving essential process properties and leaving out insignificant details in …

    potsdam-diss Repository record for Business process model abstraction (opens in a new tab)

  3. Abstraction in technical computing

    Array-based programming environments are popular for scientific and technical computing. These systems consist of built-in function libraries paired with high-level languages for interaction. Although the libraries perform well, it is widely believed that scripting in these languages is necessarily …

    mit Repository record for Abstraction in technical computing (opens in a new tab)

  4. Abstraction of the Villa

    … choices in construction and landscape. These abstractions are then brought to fruition through model and painting, breathing life into the ideas that are displayed.

    vt Repository record for Abstraction of the Villa (opens in a new tab)

  5. Formalization, data abstraction, and communication

    … describes the methods of formalization, data abstraction, and communication with Shape Grammar in making designs, and illustrates the process of making folly as the result of this thesis. The approach is derived from the study of the different definitions of architectural form and the …

    mit Repository record for Formalization, data abstraction, and communication (opens in a new tab)

  6. Abstraction Guided Semi-formal Verification

    Abstraction-guided simulation is a promising semi-formal framework for design validation in which an abstract model of the design is used to guide a logic simulator towards a target property. However, key issues still need to be addressed before this framework can truly deliver on it's promise. …

    vt Repository record for Abstraction Guided Semi-formal Verification (opens in a new tab)

  7. Polymorphic computing abstraction for heterogeneous architectures

    … resource utilization. The implication of such an abstraction is that application threads need to be polymorphic. Operating system layer is thus faced with the problem of scheduling polymorphic threads. Resource allocation is also an important problem to be dealt by the OS. Morphism evolution of …

    iastate Repository record for Polymorphic computing abstraction for heterogeneous architectures (opens in a new tab)

  8. Abstraction Hierarchies for Multi-Agent Pathfinding

    <p>Multi-Agent Pathfinding is an NP-Complete search problem with a branching factor that is exponential in the number of agents. Because of this exponential feature, it can be difficult to solve optimally using traditional search techniques, even for relatively small problems. Many recent optimal …

    denver Repository record for Abstraction Hierarchies for Multi-Agent Pathfinding (opens in a new tab)

  9. Limits of Abstraction in Electroacoustic Music

    … Such an exploration exposes the limits of abstraction in electroacoustic music, as the interaction between musical form and the world outside the immanent context of the work is revealed. In Chapter 1 an examination of the complex system of relationships between sounds within a musical …

    city-london Repository record for Limits of Abstraction in Electroacoustic Music (opens in a new tab)

  10. Functional abstraction in switch-level simulation

    … circuit is, therefore, analyzed with functional abstraction algorithms prior to the simulation. The functional abstraction algorithms analyse the circuit and abstract from it a high-level model of its operation. This abstracted model is then used as the basis for the simulation of the circuit. …

    uiuc Repository record for Functional abstraction in switch-level simulation (opens in a new tab)

  11. Combining abstraction with Byzantine fault-tolerance

    Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.

    mit Repository record for Combining abstraction with Byzantine fault-tolerance (opens in a new tab)

  12. Factored State Abstraction for Option Learning

    … framework that considers both temporal and state abstraction to effectively reduce the problem complexity in sparse reward settings. Our contribution includes learning a factored state space to enable each option to map to a sub-section of the state space. We test our method against hierarchical, …

    mit Repository record for Factored State Abstraction for Option Learning (opens in a new tab)

  13. Holistic Abstraction for Distributed Network Debugging

    … are 1) a topology oblivious network abstraction for performance monitoring and troubleshooting, 2) transformation of the network abstract query to device local semantics, 3) optimizations for reducing state collection overhead, and 4) global state semantics in the proposed query …

    vt Repository record for Holistic Abstraction for Distributed Network Debugging (opens in a new tab)

  14. Evacuation Distributed Feedback Control and Abstraction

    … uncertain models. The work also focuses on abstraction of evacuation system which focuses on obtaining models with lesser number of partial differential equations than the original one. The feedback control design of a higher level two-equation model is more difficult than the lower order …

    vt Repository record for Evacuation Distributed Feedback Control and Abstraction (opens in a new tab)

  15. Visual region understanding: unsupervised extraction and abstraction

    The ability to gain a conceptual understanding of the world in uncontrolled environments is the ultimate goal of vision-based computer systems. Technological societies today are heavily reliant on surveillance and security infrastructure, robotics, medical image analysis, visual data categorisation …

    westminster Repository record for Visual region understanding: unsupervised extraction and abstraction (opens in a new tab)

  16. Context detection and abstraction in smart environments

    Context-aware computing is currently considered the most promising approach to overcome information overload and to speed up access to relevant information and services. Context-awareness may be derived from many sources, including user profile and preferences, network information, sensor analysis; …

    bologna Repository record for Context detection and abstraction in smart environments (opens in a new tab)

  17. Politics After the Individual: Abstraction, Individuation, Communisation

    … politics by placing it within the production of abstraction internal to the practical metaphysics of the capital-relation. Set around two overlapping objectives, the thesis seeks to first demonstrate how the figure of the individual subject is overdetermined by intersecting forms of real …

    auckland-ms Repository record for Politics After the Individual: Abstraction, Individuation, Communisation (opens in a new tab)

  18. Virtual articulation and kinematic abstraction in robotics

    … kinostatic simulation, and novel kinematic abstractions, where complex subsystems are simplified with virtual replacements in both space and time. Decomposition algorithms, including a novel method of hierarchical subdivision, enable scaling to large closed-chain mechanisms with 100s of …

    mit Repository record for Virtual articulation and kinematic abstraction in robotics (opens in a new tab)

Page 1 of 69