Search Constraints

Start Over
Filtering by: Committee Member Loveland Remove constraint Committee Member: Loveland Committee Member Budd, Tim Remove constraint Committee Member: Budd, Tim

Search Results

  • DataLab, a graphical system for specifying and synthesizing abstract data types

    Creator:
    Al-Mulhem, Muhammed Saleh
    Abstract:
    Formal methods using text to specify abstract data types (ADTs) are powerful, but they require great effort and a high level of expertise. Visual programming languages present an alternative way of programming but are limited to building small programs. This research presents an approach for specifying ADTs using a combination...
    Resource Type:
    Dissertation
    Full Text:
    Loveland for their helpful comments. I would like to thank King Fand University of Petroleum and Minerals

  • Exact learning of tree patterns

    Creator:
    Amoth, Thomas R.
    Abstract:
    Tree patterns are natural candidates for representing rules and hypotheses in many tasks such as information extraction and symbolic mathematics. A tree pattern is a tree with labeled nodes where some of the leaves may be labeled with variables, whereas a tree instance has no variables. A tree pattern matches...
    Resource Type:
    Dissertation