A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Modeling a Student's Behavior in a Tutorial-Like System Using Learning Automata
2010
IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)
Preserved Fulltext
This paper presents a new philosophy to model the behavior of a student in a tutorial-like system using learning automata (LAs). ...
This paper also discusses the learning system implications of such a meta-LA. Index Terms-Learning automata (LAs), modeling of adaptive systems, student modeling, tutorial-like systems. ...
In particular, we intend to demonstrate how this modeling can successfully be achieved using learning automata (LAs), when the learning cycle is couched within the framework of a tutorial-like system. ...
doi:10.1109/tsmcb.2009.2027220
pmid:19744915
fatcat:gzc4ny3hhbgo3e6jztssktu3de
Modeling a Student–Classroom Interaction in a Tutorial-Like System Using Learning Automata
2010
IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a new philosophy to model the behavior of a student in a tutorial-like system using learning automata (LAs). ...
This paper also discusses the learning system implications of such a meta-LA. Index Terms-Learning automata (LAs), modeling of adaptive systems, student modeling, tutorial-like systems. ...
In particular, we intend to demonstrate how this modeling can successfully be achieved using learning automata (LAs), when the learning cycle is couched within the framework of a tutorial-like system. ...
doi:10.1109/tsmcb.2009.2032414
pmid:19884059
fatcat:ifes5ddjonci3me7ji6ow7ihiu
Modeling a Teacher in a Tutorial-like System Using Learning Automata
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The goal of this paper is to present a novel approach to model the behavior of a Teacher in a Tutorial-like system. ...
The novelty lies in the fact that the learning system has a strategy by which it can deal with increasingly more complex/difficult Environments (or domains from which the learning as to be achieved). ...
Model for Teachers Who Can Provide Hints As mentioned earlier, the Teacher, in our Tutorial-like system, is modeled to use a Socratic-type Domain model. ...
doi:10.1007/978-3-642-34645-3_2
fatcat:cjiu2xieqfayfpckkxxgulrny4
Examining the learning effects of a low-cost haptic-based virtual reality simulator on laparoscopic cholecystectomy
2013
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
As such, the goal of this study is to evaluate the benefits of using a low-cost VR simulation system for providing a method to increase the learning of surgical skills. ...
The specific aim of this study is to examine the efficacy of a low-cost haptic-based VR surgical simulator on improving practicing surgical skills, measured by the change in the learning effect of students ...
Acknowledgements This research was supported in part by PHS Grant UL1 RR025008 from the Clinical and Translational Science Award Program, National Institutes of Health, National Center for Research Resource ...
doi:10.1109/cbms.2013.6627794
dblp:conf/cbms/ParkWH13
fatcat:srsvkicxn5byri7uu3bbn4hvyq
Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Learning these automata often amounts to recovering or reverse engineering the model generating the data despite noisy, incomplete, or imperfectly sampled data sources rather than optimizing a purely numeric ...
Domain expertise and human knowledge about the target domain can guide this process, and typically is captured in parameter settings. ...
Acknowledgements I would like to thank my collages for the valuable discussions and the feedback. ...
arXiv:1707.09430v1
fatcat:rd3vmzlivngf7ixlrngs7zr2qy
Page 489 of Mathematical Reviews Vol. , Issue 94a
[page]
1994
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Like the tutorial, the book is intended to serve both as an overview of the issues in morphology and computational morphology and as a re- view and critique of the literature in computational morphology ...
John (3-CARL-C; Ottawa, ON)
Discretized estimator learning automata. (English summary)
IEEE Trans. Systems Man Cybernet. 22 (1992), no. 6, 1473-1483. ...
Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172)
2016
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The organisers would like to express their gratitude to the participants and the Schloss Dagstuhl team for a productive and exciting seminar.
Learning and Testing ...
Using Glass-Box Techniques in Learning A second idea was using glass-box techniques in automata learning. ...
Learning automata can in this case be used for both learning individual automata as well as learning mediator's automata. ...
doi:10.4230/dagrep.6.4.161
dblp:journals/dagstuhl-reports/BennaceurGHM16
fatcat:7t3jl5y7dfanfjeev3k42nmfau
Introducing embedded software and systems education and advanced learning technology in an engineering curriculum
2005
ACM Transactions on Embedded Computing Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The paper also describes our current efforts in using learning technology to construct, manage, and deliver sophisticated computer-aided learning modules that can supplement the traditional course structure ...
Despite the clear need for knowledge of systems modeling and analysis (covered in electrical and other engineering disciplines) and analysis of computational processes (covered in computer science), few ...
using StateChart-like notations), as well as in additional software tools for verification (using a model checker, such as SMV), or code generators. ...
doi:10.1145/1086519.1086524
fatcat:nln5vwflwbbhxklxpftb47yofm
Build your own model checker in one month
2013
2013 35th International Conference on Software Engineering (ICSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this tutorial, we will briefly survey a variety of model checking techniques. ...
Then we will show how to develop a model checker for a language combining real-time and probabilistic features using the PAT (Process Analysis Toolkit) step-by-step, and show that it could take as short ...
Hence abstraction techniques like zone abstraction [4] can be used to generate finite systems. ...
doi:10.1109/icse.2013.6606751
dblp:conf/icse/DongSL04
fatcat:nbflxs4zmndjrigttljqze5s2a
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than ...
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. ...
Problem Domain Extensions: A main objective of Bogor was to bring sophisticated state-space analyses to a range of systems and software engineering domains. ...
doi:10.1007/11513988_15
fatcat:dpc6ndur3nfbnf7iqa7upl24he
Logic and Compositional Verification of Hybrid Systems
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. ...
In this tutorial, we survey state-of-the-art verification techniques for hybrid systems. In particular, we focus on a coherent logical approach for systematic hybrid systems analysis. ...
are program models for hybrid systems and are formed using the statements and operations in Table 1 . ...
doi:10.1007/978-3-642-22110-1_4
fatcat:7dipdx5p4rbj5k5qcvog5kphea
T24S : Modified TPS Activity for Mathematical Courses to Improve Students' Fundamental Knowledge
2016
Journal of Engineering Education Transformations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Think-Pair-Share (TPS) is a Collaborative, active learning strategy, in which students work on a problem given by an instructor, initially individually, then in pairs, and finally together with the entire ...
This T24S method is useful for Mathematical based courses like Theory of Computation, mathematics, Earthquake Engineering etc. ...
in "Didactic Strategies for Promoting Significant Learning in Formal Languages and Automata Theory" introduced a number of didactic strategies based on a constructivist approach like use of simulators, ...
doi:10.16920/jeet/2016/v0i0/85538
fatcat:wgqji7arqzep3mjak4jizuaqke
NLTK: The Natural Language Toolkit
[article]
2002
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
NLTK, the Natural Language Toolkit, is a suite of open source program modules, tutorials and problem sets, providing ready-to-use computational linguistics courseware. ...
Students augment and replace existing components, learn structured programming by example, and manipulate sophisticated models from the outset. ...
Each tutorial focuses on a single domain, such as tagging, probabilistic systems, or text classification. ...
arXiv:cs/0205028v1
fatcat:f6q3rojqsvbsro3ns3jb3werb4
Page 10262 of Mathematical Reviews Vol. , Issue 2004m
[page]
2004
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Summary: “We begin with a brief tutorial on the problem of learn- ing a finite concept class over a finite domain using membership queries and/or equivalence queries. ...
Summary: “An attempt to formalize heuristic concepts like strings (resp. sequences) ‘typical’ for a probability measure is stated in the paper. ...
Survey on learning-based formal methods: Taxonomy, Applications and Possible future directions
2020
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Learning-based techniques have been extensively applied to learn (a model or model-free) for formal verification and to learn system specifications, and resulted in numerous contributions. ...
in learning models and/or specifications from observed system behaviors automatically. ...
ACKNOWLEDGMENT The authors would like to thank the anonymous referees for their comments that helped to substantially improve the quality of the article. ...
doi:10.1109/access.2020.3000907
fatcat:uiy7d2ellrc4jmzn4eumleeoy4
« Previous
Showing results 1 — 15 out of 1,070 results