Computer and information sciences topic list of research papers
-
SpinS: Extending LTSmin with Promela through SpinJa
Abstract We show how Promela can be supported by the high-performance generic model checker LTSmin. The success of the Spin model checker has made Promela an important modeling language. SpinJa was created as a Java implementation...
2013 / Freark van der Berg, Alfons Laarman -
HASCH: High Performance Automatic Spell Checker for Portuguese Texts from the Web
Abstract The rise of the Web 2.0 caused a real democratization in the context of data generation. These data are mostly provided in the form of texts, ranging from the reports provided by news portals, using a formal language, to comments in blog...
2012 / G. Andrade, F. Teixeira, C.R. Xavier, R.S. Oliveira, L.C. Rocha, et al. -
Parallelizing Alternating Direction Implicit Solver on GPUs
Abstract We present a parallel Alternating Direction Implicit (ADI) solver on GPUs. Our implementation significantly improves ex- isting implementations in two aspects. First, we address the scalability issue of existing Parallel Cyclic Reduction...
2013 / Zhangping Wei, Byunghyun Jang, Yaoxin Zhang, Yafei Jia -
Markov Chain Analysis of Agent-based Evolutionary Computing in Dynamic Optimization
Abstract In this paper a Markov model for Evolutionary Multi-Agent System is recalled. The model allows to study dynamic features of the computation and increases understanding the considered classes of systems by e.g., proving the ergodicity of the ...
2013 / Aleksander Byrski, Robert Schaefer -
Comparative Performance Analysis of Machine Learning Classifiers in Detection of Childhood Pneumonia Using Chest Radiographs
Abstract This work extends PneumoCAD, a Computer-Aided Diagnosis system for detecting pneumonia in infants using radiographic images [1], with the aim of improving the system's accuracy and robustness. We implement and compare three contemporary...
2013 / Rafael T. Sousa, Oge Marques, Fabrizzio Alphonsus A.M.N. Soares, Iwens I.G. Sene, Leandro L.G. de Oliveira, et al. -
Frequent Items Mining Acceleration Exploiting Fast Parallel Sorting on the GPU
Abstract In this paper, we show how to employ Graphics Processing Units (GPUs) to provide an effcient and highperformance solution for finding frequent items in data streams. We discuss several design alternatives and present an implementation that...
2012 / Ugo Erra, Bernardino Frola -
Quantitative Verification of WiMAX Traffic Shaping Solutions
Abstract The IEEE 802.16 (WiMAX) standard defines a set of QoS sensitive mechanisms for regulating the access to Broadband Wireless networks. In this paper we present a formal quantitative verification study of different Traffic Shaping (TS)...
2012 / Paolo Ballarini, Jalel Ben-Othman, Lynda Mokdad -
Users’ classification-based call admission control with adaptive resource reservation for LTE-A networks
Abstract In this paper, we introduce the user’s privileges and traffic maximum delay tolerance as additional dimensions in the call admission control processes to efficiently control the utilization of LTE-A network resources. Based on this idea, we ...
2016 / Salman Ali AlQahtani -
Using Internet for Learning Vocabulary among Second Language Learners in a Suburban School
Abstract Vocabulary learning is usually dealt with when learners come across new words while doing reading or listening tasks in class. Different techniques have been adopted by second language learners in order to learn vocabulary. This paper...
2013 / Hema Rosheny Mustafa, Noridah Sain, Noor Zainab Abdul Razak -
Mobility and Information Flow: Percolation in a Multi-Agent Model
Abstract In real world situations, each person is generally in contact with only a small fraction of the entire population and exchange information through these interactions. Their number and their frequency vary from one to another individual and...
2012 / Martine Collard, Philippe Collard, Erick Stattner -
Using the Triangle Inequality to Accelerate Density based Outlier Detection Method
Abstract Discovering outliers in a collection of patterns is a very well known problem that has been studied in various application domains. Density based technique is a popular one for finding outliers in a dataset. This technique calculates...
2012 / Bidyut Kr. Patra -
Public information: On why and when multiple information sources are more effective than single information sources in communication about CCS
Abstract The present experimental research shows that communication about CCS to the public is most likely to be effective when multiple stakeholders communicate information about CCS in collaboration instead of doing so separately. Furthermore,...
2009 / Emma ter Mors, Mieneke W.H. Weenig, Naomi Ellemers, Dancker D.L. Daamen, Marjolein de Best-Waldhober -
BARI+: A Biometric Based Distributed Key Management Approach for Wireless Body Area Networks2010 / Khaliq-ur-Rahman Raazi Syed Muhammad, Heejo Lee, Sungyoung Lee, Young-Koo Lee
-
A Hybrid Adaptive Routing Algorithm for Event-Driven Wireless Sensor Networks2009 / Carlos M. S. Figueiredo, Eduardo F. Nakamura, Antonio A. F. Loureiro
-
A Comparative Study of Wireless Sensor Networks and Their Routing Protocols2010 / Debnath Bhattacharyya, Tai-hoon Kim, Subhajit Pal
-
Time-Free Solution to Hamilton Path Problems Using P Systems with d -Division2013 / Tao Song, Xun Wang, Hongjiang Zheng
-
Layer-Based Data Aggregation and Performance Analysis in Wireless Sensor Networks2013 / Hongju Cheng, Yongzhao Chen, Naixue Xiong, Feifei Li
-
A New Denoising System for SONAR Images2009 / Alexandru Isar, Sorin Moga, Dorina Isar
-
Generating the Depth Map from the Motion Information of H.264-Encoded 2D Video Sequence2010 / Mahsa T. Pourazad, Panos Nasiopoulos, Rabab K. Ward
-
Subliminal attention bias modification training in socially anxious individuals2013 / Keren Maoz, Rany Abend, Nathan A. Fox, Daniel S. Pine, Yair Bar-Haim