Computer and information sciences topic list of research papers
-
The Role of Agent Interaction in Models of Computing: Panelist Reviews2005 / Peter Wegner, Farhad Arbab, Dina Goldin, Peter McBurney, Michael Luck, et al.
-
Universality of R-automata with Value Copying
Abstract R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks whether there is a constant D such that all words are accepted by some run along...
2009 / Parosh Aziz Abdulla, Pavel Krcal, Wang Yi -
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models
Abstract We provide two examples of Promela models of concurrent, distributed systems, whose associated Kripke structures have more complex symmetry groups than those of models commonly cited in the literature. We present a tool, Spin-to-Grape,...
2005 / Alastair Donaldson, Alice Miller, Muffy Calder -
A Stack-Slicing Algorithm for Multi-Core Model Checking
Abstract The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantage of the additional processing power. With a steady increase...
2008 / Gerard J. Holzmann -
Towards Seamless Merging of Hypertext and Algorithm Animation
Abstract The integration of algorithm animations into hypertext is seen as an important topic today. This paper will present a prototype algorithm animation viewer implemented purely using HTML and JavaScript. The viewer is capable of viewing...
2009 / Ville Karavirta -
The Development of a Portable ECG Monitor Based on DSP
Abstract With the advent of global information, researches of Smart Home system are in the ascendant, the ECG real-time detection, and wireless transmission of ECG become more useful. In order to achieve the purpose we developed a portable ECG...
2012 / CHI Jian Nan, YAN Yan Tao, LIU Meng Chen, YANG Li -
PAPR Reduction with Low Computational Complexity for OFDM Systems
Abstract The partial transmit sequence (PTS) technique has received much attention in reducing the high peak to average power ratio (PAPR) of orthogonal frequency division multiplexing (OFDM) signals, but its exhaustive search of phase factors...
2012 / Jing gao, Jinkuan Wang, Xin Song, Bin Wang -
Simulation and Comparison about MAC Protocols Based on 802.11b
Abstract In this article, some main routing algorithm used in Ad Hoc network, such as DSR, DSDV, TORA and AODV are analyzed with the help of NS2 simulator. Firstly, performances of these four routing protocols are tested in NS2, and then draw a...
2011 / Shuo Zhou, Zongxing Chen, Feiyu Meng -
Automatic topology discovery mechanism for ring-based mine next generation network
Abstract Supported by the concept of Mine Next Generation Network, more and more attention has been paid to the Transmission Layer Platform technology in the mine communication network. It was recommended that MNGN-TLP to be made up of some...
2009 / Xu Zhao, Zhai Wen-yan, Zhang Lin -
Towards evolutionary ambient assisted living systems2009 / Michael J. O’Grady, Conor Muldoon, Mauro Dragone, Richard Tynan, Gregory M. P. O’Hare
-
Customized News Filtering and Summarization System Based on Personal Interest
Abstract Abstract_ In the World Wide Web the information consists large amount of news contents. In Web intelligence Recommendation, filtering, and summarization of Web news have received much attention and also aims to find interesting news to the...
2012 / M.H. Anand babu, G. Mani -
Development of Air Conditional Route Wireless Inspection Robot
Abstract The central air conditioning system is becoming the main part of the modern building. However, the regular cleaning and pipeline inspection rely on human is not only labor-intensive but also less effective. This paper presents the...
2012 / M.F. Yusoff, B.S.K.K. Ibrahim, H. Hamzah, H.A. Kadir -
Formulating Particle Swarm Optimization based Generalized Kernel Function for Kernel-Linear Discriminant Analysis
Abstract Selection of kernel function for solving Kernel-Linear Discriminant Analysis (K-LDA) remains unsolved problem. In this commuication, we propose the method to formulate the Generalized Kernel Function (GKF) for K-LDA.The parameters of the...
2012 / E.S. Gopi, P. Palanisamy -
Design and Implementation of a Pipelined Instruction Decoder for an ASIP DSP
Abstract An Application Specific Instruction set Processor (ASIP), a component used in System-on-a-Chip (SoC) consists of an Instruction Set Architecture called ISA designed according to the application which will be running on the processor. This...
2012 / S. Shanthi Rekha, S. Hema Chitra, A. Kandaswamy -
Periocular Gender Classification using Global ICA Features for Poor Quality Images
Abstract In recent years, the research over emerging trends of biometric has grabbed a lot of attention. Periocular biometric is one such field. Researchers have made attempts to extract computationally intensive local features from high quality...
2012 / Sunita Kumari, Sambit Bakshi, Banshidhar Majhi -
Enrichment/Population of Customized CPR (Computer-based Patient Record) Ontology from Free-text Reports for CSI (Computer Semantic Interoperability)
Abstract CSI (Computer Semantic Interoperability) is a very important issue in healthcare. Ways for heterogeneous computer systems to “understand” important facts from the clinical process for clinical decision support are now beginning to be...
2012 / David Mendes, Irene Pimenta Rodrigues, Carlos Rodriguez-Solano, Carlos Baeta -
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Abstract We study how temporal specifications of reconfigurable component based systems can be hierarchically organised. We do so by extending a previously introduced declarative prototypical language to admit the definition of hierarchical...
2004 / Nazareno Aguirre, Tom Maibaum -
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Abstract The aim of this position paper is to draw a quick overview of the main contributions in abstract interpretation of object-oriented programs, and to draw possible lines of research in this field.
2005 / Francesco Logozzo, Agostino Cortesi -
The Action Environment2004 / Mark van den Brand, Jørgen Iversen, Peter D. Mosses
-
On Cluster-Based Channel Identification
Abstract In recent years, there has been an increasing interest in applying cluster analysis to channel identification and signal detection. The basic principle underlying this kind of approach is that the cluster information is directly related to...
2012 / P. Wang, W. Ser