Matching Items (275)
Filtering by
- All Subjects: artificial intelligence
- Creators: Arizona State University
Description
The rapid escalation of technology and the widespread emergence of modern technological equipments have resulted in the generation of humongous amounts of digital data (in the form of images, videos and text). This has expanded the possibility of solving real world problems using computational learning frameworks. However, while gathering a large amount of data is cheap and easy, annotating them with class labels is an expensive process in terms of time, labor and human expertise. This has paved the way for research in the field of active learning. Such algorithms automatically select the salient and exemplar instances from large quantities of unlabeled data and are effective in reducing human labeling effort in inducing classification models. To utilize the possible presence of multiple labeling agents, there have been attempts towards a batch mode form of active learning, where a batch of data instances is selected simultaneously for manual annotation. This dissertation is aimed at the development of novel batch mode active learning algorithms to reduce manual effort in training classification models in real world multimedia pattern recognition applications. Four major contributions are proposed in this work: $(i)$ a framework for dynamic batch mode active learning, where the batch size and the specific data instances to be queried are selected adaptively through a single formulation, based on the complexity of the data stream in question, $(ii)$ a batch mode active learning strategy for fuzzy label classification problems, where there is an inherent imprecision and vagueness in the class label definitions, $(iii)$ batch mode active learning algorithms based on convex relaxations of an NP-hard integer quadratic programming (IQP) problem, with guaranteed bounds on the solution quality and $(iv)$ an active matrix completion algorithm and its application to solve several variants of the active learning problem (transductive active learning, multi-label active learning, active feature acquisition and active learning for regression). These contributions are validated on the face recognition and facial expression recognition problems (which are commonly encountered in real world applications like robotics, security and assistive technology for the blind and the visually impaired) and also on collaborative filtering applications like movie recommendation.
ContributorsChakraborty, Shayok (Author) / Panchanathan, Sethuraman (Thesis advisor) / Balasubramanian, Vineeth N. (Committee member) / Li, Baoxin (Committee member) / Mittelmann, Hans (Committee member) / Ye, Jieping (Committee member) / Arizona State University (Publisher)
Created2013
Description
The increasing popularity of Twitter renders improved trustworthiness and relevance assessment of tweets much more important for search. However, given the limitations on the size of tweets, it is hard to extract measures for ranking from the tweet's content alone. I propose a method of ranking tweets by generating a reputation score for each tweet that is based not just on content, but also additional information from the Twitter ecosystem that consists of users, tweets, and the web pages that tweets link to. This information is obtained by modeling the Twitter ecosystem as a three-layer graph. The reputation score is used to power two novel methods of ranking tweets by propagating the reputation over an agreement graph based on tweets' content similarity. Additionally, I show how the agreement graph helps counter tweet spam. An evaluation of my method on 16~million tweets from the TREC 2011 Microblog Dataset shows that it doubles the precision over baseline Twitter Search and achieves higher precision than current state of the art method. I present a detailed internal empirical evaluation of RAProp in comparison to several alternative approaches proposed by me, as well as external evaluation in comparison to the current state of the art method.
ContributorsRavikumar, Srijith (Author) / Kambhampati, Subbarao (Thesis advisor) / Davulcu, Hasan (Committee member) / Liu, Huan (Committee member) / Arizona State University (Publisher)
Created2013
Description
In this dissertation I attempt to find elements of education and curricular perspective in the Qur'an. I argue that there is little research in the field of curriculum instruction that discusses the Qur'an's educational aspects and, as a result, much ignorance of the Qur'an's material that deals with education and curricular perspective in the Qur'an. Researchers may find many materials that deal with reading, memorizing, and reciting the Qur'an, along with references that deal with science and math in the Qur'an. Therefore, this dissertation answers the question: What curriculum exists within the Quran? This dissertation is divided into five chapters exploring various aspects of the curriculum. The word "curriculum" is used in one chapter to mean developing the person as a whole in all aspects of life whether spiritual, social, or mental while in the other chapter curriculum is used to refer to methods of instruction. I concluded that curriculum in the Qur'an uses different methods of instructions to develop the individual as a whole in all aspects of life while granting freedom of choice.
ContributorsRisha, Sarah (Author) / Margolis, Eric (Thesis advisor) / Fischman, Gustavo (Committee member) / Ali, Souad (Committee member) / Arizona State University (Publisher)
Created2013
Description
Objective of this thesis project is to build a prototype using Linear Temporal Logic specifications for generating a 2D motion plan commanding an iRobot to fulfill the specifications. This thesis project was created for Cyber Physical Systems Lab in Arizona State University. The end product of this thesis is creation of a software solution which can be used in the academia and industry for research in cyber physical systems related applications. The major features of the project are: creating a modular system for motion planning, use of Robot Operating System (ROS), use of triangulation for environment decomposition and using stargazer sensor for localization. The project is built on an open source software called ROS which provides an environment where it is very easy to integrate different modules be it software or hardware on a Linux based platform. Use of ROS implies the project or its modules can be adapted quickly for different applications as the need arises. The final software package created and tested takes a data file as its input which contains the LTL specifications, a symbols list used in the LTL and finally the environment polygon data containing real world coordinates for all polygons and also information on neighbors and parents of each polygon. The software package successfully ran the experiment of coverage, reachability with avoidance and sequencing.
ContributorsPandya, Parth (Author) / Fainekos, Georgios (Thesis advisor) / Dasgupta, Partha (Committee member) / Lee, Yann-Hang (Committee member) / Arizona State University (Publisher)
Created2013
Description
Linear Temporal Logic is gaining increasing popularity as a high level specification language for robot motion planning due to its expressive power and scalability of LTL control synthesis algorithms. This formalism, however, requires expert knowledge and makes it inaccessible to non-expert users. This thesis introduces a graphical specification environment to create high level motion plans to control robots in the field by converting a visual representation of the motion/task plan into a Linear Temporal Logic (LTL) specification. The visual interface is built on the Android tablet platform and provides functionality to create task plans through a set of well defined gestures and on screen controls. It uses the notion of waypoints to quickly and efficiently describe the motion plan and enables a variety of complex Linear Temporal Logic specifications to be described succinctly and intuitively by the user without the need for the knowledge and understanding of LTL specification. Thus, it opens avenues for its use by personnel in military, warehouse management, and search and rescue missions. This thesis describes the construction of LTL for various scenarios used for robot navigation using the visual interface developed and leverages the use of existing LTL based motion planners to carry out the task plan by a robot.
ContributorsSrinivas, Shashank (Author) / Fainekos, Georgios (Thesis advisor) / Baral, Chitta (Committee member) / Burleson, Winslow (Committee member) / Arizona State University (Publisher)
Created2013
Description
Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. The wide adoption of ASP has motivated several extensions to its modeling language in order to enhance expressivity, such as incorporating aggregates and interfaces with ontologies. Also, in order to overcome the grounding bottleneck of computation in ASP, there are increasing interests in integrating ASP with other computing paradigms, such as Constraint Programming (CP) and Satisfiability Modulo Theories (SMT). Due to the non-monotonic nature of the ASP semantics, such enhancements turned out to be non-trivial and the existing extensions are not fully satisfactory. We observe that one main reason for the difficulties rooted in the propositional semantics of ASP, which is limited in handling first-order constructs (such as aggregates and ontologies) and functions (such as constraint variables in CP and SMT) in natural ways. This dissertation presents a unifying view on these extensions by viewing them as instances of formulas with generalized quantifiers and intensional functions. We extend the first-order stable model semantics by by Ferraris, Lee, and Lifschitz to allow generalized quantifiers, which cover aggregate, DL-atoms, constraints and SMT theory atoms as special cases. Using this unifying framework, we study and relate different extensions of ASP. We also present a tight integration of ASP with SMT, based on which we enhance action language C+ to handle reasoning about continuous changes. Our framework yields a systematic approach to study and extend non-monotonic languages.
ContributorsMeng, Yunsong (Author) / Lee, Joohyung (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Fainekos, Georgios (Committee member) / Lifschitz, Vladimir (Committee member) / Arizona State University (Publisher)
Created2013
Description
Community college students are attracted to courses with alternative delivery formats such as hybrid courses because the more flexible delivery associated with such courses provides convenience for busy students. In a hybrid course, face-to-face, structured seat time is exchanged for online components. In such courses, students take more responsibility for their learning because they assume additional responsibility for learning more of the course material on their own. Thus, self-regulated learning (SRL) behaviors have the potential to be useful for students to successfully navigate hybrid courses because the online components require exercise of more personal control over the autonomous learning situations inherent in hybrid courses. Self-regulated learning theory includes three components: metacognition, motivation, and behavioral actions. In the current study, this theoretical framework is used to examine how inducing self-regulated learning activities among students taking a hybrid course influence performance in a community college science course. The intervention for this action research study consisted of a suite of activities that engage students in self-regulated learning behaviors to foster student performance. The specific SRL activities included predicting grades, reflections on coursework and study efforts in course preparation logs, explanation of SRL procedures in response to a vignette, photo ethnography work on their personal use of SRL approaches, and a personalized study plan. A mixed method approach was employed to gather evidence for the study. Results indicate that community college students use a variety of self-regulated learning strategies to support their learning of course material. Further, engaging community college students in learning reflection activities appears to afford some students with opportunities to refine their SRL skills and influence their learning. The discussion focuses on integrating the quantitative and qualitative data and explanation of the findings using the SRL framework. Additionally, lessons learned, limitations, and implications for practice and research are discussed. Specifically, it is suggested that instructors can foster student learning in hybrid courses by teaching students to engage in SRL processes and behaviors rather than merely focusing on delivery of course content. Such SRL behaviors allow students to exercise greater control over the autonomous learning situations inherent in hybrid courses.
ContributorsManuelito, Shannon Joy (Author) / Buss, Ray R. (Thesis advisor) / Smith, Rachel (Committee member) / Barnett, Joshua (Committee member) / Arizona State University (Publisher)
Created2013
Description
Jazz continues, into its second century, as one of the most important musics taught in public middle and high schools. Even so, research related to how students learn, especially in their earliest interactions with jazz culture, is limited. Weaving together interviews and observations of junior and senior high school jazz players and teachers, private studio instructors, current university students majoring in jazz, and university and college jazz faculty, I developed a composite sketch of a secondary school student learning to play jazz. Using arts-based educational research methods, including the use of narrative inquiry and literary non-fiction, the status of current jazz education and the experiences by novice jazz learners is explored. What emerges is a complex story of students and teachers negotiating the landscape of jazz in and out of early twenty-first century public schools. Suggestions for enhancing jazz experiences for all stakeholders follow, focusing on access and the preparation of future jazz teachers.
ContributorsKelly, Keith B (Author) / Stauffer, Sandra (Thesis advisor) / Tobias, Evan (Committee member) / Kocour, Michael (Committee member) / Sullivan, Jill (Committee member) / Schmidt, Margaret (Committee member) / Arizona State University (Publisher)
Created2013
Description
After natural menopause in women, androstenedione becomes the primary hormone secreted by the residual follicle deplete ovaries. Two independent studies, in rodents that had undergone ovarian follicular depletion, found that higher serum androstenedione levels correlated with increased working memory errors. This led to the hypothesis that androstenedione impairs memory. The current study directly tested this hypothesis, examining the cognitive effects of androstenedione administration in a rodent model. Middle-aged ovariectomized rats received vehicle or one of two doses of androstenedione (4 or 8 mg/kg daily). Rats were tested on a spatial working and reference memory maze battery including the water radial arm maze, Morris maze, and delay-match-to-sample task. Results showed that androstenedione at the highest dose impaired reference memory and working memory, including ability to maintain performance as memory demand was elevated. The latter was true for both high temporal demand memory retention of one item of spatial information, as well as the ability to handle multiple items of spatial working memory information. Glutamic acid decarboxylase (GAD) levels were measured in multiple brain regions to determine whether the gamma-aminobutyric acid (GABA) system mediates androstenedione's cognitive impairments. Results showed that higher entorhinal cortex GAD levels were correlated with poorer Morris maze performance, regardless of androstenedione treatment. These findings suggest that androstenedione, the main hormone produced by the follicle deplete ovary, is detrimental to spatial learning, reference memory, and working memory, and that spatial reference memory performance might be related to the GABAergic system.
ContributorsCamp, Bryan Walter (Author) / Bimonte-Nelson, Heather A. (Thesis advisor) / Olive, Michael F (Committee member) / Conrad, Cheryl D. (Committee member) / Arizona State University (Publisher)
Created2012
Description
Of all the signals and cues that orchestrate the activities of a social insect colony, the reproductives' fertility pheromones are perhaps the most fundamental. These pheromones regulate reproductive division of labor, a defining characteristic of eusociality. Despite their critical role, reproductive fertility pheromones are not evenly expressed across the development of a social insect colony and may even be absent in the earliest colony stages. In the ant Camponotus floridanus, queens of incipient colonies do not produce the cuticular hydrocarbons that serve as fertility and egg-marking signals in this species. My dissertation investigates the consequences of the dramatic change in the quantity of these pheromones that occurs as the colony grows. C. floridanus workers from large, established colonies use egg surface hydrocarbons to discriminate among eggs. Eggs with surface hydrocarbons typical of eggs laid by established queens are nurtured, whereas eggs lacking these signals (i.e., eggs laid by workers and incipient queens) are destroyed. I characterized how workers from incipient colonies responded to eggs lacking queen fertility hydrocarbons. I found that established-queen-laid eggs, incipient-queen-laid eggs, and worker-laid eggs were not destroyed by workers at this colony stage. Destruction of worker-laid eggs is a form of policing, and theoretical models predict that policing should be strongest in incipient colonies. Since there was no evidence of policing by egg-eating in incipient C. floridanus colonies, I searched for evidence of another policing mechanism at this colony stage. Finding none, I discuss reasons why policing behavior may not be expressed in incipient colonies. I then considered the mechanism that accounts for the change in workers' response to eggs. By manipulating ants' egg experience and testing their egg-policing decisions, I found that ants use a combination of learned and innate criteria to discriminate between targets of care and destruction. Finally, I investigated how the increasing strength of queen-fertility hydrocarbons affects nestmate recognition, which also relies on cuticular hydrocarbons. I found that queens with strong fertility hydrocarbons can be transferred between established colonies without aggression, but they cannot be introduced into incipient colonies. Queens from incipient colonies cannot be transferred into incipient or established colonies.
ContributorsMoore, Dani (Author) / Liebig, Juergen (Thesis advisor) / Gadau, Juergen (Committee member) / Pratt, Stephen (Committee member) / Smith, Brian (Committee member) / Rutowski, Ronald (Committee member) / Arizona State University (Publisher)
Created2012