The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper presents a new method for Computer Hardware Experiment teaching. Previous hardware experiments of computer is built on a computer connected to a hardware equipment locally, and then student operate the hardware devices on the switches, buttons, etc. to carry out experiments and verify the developed hardware code is correct. Such experimental methods have lots of significant limitations...
The spread of scientific knowledge was most marked in recent decades with the advent of distance education. It was possible because advances like the Internet and the development of Learning Management Systems (LMS) were improved increasingly. However, the large amount of information available is not sufficient to ensure the development of future learners in technical disciplines, such as Computer...
DBLP (Digital Bibliography & Library Project) has the huge collection (around 3.4 million) of journal articles with its meta data, papers published in various national and international conferences, and other number of online publications in the field of computer science. Research data on DBLP increases enormously which arises many research problems in the domain of bibliography data network analysis...
Though some games for visually impaired persons have been developed, most of games that use only auditory information present challenges for sighted persons. Moreover, unfortunately, it is still difficult for visually impaired persons to play the same game with sighted persons and for sighted and visually impaired persons to share a common subject. Thus, we developed a barrier-free game that both...
The evolution of the Internet and the number of users require the establishment of more sophisticated and efficient systems that must keep track of the entourage. This development requires the establishment of fast and sharp and specialized IRS, to answer a very specific need. In response, these systems carry out several steps, including the enrichment or reformulation of queries. The enrichment of...
Does socioeconomic status (SES) affect the way that end users use software? Previous work in inclusiveness, such as the recent work on gender-inclusiveness in software development, suggests that differences between populations can impact software use.
La rehabilitación física de pacientes está sufriendo una modificación en su forma con la llegada de las nuevas tecnologías que permiten captar el movimiento de los pacientes. Esto supone un gran avance que facilita la repetición constante de los ejercicios con una correcta monitorización de posibles errores, la guía para que los pacientes realicen los ejercicios de forma correcta, evita costosos e...
Traveling salesman problem (TSP) is studied as a combinatorial optimization problem—a problem that attempts to determine an optimal object from a finite set of objects—which is simple to state but difficult to solve. It is a nondeterministic polynomial-time hard problem, hence, exploration on developing algorithms for the TSP has focused on approximate methods above and beyond exact methods. The mission...
In today's world, there are number of transactions can be performed on social media. In such distributed environment where timely accessing of data is important, it becomes difficult to generate strong association rules. So it is necessary to reduce these rules for increasing rule reduction rate. This paper uses w-Tabular algorithm which combines weight assignment method and Quine-Mccluskey method...
Hybrid sets are generalizations of sets and multisets, in which the multiplicities of elements can take any integers. This construction was proposed by Whitney in 1933 in terms of characteristic functions. Hybrid sets have been used by combinatorists to give combinatorial interpretationsfor several generalizations of binomial coefficients and Stirling numbers and by computer scientists to design fast...
This paper is an extended abstract of an invited talk of the samename, given at SYNASC 2016. It describes a sort of case study of howideas from computational logic (specifically Satisfiability ModuloTheory solving) provide new algorithms in symbolic computing. Inparticular, it describes how ideas from the NLSAT solver led to a newkind of Cylindrical Algebraic Decomposition.
Satisfiability Checking is a relatively young research area, aiming at the development of efficient software technologies for checking the satisfiability of existentially quantified logical formulas. Besides the success story of SAT solving for propositional logic, SAT-modulo-theories (SMT) solvers offer sophisticated solutions for different theories. When targeting arithmetic theories, SMT solvers...
Convolutional Neural Networks (CNNs) have delivered impressive state-of-the-art performances for many vision tasks, while the computation costs of these networks during test-time are notorious. Empirical results have discovered that CNNs have learned the redundant representations both within and across different layers. When CNNs are applied for binary classification, we investigate a method to exploit...
Aiming at the design of Human-Computer Interaction (HCI) course system in software engineering, the HCI course system in Stanford University and the teaching practice details of related courses are analysed and studied. We sum up nearly five-years of teaching experience, propose a theoretical knowledge system of three levels in HCI, and build up a suitable road to reform and practice the course system.
In recent years, with the rise of the concept of Computational Thinking, the issue about College Computer teaching reforms has received wide attention. A high percentage of the research nowadays focuses on how to impart knowledge of computer in the perspective of computational thinking. But more importantly, the research ignores an important way to train thinking — practice. This paper starts with...
With the emergence of a variety of data cloud services, especially composite data cloud services, service trustworthiness problem is particularly prominent. Data cloud service credibility becomes focus of cloud service consumers. Data cloud service is essentially a Web service and its quality is associated with the Web service evolution process. In this paper, considering how provenance information,...
Interconnected computer systems and services using networks have improved the dependence on the stored accumulated data. Interconnected systems via network, in turn, could expedite security attacks. Recently, network security and cryptography techniques have evolved, leading to the advancement of biometric-based smart cards technique to implement the security of networks. In this paper, we demonstrated...
Many biclustering algorithms have been proposed in analyzing the gene expression data and ensemble biclustering methods can improve performance of the biclustering algorithm. We propose a new method of obtaining a variety of constituent biclusters which use different quality measures of bicluster. To demonstrate the efficiency of our methods, experiment on six real gene expression data shows the diversity...
Computational thinking is central to recent approaches aimed at engaging K-12 students in computer science. Many strategies and metrics have been proposed to foster and measure such skills. The poster presents an empirical study which measures the understanding, recognition and rule construction ability of rising 3rd to 5th grade students from underrepresented communities. This poster also focuses...
Enrolments in North American undergraduate computer science have been booming in recent years, and many CS departments have been struggling to meet student demand. We surveyed 78 CS professors, instructors, staff, and administrators to see how the enrolment boom has been affecting their practice; and to see how departments are responding in terms of policy. We asked participants to tell us what factors...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.