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
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
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
Lecture Notes in Computer Science
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
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
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
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. ...
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
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
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  can be used to generate finite systems. ...doi:10.1109/icse.2013.6606751 dblp:conf/icse/DongSL04 fatcat:nbflxs4zmndjrigttljqze5s2a
Lecture Notes in Computer Science
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
Lecture Notes in Computer Science
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
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, 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
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. ...
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