Search Constraints

Start Over
Filtering by: Creator Muehlbauer, Jeffrey D. Remove constraint Creator: Muehlbauer, Jeffrey D. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

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:
    AN ABSTRACT OF THE DISSERTATION OF Jeffrey M. Young for

  • Web-PST : web-based pesticide screening tool

    Creator:
    Yao, Hua
    Abstract:
    Web-based Pesticide Screening Tool (Web-PST) is a web-based software application for evaluating the potential risk of pesticides on the surrounding environment. It uses the formulas and standards specified by the Soil/Pesticide Interaction Screening Procedure Version II (SPISP II). Web-PST closely models the stand-alone Windows application Windows Pesticide Screening Tool (WIN-PST)....
    Resource Type:
    Capstone Project
    Full Text:
    . Jeffrey Steiner Department of Computer Science Oregon State University Corvallis, OR 97331

  • Web-PST : Web-based Pesticide Screening Tool

    Creator:
    Manda, Ashwin Prasad
    Abstract:
    We have developed a web-based software tool for evaluating the potential risk of pesticides on the surrounding environment. The software tool is called Web-based Pesticide Screening Tool (Web-PST). It uses the formulas and standards specified by the Soil/Pesticide Interaction Screening Procedure Version II (SPISP II). Web-PST closely models the stand-alone...
    Resource Type:
    Capstone Project
    Full Text:
    . Toshimi Minoura Minor Professor: Dr. Prasad Tadepalli Committee Member: Dr. Jeffrey Steiner 2

  • WebRUSLE : web-based revised universal soil loss equation (RUSLE)

    Creator:
    Wuttiwat, Teerawat
    Abstract:
    Revised Universal Soil Loss Equation (RUSLE) is a standard for estimating soil loss caused by rainfall and overland flow. The current software tool that implements this standard is RUSLE 1.06b, which is a stand-alone DOS application. In this project, we converted the DOS application to a Web application, which we...
    Resource Type:
    Capstone Project
    Full Text:
    Member: Dr. Jeffrey Steiner Dept. of Computer Science Oregon State University Corvallis, OR 97331

  • Improving the Effectiveness of Answering Keyword Queries Using Effective Subsets

    Creator:
    Khodadadi, Abtin
    Abstract:
    Most database users do not know formal query languages, such as SQL, and prefer to express their information needs using usable query languages, such as keyword queries. Keyword queries, however, are inherently ambiguous and challenging for the database systems to understand and answer effectively. We propose a novel approach to...
    Resource Type:
    Capstone Project
    Full Text:
    , Sanjay Ghemawat 2008 02 Enabling cross-platform data processing D. Agrawal, Sanjay Chawla 2011 03

  • Event detection with forward-backward recurrent neural networks

    Creator:
    Ghaeini, Mohammad Reza
    Abstract:
    Automatic event extraction from natural text is an important and challenging task for natural language understanding. Traditional event detection methods heavily rely on manually engineered rich features. Recent deep learning approaches alleviate this problem by automatic feature engineering. But such efforts, like tradition methods, have so far only focused on...
    Resource Type:
    Masters Thesis
    Full Text:
    , 2014. [26] Jeffrey Pennington, Richard Socher, and Christopher D. Manning. Glove: Global vectors for

  • Topics in toroidal interconnection networks

    Creator:
    Broeg, Robert Richard
    Resource Type:
    Dissertation
    Full Text:
    surface area of a sphere of radius d are derived, and methods of decomposing a Qkr, into n disjoint

  • Selling and buying in a distributed virtual market place

    Creator:
    Bella, Ravi
    Abstract:
    We present a model for a distributed virtual market place that can be con­structed on the Internet to support selling and buying requests, such as those found as classified advertisements. One requirement for a transaction to take place in the virtual market place is that a sell request and a...
    Resource Type:
    Capstone Project
    Full Text:
    of the ease of management of the distributed data. 21 j References [1] Jeffrey D. Ullman

  • Improving and Understanding Deep Models for Natural Language Comprehension

    Creator:
    Ghaeini, Reza
    Abstract:
    Natural Language Comprehension is a challenging domain of Natural Language Processing. To improve a model’s language comprehension/understanding, one approach would be to enrich the structure of the model to enhance its capability in learning the latent rules of the language. In this dissertation, we will first introduce several deep models...
    Resource Type:
    Dissertation
    Full Text:
    ) and (b,d,f) represent the normalized attention weights for Entailment, Neutral, and Contradiction

  • Knowledge Base Completion Leveraging Natural Language Data

    Creator:
    Shahbazi, Hamed
    Abstract:
    Information about named entities (real-world objects) is usually harvested from different sources and organized as a multiple relational directed graph in Knowledge Bases (KBs). KBs play essential roles in many NLP modules including question answering, fact-checking, search engines, etc. KBs are big but still incomplete: relational information among entities is...
    Resource Type:
    Dissertation
    Full Text:
    , providing insight into the strength of our method. 2.3 Proposed Approach We are given a document D