Computer and information sciences topic list of research papers
-
Applications = Components + GLoo
Abstract We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an application. This principle is best captured by the application ...
2007 / Markus Lumpe -
Preface2006 / Zhiming Liu, Luís Barbosa
-
Encoding an Object Calculus into Interaction Nets
Abstract We propose an encoding of an object calculus into interaction nets in two stages. First, we make the calculus fully explicit, i.e. with explicit substitutions, duplications and erasures. Then, we use this explicit calculus to produce an...
2005 / Fabien Fleutot -
Web Services and Interoperability for the Maude Termination Tool
Abstract This paper presents the Maude Termination Tool (MTT) version 1.5. MTT takes Maude programs as inputs and tries to prove them terminating by applying different transformation techniques and by using existing termination tools as back-ends....
2009 / Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez -
Secure cross-domain cookies for HTTP2013 / Paul Rabinovich
-
Temporal Assertions using AspectJ
Abstract We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked during program-execution by an automaton-based approach...
2006 / Volker Stolz, Eric Bodden -
Building Inter Cluster Movement Estimation (ICME) Model-A Step by Step Approach
Abstract One of the most well-known techniques in data mining is clustering. This paper presents a scenario of introducing new unclustered information to the already clustered system. Consequently, there is an occurrence of movement of data points...
2015 / A.M. Rajee, F. Sagayaraj Francis -
Algorithms for Automatic Generation of Logical Questions on Mobile Devices
Abstract In this paper, we present algorithms for automatic generation of logic reasoning questions. The algorithms are able to construct questions that are solvable with unique solutions. The algorithms employ AI techniques such as semantic...
2012 / Kun Wang, Tao Li, Jungang Han, Yani Lei -
Facial Expression Recognition Based on SVM in E-learning
Abstract Facial expression is one of the most powerful channels of nonverbal communication which contains plenty of affective information. Recognition of facial expression and sending them back to the teacher is potentially helpful in E-learning. In ...
2012 / Liyuan Chen, Changjun Zhou, Liping Shen -
Metacognitive regulation and in-depth learning. A study on the students preparing to become teachers
Abstract Internationally, various studies have been conducted on the effects of metacognitive intervention on learning approaches. We couldn’t find research on learning and metacognitive development of students preparing to become future educators...
2011 / Camelia-Nadia Bran, Evelina-Cornelia Balas -
Teacher education in 140 characters - microblogging implications for continuous education, training, learning and personal development
Abstract The generic purpose of this paper is to explore the way teachers’ activities and continuous education blend with the microblogging technology. The research question focused on whether and how microblogging succeeds to be a quality factor in ...
2011 / Gabriela Grosseck, Carmen Holotescu -
An Improved PageRank Method based on Genetic Algorithm for Web Search
Abstract Web search engine has become a very important tool for finding information efficiently from the massive Web data. Based on PageRank algorithm, a genetic PageRank algorithm (GPRA) is proposed. With the condition of preserving PageRank...
2011 / Lili Yan, Zhanji Gui, Wencai Du, Qingju Guo -
The Research of Ontology-based Scientist Resources Service Platform
Abstract By the combination of scientist resource areas, the Ontology-based service platform for scientists, namely, resource SRSP has been studied in this paper, in which the scientist resources MIS systems has been designed, the Ontology-based...
2011 / Gan JianHou, Wen Bin, Li ShuRen, Xu ShiTing, Yan BaoPing -
Study of Network Optimization Method Based on ACL
Abstract ACL acts as an important role in network access control, network traffic flow identify and network strategy implement, ACL designing and application will evidently affect on network performance. To decreasing packet access control delay and ...
2011 / Liu Zhian -
An Energy Efficient and Load Balancing Distributed Image Compression Algorithm in WMSNs
Abstract According to the problem that resource-constrained always restricts image transmission in the wireless multimedia sensor networks (WMSNs), this paper combines with theory of parallel computing and puts forward a kind of energy efficient and ...
2011 / Feng Tian, Jia Liu, Enyan Sun, Chuanyun Wang -
Motivating factors in online courses
Abstract This study aims at determining the factors that increase the motivation of students in an online course conducted by a researcher. In this framework, the students were asked to explain their opinions about the factors increasing their...
2010 / Kıymet Selvi -
Automated Analysis of Exam Questions According to Bloom's Taxonomy
Abstract Bloom's Taxonomy is a classification of learning objectives within education that educators set for students. The cognitive domain within this taxonomy is designed to verify a student's cognitive level during a written examination....
2012 / Nazlia Omar, Syahidah Sufi Haris, Rosilah Hassan, Haslina Arshad, Masura Rahmat, et al. -
Refinement is complete for implementations2005 / Michael Huth
-
A hardware solution for real-time intelligent fingerprint acquisition2012 / Rosario Arjona, Iluminada Baturone
-
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
Abstract Many proof search strategies can be expressed as restrictions on the order of application of the rules of the sequent calculus. Properties of these strategies are then shown by permutation arguments, such as showing that a given strategy is ...
2005 / Tatjana Lutovac, James Harland