Search Constraints

Start Over
Filtering by: Creator Billman, Eric J. Remove constraint Creator: Billman, Eric J. Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science

Search Results

  • Variational Satisfiability Solving

    Creator:
    Young, Jeffrey M.
    Abstract:
    Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
    Resource Type:
    Dissertation
    Full Text:
    : Variational Satisfiability Solving Abstract approved: Eric Walkingshaw Over the last two decades

  • Object highlighting : real-time boundary detection using a Bayesian network

    Creator:
    Jia, Jin
    Abstract:
    Image segmentation continues to be a fundamental problem in computer vision and image understanding. In this thesis, we present a Bayesian network that we use for object boundary detection in which the MPE (most probable explanation) before any evidence can produce multiple non-overlapping, non-self-intersecting closed contours and the MPE with...
    Resource Type:
    Masters Thesis
    Full Text:
    Boundary Detection using a Bayesian Network. Abstract Eric Mortensen image segmentation continues to be

  • Image feature detection and matching for biological object recognition

    Creator:
    Deng, Hongli
    Abstract:
    Image feature detection and matching are two critical processes for many computer vision tasks. Currently, intensity-based local interest region detectors and local feature-based matching methods are used widely in computer vision applications. But in some applications, such as biological object recognition tasks, within-class changes in pose, lighting, color, and texture...
    Resource Type:
    Dissertation
    Full Text:
    : Image Feature Detection and Matching for Biological Object Recognition Abstract approved: Eric

  • Theory and Implementation of a Variational Database Management System

    Creator:
    Ataei, Parisa S.
    Abstract:
    In this thesis, I present the variational database management system, a formal framework and its implementation for representing variation in relational databases and managing variational information needs. A variational database is intended to support any kind of variation in a database. Specific kinds of variation in databases have already been...
    Resource Type:
    Dissertation
    Full Text:
    Implementation of a Variational Database Management System Abstract approved: Eric Walkingshaw In this thesis

  • Application of the Variational Database Management System to Schema Evolution and Software Product Lines

    Creator:
    Li, Qiaoran
    Abstract:
    As a general solution to the problem of managing structural and content variability in relational databases, in previous work we have introduced the Variational Database Management System (VDBMS). VDBMS consists of a representation of a variational database (VDB) and a corresponding typed query language (v-query). However, since this is a...
    Resource Type:
    Capstone Project
    Full Text:
    : Eric Walkingshaw As a general solution to the problem of managing structural and content variability

  • Integrating Side Effects in Variational Programs Using Algebraic Effects

    Creator:
    Alkubaish, Ghadeer
    Abstract:
    Variational programming supports efficiently executing many related programs at once by encoding all of the programs in one "variational program" that captures the differences among them statically and explicitly. An open problem in variational programming is how to handle side effects—if two program variants perform different side effects, we cannot...
    Resource Type:
    Masters Thesis
    Full Text:
    Effects in Variational Programs Using Algebraic Effects Abstract approved: Eric Walkingshaw Variational

  • Formal Verification of the Variational Database Management System

    Creator:
    Khan, Fariba
    Abstract:
    Variation in data is abundant and ubiquitous in real-world applications. Managing variation in databases is, however, difficult and has been extensively studied by the database community. Schema evolution, data integration, and database versioning are examples of well-studied forms of database variation with effective context-specific solutions. However, variation appears in different...
    Resource Type:
    Masters Thesis
    Full Text:
    Variational Database Management System Abstract approved: Eric Walkingshaw Variation in data is abundant

  • Modeling architecture from photographs : an implementation of the Façade system

    Creator:
    Heath, Zach
    Abstract:
    The Façade photometric modeling system, developed by Paul E Debevec at Berkley, is capable of transforming a sparse set of camera images of an architectural scene into a photorealistic 3D model. Users define a rough model out of primitive building blocks and mark where a portion of the edges of...
    Resource Type:
    Capstone Project
    Full Text:
    l n n Fl n Ll I l ti I [I H II I J lJ u

  • Information space mapping with adaptive multiplicatively weighted Voronoi diagrams

    Creator:
    Trubin, Stanislav I.
    Abstract:
    Traditional application of Voronoi diagrams for space partitioning creates Voronoi regions, with areas determined by the generators’ relative locations and weights. Especially in the area of information space (re)construction, however, there is a need for inverse solutions; i.e., finding weights that result in regions with predefined areas. In this thesis,...
    Resource Type:
    Masters Thesis
    Full Text:
    Page 12 LIST OF ABBREVIATIONS AND SYMBOLS A Total image size Aj Goal area for region rj ai,j

  • Formative Work Toward a Mixed-Initiative Programming Language

    Creator:
    Abbott, Keeley
    Abstract:
    Mixed-initiative programming entails collaboration between a computer system, and a human to achieve some desired goal or set of goals. Often these goals change or are amended in real time during the course of program execution. As such, the plans these programs are based on must adapt and evolve to...
    Resource Type:
    Masters Thesis
    Full Text:
    Mixed-Initiative Programming Language Abstract approved: Eric T. Walkingshaw Mixed-initiative