: Existing adaptive e-learning methods are supported by student (user) profiling for capturing student characteristics, and course structuring for organizing learning materials acc...
Frederick W. B. Li, Rynson W. H. Lau, Parthiban Dh...
This paper considers the development of envelope methods as a tool for simulation. Envelope methods are based on the construction of simple envelopes to functions. The proposed en...
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
: We address the problems of structuring and annotation of layout-oriented documents. We model the annotation problems as the collective classification on graph-like structures wit...
A novel background generation method based on nonparametric background model is presented for background subtraction. We introduce a new model, named as effect components descript...