Skip to main content

Showing 1–4 of 4 results for author: Savage, J

Searching in archive cs. Search in all archives.
.
  1. arXiv:2204.13700  [pdf

    cs.CY cs.LG

    Identifying Critical LMS Features for Predicting At-risk Students

    Authors: Ying Guo, Cengiz Gunay, Sairam Tangirala, David Kerven, Wei **, Jamye Curry Savage, Seung** Lee

    Abstract: Learning management systems (LMSs) have become essential in higher education and play an important role in hel** educational institutions to promote student success. Traditionally, LMSs have been used by postsecondary institutions in administration, reporting, and delivery of educational content. In this paper, we present an additional use of LMS by using its data logs to perform data-analytics… ▽ More

    Submitted 27 April, 2022; originally announced April 2022.

  2. arXiv:2010.06116  [pdf, other

    cs.RO eess.SY

    Mass Estimation in Manipulation Tasks of Domestic Service Robots using Fault Reconstruction Techniques

    Authors: Marco Negrete, Jesús Savage, José Avendaño

    Abstract: Manipulation is a key capability in domestic service robots, as can be seen in the rulebooks of last Robocup@Home editions. Currently, object recognition is performed based mostly on visual information. Some robots use also 3D information such as point clouds or laser scans but, to the knowledge of authors, robots don't use physical properties to improve object recognition. Estimation of an object… ▽ More

    Submitted 12 October, 2020; originally announced October 2020.

    Comments: Files to reproduce results can be found in https://github.com/RobotJustina/RCF-MathWorks-2020-14/

  3. arXiv:1809.03210  [pdf, other

    cs.RO

    Intelligent flat-and-textureless object manipulation in Service Robots

    Authors: Abel Pacheco-Ortega, Hugo Estrada, Edgar Vázquez, Reynaldo Martell, Jesús Hernández, Julio Cruz, Edgar Silva, Jesus Savage, Luis Contreras

    Abstract: This work introduces our approach to the flat and textureless object gras** problem. In particular, we address the tableware and cutlery manipulation problem where a service robot has to clean up a table. Our solution integrates colour and 2D and 3D geometry information to describe objects, and this information is given to the robot action planner to find the best gras** trajectory depending o… ▽ More

    Submitted 10 September, 2018; originally announced September 2018.

    Comments: In the Workshop "Towards Robots that Exhibit Manipulation Intelligence", IEEE/RSJ IROS2018 (Accepted)

  4. Marimba: A Tool for Verifying Properties of Hidden Markov Models

    Authors: Noe Hernandez, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth

    Abstract: The formal verification of properties of Hidden Markov Models (HMMs) is highly desirable for gaining confidence in the correctness of the model and the corresponding system. A significant step towards HMM verification was the development by Zhang et al. of a family of logics for verifying HMMs, called POCTL*, and its model checking algorithm. As far as we know, the verification tool we present her… ▽ More

    Submitted 28 October, 2015; v1 submitted 20 July, 2015; originally announced July 2015.

    Comments: Tool paper accepted in the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015)