Filters








1,070 Hits in 3.9 sec

Modeling a Student's Behavior in a Tutorial-Like System Using Learning Automata

B.J. Oommen, M.K. Hashem
2010 IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)  
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

B.J. Oommen, M.K. Hashem
2010 IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)  
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]

B. John Oommen, M. Khaled Hashem
2012 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

Examining the learning effects of a low-cost haptic-based virtual reality simulator on laparoscopic cholecystectomy

Chung Hyuk Park, Kenneth L. Wilson, Ayanna M. Howard
2013 Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems  
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]

Christian A. Hammerschmidt, Radu State, Sicco Verwer
2017 arXiv   pre-print
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  
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)

Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke, Marc Herbstritt
2016 Dagstuhl Reports  
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

Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha Gokhale, Larry Howard, Gabor Karsai, T. John Koo, Xenofon Koutsoukos, Douglas C. Schmidt
2005 ACM Transactions on Embedded Computing Systems  
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

Jin Song Dong, Jun Sun, Yang Liu
2013 2013 35th International Conference on Software Engineering (ICSE)  
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]

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby
2005 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

Logic and Compositional Verification of Hybrid Systems [chapter]

André Platzer
2011 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

T24S : Modified TPS Activity for Mathematical Courses to Improve Students' Fundamental Knowledge

Sunita M. Dol, S. A. Halkude
2016 Journal of Engineering Education Transformations  
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]

Edward Loper, Steven Bird
2002 arXiv   pre-print
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  
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

Fujun Wang, Zining Cao, Lixing Tan, Hui Zong
2020 IEEE Access  
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