Matching Items (282)
Filtering by

Clear all filters

151716-Thumbnail Image.png
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

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
151718-Thumbnail Image.png
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

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
The purpose of this research project is to explore which musical mode, major and minor, is more effective to motivate children with Asperger's syndrome. To determine the more effective mode, the researcher has conducted experiments with seven students, two female and five male, with Asperger's syndrome on motivation for participation.

The purpose of this research project is to explore which musical mode, major and minor, is more effective to motivate children with Asperger's syndrome. To determine the more effective mode, the researcher has conducted experiments with seven students, two female and five male, with Asperger's syndrome on motivation for participation. Simple dance movements were used as a method of measurement for their motivation. The subjects' task was copying the researcher's simple dance with music, in major or minor mode, or with no music. There were three conditions, no music, major music, and minor music. However, the first dance of the experiments that had no music condition was not measured as it was a pre-test. All of the subjects followed the dance movements three times. The second and third dances of the experiments that were major or minor music conditions were used to determine which musical mode is more effective. To determine subjects' motivation from major and minor music, there were three areas of measurement; competency (level of execution) of movements, facial expression, and concentration on the dance for each experiment. All of the experiments were video-recorded for the evaluation. As a tool of measurement, a seven-point Likert scale was used. In addition, there were three evaluators: a professional music therapist, MT-BC; an undergraduate music therapy student at ASU; and a music education student of master's degree at ASU. In the evaluation on the measurements, the scores of the major music condition were slightly higher than the scores of the minor music condition in all three areas; competency of movements, facial expression, and concentration on the dance. However, the differences of the results in all three areas were not statistically significant.
ContributorsYun, Yeo Kwang (Author) / Crowe, Barbara (Thesis advisor) / Rio, Robin (Committee member) / Stauffer, Sandra (Committee member) / Arizona State University (Publisher)
Created2013
151861-Thumbnail Image.png
Description
In October, 2009, participants of the Arizona Special Supplemental Nutrition Program for Women, Infants and Children (WIC) began receiving monthly Cash Value Vouchers (CVV) worth between six and 10 dollars towards the purchase of fresh fruits and vegetables. Data from the Arizona Department of Health Services (ADHS) showed CVV redemption

In October, 2009, participants of the Arizona Special Supplemental Nutrition Program for Women, Infants and Children (WIC) began receiving monthly Cash Value Vouchers (CVV) worth between six and 10 dollars towards the purchase of fresh fruits and vegetables. Data from the Arizona Department of Health Services (ADHS) showed CVV redemption rates in the first two years of the program were lower than the national average of 77% redemption. In response, the ADHS WIC Food List was expanded to also include canned and frozen fruits and vegetables. More recent data from ADHS suggest that redemption rates are improving, but variably exist among different WIC sub-populations. The purpose of this project was to identify themes related to the ease or difficulty of WIC CVV use amongst different categories of low-redeeming WIC participants. A total of 8 focus groups were conducted, four at a clinic in each of two Valley cities: Surprise and Mesa. Each of the four focus groups comprised one of four targeted WIC participant categories: pregnant, postpartum, breastfeeding, and children with participation ranging from 3-9 participants per group. Using the general inductive approach, recordings of the focus groups were transcribed, hand-coded and uploaded into qualitative analysis software resulting in four emergent themes including: interactions and shopping strategies, maximizing WIC value, redemption issues, and effect of rule change. Researchers identified twelve different subthemes related to the emergent theme of interactions and strategies to improve their experience, including economic considerations during redemption. Barriers related to interactions existed that made their purchase difficult, most notably anger from the cashier and other shoppers. However, participants made use of a number of strategies to facilitate WIC purchases or extract more value out of WIC benefits, such as pooling their CVV. Finally, it appears that the fruit and vegetable rule change was well received by those who were aware of the change. These data suggest a number of important avenues for future research, including verifying these themes are important within a larger, representative sample of Arizona WIC participants, and exploring strategies to minimize barriers identified by participants, such as use of electronic benefits transfer-style cards (EBT).
ContributorsBertmann, Farryl M. W (Author) / Wharton, Christopher (Christopher Mack), 1977- (Thesis advisor) / Ohri-Vachaspati, Punam (Committee member) / Johnston, Carol (Committee member) / Hampl, Jeffrey (Committee member) / Dixit-Joshi, Sujata (Committee member) / Barroso, Cristina (Committee member) / Arizona State University (Publisher)
Created2013
151975-Thumbnail Image.png
Description
ABSTRACT The phenomenon of cyberbullying has captured the attention of educators and researchers alike as it has been associated with multiple aversive outcomes including suicide. Young people today have easy access to computer mediated communication (CMC) and frequently use it to harass one another -- a practice that many researchers

ABSTRACT The phenomenon of cyberbullying has captured the attention of educators and researchers alike as it has been associated with multiple aversive outcomes including suicide. Young people today have easy access to computer mediated communication (CMC) and frequently use it to harass one another -- a practice that many researchers have equated to cyberbullying. However, there is great disagreement among researchers whether intentional harmful actions carried out by way of CMC constitute cyberbullying, and some authors have argued that "cyber-aggression" is a more accurate term to describe this phenomenon. Disagreement in terms of cyberbullying's definition and methodological inconsistencies including choice of questionnaire items has resulted in highly variable results across cyberbullying studies. Researchers are in agreement however, that cyber and traditional forms of aggression are closely related phenomena, and have suggested that they may be extensions of one another. This research developed a comprehensive set of items to span cyber-aggression's content domain in order to 1) fully address all types of cyber-aggression, and 2) assess the interrelated nature of cyber and traditional aggression. These items were administered to 553 middle school students located in a central Illinois school district. Results from confirmatory factor analyses suggested that cyber-aggression is best conceptualized as integrated with traditional aggression, and that cyber and traditional aggression share two dimensions: direct-verbal and relational aggression. Additionally, results indicated that all forms of aggression are a function of general aggressive tendencies. This research identified two synthesized models combining cyber and traditional aggression into a shared framework that demonstrated excellent fit to the item data.
ContributorsLerner, David (Author) / Green, Samuel B (Thesis advisor) / Caterino, Linda (Committee member) / Atkinson, Robert (Committee member) / Nakagawa, Kathryn (Committee member) / Arizona State University (Publisher)
Created2013
151780-Thumbnail Image.png
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

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
151793-Thumbnail Image.png
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

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
151653-Thumbnail Image.png
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

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
151346-Thumbnail Image.png
Description
Autism Spectrum Disorder (ASD) is experienced in a variety of ways within families particularly among siblings with and without ASD. The effects of ASD on sibling relationships are integral to family life. While some studies have examined sibling relationships, research regarding sibling roles exhibited during play activities and social interactions

Autism Spectrum Disorder (ASD) is experienced in a variety of ways within families particularly among siblings with and without ASD. The effects of ASD on sibling relationships are integral to family life. While some studies have examined sibling relationships, research regarding sibling roles exhibited during play activities and social interactions is lacking. Further, siblings' voices are rarely revealed in research on play. In response to a need for greater understanding of the role of play among siblings impacted by ASD, this dissertation used a cultural historical activity theory lens to understand how play and social interactions evolved among siblings since childhood development is informed by access to and participation in play. Siblings may be considered actors with unique cultural histories as they create and re-create their own identities through play. In this study, an emphasis was placed on the complex processes siblings experience while locating their own niche with their families. The study focused on the use of a variety of tools, division of labor, the rules families utilized to interact and how these rules were disturbed. As a result, the study offers a more complete understanding of how play and social interactions affect the ways ASD impact siblings, families, and community members. This study provides holistic views of the development and impact of sibling play on identity development and relationships.
ContributorsPapacek, Amy M (Author) / Kozleski, Elizabeth B. (Thesis advisor) / Tobin, Joseph (Committee member) / Swadener, Beth B (Committee member) / Arizona State University (Publisher)
Created2012
Description
This thesis introduces the Model-Based Development of Multi-iRobot Toolbox (MBDMIRT), a Simulink-based toolbox designed to provide the means to acquire and practice the Model-Based Development (MBD) skills necessary to design real-time embedded system. The toolbox was developed in the Cyber-Physical System Laboratory at Arizona State University. The MBDMIRT toolbox runs

This thesis introduces the Model-Based Development of Multi-iRobot Toolbox (MBDMIRT), a Simulink-based toolbox designed to provide the means to acquire and practice the Model-Based Development (MBD) skills necessary to design real-time embedded system. The toolbox was developed in the Cyber-Physical System Laboratory at Arizona State University. The MBDMIRT toolbox runs under MATLAB/Simulink to simulate the movements of multiple iRobots and to control, after verification by simulation, multiple physical iRobots accordingly. It adopts the Simulink/Stateflow, which exemplifies an approach to MBD, to program the behaviors of the iRobots. The MBDMIRT toolbox reuses and augments the open-source MATLAB-Based Simulator for the iRobot Create from Cornell University to run the simulation. Regarding the mechanism of iRobot control, the MBDMIRT toolbox applies the MATLAB Toolbox for the iRobot Create (MTIC) from United States Naval Academy to command the physical iRobots. The MBDMIRT toolbox supports a timer in both the simulation and the control, which is based on the local clock of the PC running the toolbox. In addition to the build-in sensors of an iRobot, the toolbox can simulate four user-added sensors, which are overhead localization system (OLS), sonar sensors, a camera, and Light Detection And Ranging (LIDAR). While controlling a physical iRobot, the toolbox supports the StarGazer OLS manufactured by HAGISONIC, Inc.
ContributorsSu, Shih-Kai (Author) / Fainekos, Georgios E (Thesis advisor) / Sarjoughian, Hessam S. (Committee member) / Artemiadis, Panagiotis K (Committee member) / Arizona State University (Publisher)
Created2012