Search Constraints

Start Over
Filtering by: Creator Thompson, W. T. Remove constraint Creator: Thompson, W. T. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • Nanoparticle-assisted diffusion brazing of metal microchannel arrays : nanoparticle synthesis, deposition, and characterization

    Creator:
    Eluri, Ravindranadh T.
    Abstract:
    Microchannel process technology (MPT) offers several advantages to the field of nanomanufacturing: 1) improved process control over very short time intervals owing to shorter diffusional distances; and 2) reduced reactor size due to high surface area to volume ratios and enhanced heat and mass transfer. The objective of this thesis...
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF Ravindranadh T

  • Evaluation functions in aerial image segmentation

    Creator:
    Langford, William T.
    Abstract:
    Remote sensing is the most practical way to acquire large amounts of land cover data for monitoring and understanding environmental change, so it is important to be able to map land cover from imagery. Maps defining land cover patches as polygons rather than pixels greatly improve processing efficiency in models...
    Resource Type:
    Dissertation
    Full Text:
    ABSTRACT OF THE DISSERTATION OF William T. Langford for the degree of Doctor of Philosophy in Computer

  • Toward computer vision for understanding American football in video

    Creator:
    Hess, Robin W.
    Abstract:
    In this work, I examine the problem of understanding American football in video. In particular, I present several mid-level computer vision algorithms that each accomplish a different sub-task within a larger system for annotating, interpreting, and analyzing collections of American football video. The analysis of football video is useful in...
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF Robin W. Hess for the

  • Sliding-mode control of the super maneuverable aircraft

    Creator:
    Koo, Chang Sul
    Abstract:
    In this thesis, A nonlinear methodology for the control of the highly maneuverable, high performance aircraft HARV (F-18) is studied by using sliding-mode control (SMC). This control law, which takes a continuous function when the input constraints are not considered, satisfies the reachability condition by which concerned states are driven...
    Resource Type:
    Dissertation
    Full Text:
    encouragement throughout this study. I am also grateful to my committee members, including Dr. W. Kolodziej, M

  • Resource placement, data rearrangement, and Hamiltonian cycles in torus networks

    Creator:
    Bae, Myung Mun
    Abstract:
    Many parallel machines, both commercial and experimental, have been/are being designed with toroidal interconnection networks. For a given number of nodes, the torus has a relatively larger diameter, but better cost/performance tradeoffs, such as higher channel bandwidth, and lower node degree, when compared to the hypercube. Thus, the torus is...
    Resource Type:
    Dissertation
    Full Text:
    ) distant-t placement problem: in this case, any non-resource node is at a distance of at most t from some

  • Scheduling and Online Planning in Stochastic Diffusion Networks

    Creator:
    Xue, Shan
    Abstract:
    Diffusion processes in networks are common models for many domains, including species colonization, information/idea cascade, disease propagation and fire spreading. In diffusion networks, a diffusion event occurs when a behavior spreads from one node to the other following a probabilistic model, where the behavior could be species, an idea, a...
    Resource Type:
    Dissertation
    Full Text:
    Thompson are always available to assist me. They have answers to all the questions I asked, and always

  • Nonuniform Sampling Of Band-limited Functions

    Creator:
    Al-Hammali, Hussain Y.
    Abstract:
    In this thesis, we will study certain generalizations of the classical Shannon Sampling Theorem, which allows for the reconstruction of a pi-band-limited, square-integrable function from its samples on the integers. J. R. Higgins provided a generalization where the integers can be perturbed by less than 1/4, which includes nonuniform and...
    Resource Type:
    Dissertation
    Full Text:
    a distribution with bounded support and f is defined as f(t) = ⌦ g(w),�(w)e�iwt ↵ where � 2 D and

  • Weakly Supervised Learning for Activity Recognition from Time Series Data

    Creator:
    Guan, Xinze
    Abstract:
    The thesis focuses on activity recognition from sensor data, which has spurred a great deal of interest due to its impact on health care and security. Previous work on activity recognition from multivariate time series data has mainly applied supervised learning techniques which require a high degree of annotation effort...
    Resource Type:
    Dissertation
    Full Text:
    auxiliary variable N t. . . . . . . . . . . . . . . . . . . 29 4.4 A plot of the parameters for the AR

  • Applying machine learning for prediction, recommendation, and integration

    Creator:
    Bao, Xinlong
    Abstract:
    This dissertation explores the idea of applying machine learning technologies to help computer users find information and better organize electronic resources, by presenting the research work conducted in the following three applications: FolderPredictor, Stacking Recommendation Engines, and Integrating Learning and Reasoning. FolderPredictor is an intelligent desktop software tool that helps...
    Resource Type:
    Dissertation
    Full Text:
    thank many people from IBM T. J. Watson Research Center, where I spent the summer of 2008 as an intern

  • Reaction Pathways of Oxo-Hydroxo Group 5 Clusters to Metal Oxide Thin Films

    Creator:
    Mansergh, Ryan H.
    Abstract:
    Oxo-hydroxo Group 5 metal clusters are an untapped resource to study and advance aqueous solution processing of metal oxide thin films. The tetramethylammonium (TMA) hexatantalate salt (TMA6[H2Ta6O19]) yields dense Ta2O5 films (~95% of the bulk ß-Ta2O5 density) with atomically smooth surfaces (<4 Å root mean square surface roughness). This same...
    Resource Type:
    Dissertation
    Full Text:
    and T. Sawyer with assistance in scanning electron microscopy (SEM) and transmission electron

  • Update programming -- a safe approach to software maintenance

    Creator:
    Ren, Deling
    Abstract:
    Software maintenance accounts for a large portion of the software development cost, particularly the process of updating programs either to adapt for requirement change or to enhance design or efficiency. Currently, program updates are generally performed manually by programmers using text editors. This is an unreliable method because syntax and...
    Resource Type:
    Dissertation
    Full Text:
    ˜ � “�“�›/œ‚–X¦Z§¨—žœ � œb¥t—�©y–b›/˜Œª«–X¡¢‚—w˜P¢�–b¢�¦i˜ oHG #%$'&)()*,+�-.$/* Q¬#%…SO;O,sa-�]vQC]^…S­

  • Advancing Power Grid Computing: Analysis and Synthesis of Wide-Area Data, Distributed Real-Time Hardware-In-the-Loop Simulations, and Machine Learning for Event Detection

    Creator:
    Hagan, Travis
    Abstract:
    Global Positioning Systems have allowed for precise timing of power system measurements over wide areas. This newly found capability has the potential to provide much greater insight into the operation of the power system and its response to contingencies, but few analytical techniques currently exist that provide enough robustness and...
    Resource Type:
    Dissertation
    Full Text:
    &#IHKL#LJPQGRS# T� � ' ����� �� � � �����U��++������ ��������� � �!��"� ��T������V�� ��� ���#O

  • Pedestrian distraction : pedestrian behaviors at midblock crossings considering geometric and environmental conditions

    Creator:
    Kautz, Julia Anne
    Abstract:
    Pedestrian distraction at roadway crossings has been correlated with a higher risk of pedestrian-vehicle collisions due to the pedestrian's cognitive, visual, and motor attention being drawn to a wide variety of secondary tasks. This study is different from previous field studies of pedestrian midblock crossings in that the geometric layout...
    Resource Type:
    Masters Thesis
    Full Text:
    ). .................................................................................. 97 FIGURE 44. CROSSING SOUTH OF W 11TH AVE & CITY VIEW ST (WINDOWS MEDIA PLAYER, 2015

  • Advances in Simultaneous Translation

    Creator:
    Zheng, Renjie
    Abstract:
    Simultaneous translation, which translates concurrently with the source language speech, is widely used in many scenarios including multilateral organizations. However, it is well known to be one of the most challenging tasks for humans due to the simultaneous perception and production in two languages. On the other hand, simultaneous translation...
    Resource Type:
    Dissertation
    Full Text:
    words). . . . . . . 20 2.3 An example for READ/WRITE action sequence. R represents READ and W

  • Correct abstraction in counter-planning : a knowledge compilation approach

    Creator:
    Flann, Nicholas S.
    Abstract:
    Knowledge compilation improves search-intensive problem-solvers that are easily specified but inefficient. One promising approach improves efficiency by constructing a database of problem-instance/best-action pairs that replace problem-solving search with efficient lookup. The database is constructed by reverse enumeration- expanding the complete search space backwards, from the terminal problem instances. This approach...
    Resource Type:
    Dissertation
    Full Text:
    pattern roo k-t a kes- kn igh t 1 , illustrated in graphical form in Figure 3.9 104 5.3 Geometric

  • Incorporating and Learning Behavior Constraints for Sequential Decision Making

    Creator:
    Pinto, Jervis
    Abstract:
    Writing a program that performs well in a complex environment is a challenging task. In such problems, a method of deterministic programming combined with reinforcement learning (RL) can be helpful. However, current systems either force developers to encode knowledge in very specific forms (e.g., state-action features), or assume advanced RL...
    Resource Type:
    Dissertation
    Full Text:
    Simendinger and Nicole Thompson) and the office staff for always being available to assist the graduate

  • Assisting Sustainability Analysis of Forest Bioenergy Supply Chains using Mathematical Optimization

    Creator:
    Sadeghi, Javad
    Abstract:
    Changes in the global climate and forest management practices have given rise to increasing numbers and severity of wildfires. More than five million acres burned in the United States in 2017, while in Canada 7.4 million acres burned. In particular, an increasing amount of dead woody biomass is a key...
    Resource Type:
    Masters Thesis
    Full Text:
    , 1, , ,t T= … w Set of warehousing sites, 1, , ,w W= … Parameters: a The lowest

  • High-speed implementation of the RSA cryptosystem

    Creator:
    Peng, Yanqun
    Abstract:
    A public key cryptosystem allows two or more parties to securely communicate over an insecure channel without establishing a physically secure channel for key exchange. The RSA cryptosystem is the most popular public key cryptosystem ever invented. It is based on the difficulty of factoring large composite numbers. Once the...
    Resource Type:
    Masters Thesis
    Full Text:
    the product: n = pq. Let 4) (n) = (p 1) (q 1) . Then randomly choose the encryption key, 1 < e < (t

  • Learning MDP action models via discrete mixture trees

    Creator:
    Wynkoop, Michael S.
    Abstract:
    This thesis addresses the problem of learning dynamic Bayesian network (DBN) models to support reinforcement learning. It focuses on learning regression tree models of the conditional probability distributions of the DBNs. Existing algorithms presume that the stochasticity in the domain can be modeled as a deterministic function with additive noise....
    Resource Type:
    Masters Thesis
    Full Text:
    CART M5P W L T W L T W L T W L T Prec 734 0 386 26 2 1092 887 6 227 356 1 763 Recall 385 1 674 34 0

  • Learning with Partial Supervision for Clustering and Classification

    Creator:
    Pei, Yuanli
    Abstract:
    In the field of machine learning, clustering and classification are two fundamental tasks. Traditionally, clustering is an unsupervised method, where no supervision about the data is available for learning; classification is a supervised task, where fully-labeled data are collected for training a classifier. In some scenarios, however, we may not...
    Resource Type:
    Dissertation
    Full Text:
    (yi|zi,xi,W, t, α) . . . . . . . . . . . . . . . . 88 4 EM Algorithm for Learning with Latent Label

  • Test case prioritization

    Creator:
    Malishevsky, Alexey Grigorievich
    Abstract:
    Regression testing is an expensive software engineering activity intended to provide confidence that modifications to a software system have not introduced faults. Test case prioritization techniques help to reduce regression testing cost by ordering test cases in a way that better achieves testing objectives. In this thesis, we are interested...
    Resource Type:
    Dissertation
    Full Text:
    . In order for a failure to occur, a fault must occur. We call a finite set of test cases T a test

  • Simulator-Defined MDP Planning with Applications in Natural Resource Management

    Creator:
    Alkaee Taleghan, Majid
    Abstract:
    This work is inspired by problems in natural resource management centered on the challenge of invasive species. Computing optimal management policies for maintaining ecosystem sustainable is challenging. Many ecosystem management problems can be formulated as MDP (Markov Decision Process) planning problems. In a simulator-defined MDP, the Markovian dynamics and rewards...
    Resource Type:
    Dissertation
    Full Text:
    state is defined as V π(s0) = E[ ∑∞ t=0 γ tR(st, π(st))], where the expectation is taken with respect

  • Improving automated email tagging with implicit feedback

    Creator:
    Sorower, Mohammad Shahed
    Abstract:
    Machine learning systems are generally trained offline using ground truth data that has been labeled by experts. However, these batch training methods are not a good fit for many applications, especially in the cases where complete ground truth data is not available for offline training. In addition, batch methods do...
    Resource Type:
    Dissertation
    Full Text:
    . However, these batch training methods are not a good �t for many applications, especially in the cases

  • Approximation Schemes in Planar Graphs

    Creator:
    Zheng, Baigong
    Abstract:
    There are growing interests in designing polynomial-time approximation schemes (PTAS) for optimization problems in planar graphs. Many NP-hard problems are shown to admit PTAS in planar graphs in the last decade, including Steiner tree, Steiner forest, two- edge-connected subgraphs and so on. We follow this research line and study several...
    Resource Type:
    Dissertation
    Full Text:
    (T ). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 2.5 Examples for Lemma 2.30

  • Structured learning with latent variables : theory and algorithms

    Creator:
    Zhao, Kai
    Abstract:
    Most tasks in natural language processing (NLP) try to map structured input (e.g., sentence or word sequence) to some form of structured output (tag sequence, parse tree, semantic graph, translated/paraphrased/compressed sentence), a problem known as “structured prediction”. While various learning algorithms such as the perceptron, maximum entropy, and expectation-maximization have...
    Resource Type:
    Dissertation
    Full Text:
    }, Bi(x;w) = top b({yi−k+2 . . . yi|yi ∈ T , yi−k+1 . . . yi−1 ∈ Bi−1(x;w)}), (2.2) where topb takes

  • Learning ranking functions for efficient search

    Creator:
    Xu, Yuehua
    Abstract:
    This dissertation explores algorithms for learning ranking functions to efficiently solve search problems, with application to automated planning. Specifically, we consider the frameworks of beam search, greedy search, and randomized search, which all aim to maintain tractability at the cost of not guaranteeing completeness nor optimality. Our learning objective for...
    Resource Type:
    Dissertation
    Full Text:
    beam width. Not depicted in the figure are: c - maximum number of children of any node, t - the maximum

  • Object Tracking-by-Segmentation in Videos

    Creator:
    Chen, Sheng
    Abstract:
    This thesis focuses on the problem of object tracking. Given a video, the general objective of tracking is to track the location over time of one or more targets in the image sequence. This is a very challenging task as algorithms need to deal with problems such as appearance variations,...
    Resource Type:
    Dissertation
    Full Text:
    the same label. In frame t, Si and Sj belong to a single fore- ground connected component, so the

  • Power saving in WAP

    Creator:
    Potti, Girish
    Abstract:
    Wireless Application Protocol (WAP) is an industry standard aimed to bring the web to handheld devices. The handheld devices are constrained by battery life and it becomes important that power is conserved across web transactions. The power consumed by the handheld device is directly proportional to the time taken for...
    Resource Type:
    Capstone Project
    Full Text:
    Oregon State University Power Saving in W AP Power

  • A Benchmarking Study of Unsupervised Anomaly Detection Algorithms

    Creator:
    Emmott, Andrew F.
    Abstract:
    It is common practice in the unsupervised anomaly detection literature to create experimental benchmarks by sampling from existing supervised learning datasets. We seek to improve this practice by identifying four dimensions important to real-world anomaly detection applications --- point difficulty, clusteredness of anomalies, relevance of features, and relative frequency of...
    Resource Type:
    Masters Thesis

  • New learning modes for sequential decision making

    Creator:
    Judah, Kshitij
    Abstract:
    This thesis considers the problem in which a teacher is interested in teaching action policies to computer agents for sequential decision making. The vast majority of policy learning algorithms o er teachers little flexibility in how policies are taught. In particular, one of two learning modes is typically considered: 1)...
    Resource Type:
    Dissertation
    Full Text:
    is given by: U(θ, T ) = 1 W (T ) ∑ Tj∈T w(Tj)Rj , w(Tj) = pθ(Tj) pθj (Tj) , (2.2) where W (T

  • Interpretable Machine Learning: Applications in Biology and Genomics

    Creator:
    Danaee, Padideh
    Abstract:
    Machine learning (ML) and deep learning (DL) models impact our daily lives with applications in natural language modeling, image analysis, healthcare, genomics, and bioinformatics. The exponential growth of biological sequence data necessitates accompanying advances in computational methods. Although deep learning is highly effective for detecting and classifying biological sequences, challenges...
    Resource Type:
    Dissertation
    Full Text:
    ), exhibit trends with window size w consistent with the distribution of distances observed in CompaRNA-1m

  • A Study of Temporal Convolutional Neural Networks for Music Language Modeling as Applied to Automatic Music Transcription

    Creator:
    Meyn, Matthew
    Abstract:
    Automatic music transcription (AMT) is the task, given an acoustic representation of music, to recover a symbolic notation of the written notes expressed by the sound. Transcribing music with multiple notes sounding simultaneously is difficult for both humans and machines. Much existing work on AMT has focused on suitable acoustic...
    Resource Type:
    Capstone Project
    Full Text:
    building models that can estimate the likelihood P (Ŵ ) of a possible sequence of tokens Ŵ = 〈ŵ1, ŵ2

  • Data Collection in Sensor Networks via the Novel Fast Markov Decision Process Framework

    Creator:
    Duong, Thai
    Abstract:
    We investigate the data collection problem in sensor networks. The network consists of a number of stationary sensors deployed at different sites for sensing and storing data locally. A mobile element moves from sites to sites to collect data from the sensors periodically. There are different costs associated with the...
    Resource Type:
    Masters Thesis
    Full Text:
    a unique stationary distribution π such that νT Pn = πTlim , (3.1) n→∞ where νT denotes the

  • WebSiteGen3 : a tool for generating ASP.NET forms

    Creator:
    Naik, Parijat
    Abstract:
    Web-Site Generator 3 (WebSiteGen3) is a rapid application development (RAD) tool that generates ASP.NET forms to insert, query, update and delete data stored in the user tables in a SQL Server 2000 database. WebSiteGen3 uses a graphical user interface to show the user tables in a hierarchical tree based on...
    Resource Type:
    Capstone Project
    Full Text:
    2000 database. W ebSiteGen3 uses a graphical user interface to show the user tables in a hierarchical

  • An Empirical Evaluation of Policy Rollout for Clue

    Creator:
    Marshall, Eric
    Abstract:
    We model the popular board game of Clue as an MDP and evaluate Monte-Carlo policy rollout in a simulated environment pitting different agents and policies against each other. We describe the choices we made in the representation, along with some of the problems we encountered along the way. We find...
    Resource Type:
    Capstone Project
    Full Text:
    ) defined by the set of states, actions, rewards, and transitions S, A, R, T. Before we describe the MDP

  • Explanations and Processes to Enable Humans to Assess AI with Respect to Manipulable Properties

    Creator:
    Dodge, Jonathan E.
    Abstract:
    Assessing AI systems is difficult. Humans rely on AI systems in increasing ways, both visible and invisible, meaning a variety of stakeholders need a variety of assessment tools (e.g., a professional auditor, a developer, and an end user all have different needs). We posit that it is possible to provide...
    Resource Type:
    Dissertation
    Full Text:
    nearest half-hour, and records are presented as [W, L D]. Tables G.1–G.4 all will use a similar format

  • Parsing with Recurrent Neural Networks

    Creator:
    Cross, James Henry, III
    Abstract:
    Machine learning models for natural language processing have traditionally relied on large numbers of discrete features, built up from atomic categories such as word forms and part-of-speech labels, which are considered completely distinct from each other. Recently however, the advent of dense feature representations coupled with deep learning techniques has...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2 A recursive neural network for a small binary tree. The same weights W are used at each

  • Automated decomposition of complex parts for manufacturing with advanced joining processes

    Creator:
    Massoni, Brandon R.
    Abstract:
    Recent advancements in joining operations and additive manufacturing now allow complex metal parts to be built up from raw materials, as opposed to being machined down from solid blocks. This not only opens up the design space, but also allows for much more efficient manufacturing. By decomposing a complex part...
    Resource Type:
    Dissertation
    Full Text:
    A (14,631 Vertices, Volume = 4,700 cm3) ....................50 Figure 33: T-Fillet part

  • Learning multiple non-redundant codebooks with word clustering for document classification

    Creator:
    Surve, Akshat Sudhakar
    Abstract:
    The problem of document classification has been widely studied in machine learning and data mining. In document classification, most of the popular algorithms are based on the bag-of-words representation. Due to the high dimensionality of the bag-of-words representation, significant research has been conducted to reduce the dimensionality via different approaches....
    Resource Type:
    Masters Thesis
    Full Text:
    be formulated as, T

  • General purpose, client configurable fuzzy logic expert control system

    Creator:
    Huntley, Kyle
    Abstract:
    In this paper we describe a fuzzy logic based control system implemented on a PC architecture. The rule based inference engine of this expert system is easily configured through an ascii text file and is demonstrated to be capable of controlling various simulations, including an inverted pendulum. The controller is...
    Resource Type:
    Capstone Project
    Full Text:
    ,AccP,VelP ,PosP. (C for cart, P for pendulum) AccC=W*posP+ X*Force. PosC=AccC/2*t2+VelC*t+PosC. VelC

  • Development of a dose conversion factor from uptakes of Po-210 through smoking using a modified ICRP 30 lung model

    Creator:
    Hout, Jason D.
    Abstract:
    A thesis presented on the determination of factors related to deposition, clearance, and dosimetry of the ICRP 30 lung model as related to smoking. Variations in calculations used to determine radiation doses leave a need to determine a standard method to determine absorbed dose from smoking. Standard parameters are used...
    Resource Type:
    Masters Thesis
    Full Text:
    .................................................. 22 8. Calculated T-B Deposition.................................................. 23

  • Monte Carlo Tree Search with Fixed and Adaptive Abstractions

    Creator:
    Hostetler, Jesse A.
    Abstract:
    Monte Carlo tree search (MCTS) is a class of online planning algorithms for Markov decision processes (MDPs) and related models that has found success in challenging applications. In the online planning approach, the agent makes a decision in the current state by performing a limited forward search over possible futures...
    Resource Type:
    Dissertation
    Full Text:
    expected discounted sum of future rewards when following the policy, V π(s) = E [ ∞∑ t=0 γtrt ∣∣∣s, π

  • Action Segmentation in Videos: Deep Models, Prediction Diffusion, and Deep-Temporal Augmentations

    Creator:
    Aziere, Nicolas
    Abstract:
    This paper addresses the high model complexity and overconfident frame labeling of state-of-the-art (SOTA) action segmenters. Their complexity is typically justified by the need to sequentially refine action segmentation through multiple stages of a deep architecture. However, this multistage refinement does not take into account uncertainty of frame labeling predicted...
    Resource Type:
    Dissertation
    Full Text:
    computation. . . . . . . . . . . . . 10 3.1 An overview of our TCTr with the C-T-T-T-T (or CT4 for shorthand

  • 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:
    defined as: φ(e, yij) = e TCyij + w T r(e, yij) (2.6) where e and yij are entity embeddings and r(e

  • Learning and Improving Policies for Probabilistic Planning Problems

    Creator:
    Issakkimuthu, Murugeswari
    Abstract:
    In this work, we study the problem of learning and improving policies for probabilistic planning problems. In the first part, we train neural network policies for probabilistic planning problems modeled as factored Markov decision problems. The objective is to train problem-specific neural networks via supervised learning to imitate the action...
    Resource Type:
    Dissertation
    Full Text:
    transition function T is compactly described as a DBN which specifies the probability distribution over

  • Separabilities for a new class of gray codes

    Creator:
    Park, Jung Pil
    Resource Type:
    Capstone Project
    Full Text:
    - ai are computed mod k. For example, when k = 4, W£(321) = min(3, 4 - 3) + min(2, 4 - 2) + min(l, 4

  • Activity recognition in desktop environments

    Creator:
    Shen, Jianqiang
    Abstract:
    Knowledge workers are struggling in the information flood. There is a growing interest in intelligent desktop environments that help knowledge workers organize their daily life. Intelligent desktop environments allow the desktop user to define a set of “activities” that characterize the user’s desktop work. These environments then attempt to identify...
    Resource Type:
    Dissertation
    Full Text:
    r e p o r t re t r i eve t h e s i s w r i t e n o t e s s e n d o u t r e q u e s t s co l l

  • Anomaly Detection: Theory, Explanation and User Feedback

    Creator:
    Siddiqui, Md Amran
    Abstract:
    Anomaly detection has been used in variety of applications in practice, including cyber-security, fraud detection and detecting faults in safety critical systems, etc. Anomaly detectors produce a ranked list of statistical anomalies, which are typically examined by human analysts in order to extract the actual anomalies of interest. Unfortunately, most...
    Resource Type:
    Dissertation
    Full Text:
    − µ) ≤ t =⇒ x>A x− 2x>A µ ≤ t− µ>A µ =⇒ d∑ i,j=1 Aijxixj − d∑ i=1 2(Aµ)ixi ≤ t− µ>Aµ =⇒ w>z ≤ b

  • A SAT-based planning framework for optimizing resource production

    Creator:
    Ventura, Christopher
    Abstract:
    Domain-independent automated planning is concerned with computing a sequence of actions that can transform an initial state into a desired goal state. Resource production domains form an interesting class of such problems, in that they typically require reasoning about concurrent durative-actions with continuous effects while minimizing some cost function. Although...
    Resource Type:
    Masters Thesis
    Full Text:
    the capacity. Furthermore, the ‘#t’ keyword is a term denoting that the corresponding change is

  • Learning greedy policies for the easy-first framework

    Creator:
    Xie, Jun
    Abstract:
    Easy-first, a search-based structured prediction approach, has been applied to many NLP tasks including dependency parsing and coreference resolution. This approach employs a learned greedy policy (action scoring function) to make easy decisions first, which constrains the remaining decisions and makes them easier. This thesis studies the problem of learning...
    Resource Type:
    Masters Thesis
    Full Text:
    of iterations T 2: output : w 3: w ← w0, i← 0, convergence← false 4: pObj ← −∞ 5: while i ≤ T and