Computer and information sciences topic list of research papers
-
Exploring subdomain variation in biomedical language2011 / Thomas Lippincott, Diarmuid Ó Séaghdha, Anna Korhonen
-
The Role of Language in Education: Arabic as Case Study
Abstract It is obvious that languages play an important role in various aspects of our daily lives. Their role is not only limited to communication, rather it extends into the vast branches of knowledge and human sciences. Languages are capable of...
2013 / Ashraf M. Zedan, Fakhrul Adabi Bin Abdul Kadir, Mouhammed Bin Yusof, Yusmini Binti Md Yusoff, Norrodzoh Binti Hj Siren, et al. -
System for fast lexical and phonetic spoken term detection in a Czech cultural heritage archive2011 / Josef Psutka, Jan Švec, Josef V Psutka, Jan Vaněk, Aleš Pražák, et al.
-
Link creation and information spreading over social and communication ties in an interest-based online social network2012 / Luca Maria Aiello, Alain Barrat, Ciro Cattuto, Rossano Schifanella, Giancarlo Ruffo
-
Global best Harmony Search with a new pitch adjustment designed for Nurse Rostering
Abstract In this paper, the Harmony Search Algorithm (HSA) is proposed to tackle the Nurse Rostering Problem (NRP) using a dataset introduced in the First International Nurse Rostering Competition (INRC2010). NRP is a combinatorial optimization...
2012 / Mohammed A. Awadallah, Ahamad Tajudin Khader, Mohammed Azmi Al-Betar, Asaju La’aro Bolaji -
Building pattern recognition in topographic data: examples on collinear and curvilinear alignments2011 / Xiang Zhang, Tinghua Ai, Jantien Stoter, Menno-Jan Kraak, Martien Molenaar
-
Operational Termination of Membership Equational Programs: the Order-Sorted Way
Abstract Our main goal is automating termination proofs for programs in rewriting-based languages with features such as: (i) expressive type structures, (ii) conditional rules, (iii) matching modulo axioms, and (iv) context-sensitive rewriting....
2009 / Salvador Lucas, José Meseguer -
A Composite Web Service Supporting User Context to Provide an Adapted Remote Control of High Technology Instruments
Abstract In this paper, we are aiming at providing a complete, plate-form independent, framework, for the remote control of high technology instruments. This is lead by the idea of sharing resources (instruments in this use-case) between entities,...
2006 / Christophe Gravier, Jacques Fayolle -
Refined Bounds on Kolmogorov Complexity for ω-Languages
Abstract The paper investigates bounds on various notions of complexity for ω–languages. We understand the complexity of an ω–languages as the complexity of the most complex strings contained in it. There have been shown bounds on simple and prefix...
2008 / Jöran Mielke -
Dynamic Contextual Adaptation
Abstract When developing systems based on COTS, components need to be adapted in most of the occasions to work under certain conditions which were not initially predicted by their developers. Thus, it is very important to provide systems with the...
2007 / Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel -
A Logical Approach to Hamiltonian Graphs
Abstract Graphs are among the most frequently used structures in computer science. A lot of problems can be modelled using a graph and can then be solved by checking whether the graph satisfies some property. In this work, we are interested in how...
2009 / L. Menasché Schechter -
Mechanised Wire-wise Verification of Handel-C Synthesis
Abstract The compilation of Handel-C programs into net-list descriptions of hardware components has been extensively used in commercial tools but never formally verified. In this paper, we first introduce a variation of the existing semantic model...
2009 / Juan Ignacio Perna, Jim Woodcock -
On Probabilistic Techniques for Data Flow Analysis
Abstract We present a semantics-based technique for analysing probabilistic properties of imperative programs. This consists in a probabilistic version of classical data flow analysis. We apply this technique to pWhile programs, i.e programs written ...
2007 / Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky -
A New Rabin-type Trapdoor Permutation Equivalent to Factoring
Abstract Public key cryptography has been invented to overcome some key management problems in open networks. Although nearly all aspects of public key cryptography rely on the existence of trapdoor one-way functions, only a very few candidates for...
2006 / Katja Schmidt-Samoa -
ARE COMPUTERS AT HOME A FORM OF CONSUMPTION OR AN INVESTMENT? A LONGITUDINAL ANALYSIS FOR JAPAN*2006 / DAIJI KAWAGUCHI
-
Investigation of Neural Networks for Function Approximation
Abstract In this work, some ubiquitous neural networks are applied to model the landscape of a known problem function approximation. The performance of the various neural networks is analyzed and validated via some well-known benchmark problems as...
2013 / Sibo Yang, T.O. Ting, K.L. Man, Sheng-Uei Guan -
A Kind of Sensor the Wireless Network Nodes Design and Implementation of the ARM
Abstract The application in the Underwater Wireless Sensor Network is increasing extensive and the Present situation of the real-time processing of networks nods is very limited.This paper put forward a new solution,which is the novel node design...
2011 / Yun-Juan Li, Yan-jun Fang, ling Chen -
Changes in the pattern of language teaching
Abstract Aim of this paper is to present an effective way of exploring an authentic text while teaching legal English through integrating multimedia into reading, writing, listening speaking and vocabulary tasks. It focuses on the theme of ‘Criminal ...
2009 / Müge Günkan, Nadiran Tanyeli -
Learning a DFT-based sequence with reinforcement learning: a NAO implementation2013 / Boris Durán, Gauss Lee, Robert Lowe
-
Studies About Hot Mix Asphalt Density by Means of Fuzzy Clustering Techniques
Abstract The study of the compaction of an asphalt mix is difficult due to the high number of variables and the non-linear nature of the relationships among them. This research was supported by an experiment in which, in addition to the survey of...
2012 / Antonio Amadore, Gaetano Bosurgi, Orazio Pellegrino