the proceedings contain 76 papers. the special focus in this conference is on computerscience and Educational Informatization. the topics include: A Summary Research of the current Status, Hot Spots and trends in STE...
ISBN:
(纸本)9789819994915
the proceedings contain 76 papers. the special focus in this conference is on computerscience and Educational Informatization. the topics include: A Summary Research of the current Status, Hot Spots and trends in STEM Education: Visual Analysis Based on Relevant Literature Published in CNKI Database;research on the current Situation and Enhancement Strategies of Information Technology Teaching Ability of Teachers in Rural Teaching Points;research on User Profile of Game Products Based on Self-determination theory;knowledge Graph Embedding Based on Triple Multilayer Perceptron;research on Recognition of Official Script in Natural Environment;research on Information Literacy Evaluation Framework and Its Indicator Interaction Relationship;evolutionary Game Analysis to Promote the Improvement of Youth Digital Literacy from the Perspective of Multiple Collaboration;research on Construction of Student Academic Early Warning Model Based on Ensemble Learning;Generating One-Turn Dialogue from Given Keywords Based on GPT-2(Chinese) for Oral Chinese Teaching;research on the Cultivation of Media Literacy Among Adolescents from the Perspective of Smart Education;exploring the Establishment and Implementation of a Teaching Evaluation System Based on Value-Added Assessment;exploration and practice of Operating System Curriculum Reform Based on the Integration of science and Education;teaching Quality Evaluation of Online Courses Based on Cloud Model and Entropy Weight;curling Strategy Teaching Case Design Based on Deep Reinforcement Learning;improving Programming Education Based on Programming Contest Problems: the Algorithm Implementation for the Constructive Proof of Euler Graph;research on the Teaching Model of Interdisciplinary Computational thinking Cultivating from the Perspective of Problem-Solving.
the paper adds the one-counter one-way finite automaton [6] to the list of classical computing devices having quantum counterparts more powerful in some cases. Specifically, two languages are considered, the first is ...
详细信息
Simulation of global illumination in 3D scenes is a computationally expensive task. One of the goals of the project HiQoS (High Performance Multimedia Services with Quality of Service Guarantees) was to develop and te...
详细信息
In this paper, we present the results of our work that seeks to negotiate the gap between low-level features and high-level concepts in the domain of web document retrieval. this work concerns a technique, latent sema...
详细信息
General Game Playing (GGP) is a specially designed environment for creating and testing competitive agents which can play variety of games. the fundamental motivation is to advance the development of various artificia...
详细信息
the proceedings contain 37 papers. the special focus in this conference is on theory and practice of Informatics. the topics include: Software architecture for distributed reactive systems;a logical basis for modular ...
ISBN:
(纸本)3540652604
the proceedings contain 37 papers. the special focus in this conference is on theory and practice of Informatics. the topics include: Software architecture for distributed reactive systems;a logical basis for modular software and systems engineering;from quartets to phylogenetic trees;reuse methods for construction of parallel software;compiling horn-clause rules in IBM’s business system 12, an early experiment in declarativeness;models of computation, riemann hypothesis, and classical mathematics;security of electronic money;algorithms based on randomization and linear and semidefinite programming;distributed systems technology for electronic commerce applications;parallel interactive media server systems;online routing problems for broadband networks;some prospects for efficient fixed parameter algorithms;system infrastructure for digital libraries;an introduction to cryptology;authoring structured multimedia documents;engineering software and software engineering;efficient communication schemes;audit of information systems;towards the use of dynamic documents in business processes;computational power of BSP computers;modeling of hypermedia applications;on the klee’s measure problem in small dimensions;yet another modular technique for efficient leader election;regulated grammars with leftmost derivation;some results on the modelling of spatial data;randomized meldable priority queues;the reconstruction of convex polyominoes from horizontal and vertical projections and behavioral safety in a model with multiple class objects.
To cope withthe complexity of large systems, one usually makes use of hierarchical structures in their models. To detect and to remove design errors as soon as possible, these models must be analyzed in early stages ...
详细信息
A partially occluded image is the one that consists of a number of objects that are partially obstructed by others. this study is describing implementation details and experimental results for the online validation al...
详细信息
A new version of the Belief SEEKER software that incorporates some aspects of rough set theory is discussed in this paper. the new version is capable of generating certain belief networks (for consistent data) and pos...
详细信息
In this paper a recurrent network, which consists of O(√mlogm) RBF (radial basis functions) units with maximum norm employing any activation function that has different values in at least two nonnegative points, is c...
详细信息
暂无评论