Computer and information sciences topic list of research papers
-
Pabble: parameterised Scribble2014 / Nicholas Ng, Nobuko Yoshida
-
Contextualized indicators for online failure diagnosis in cellular networks
Abstract This paper presents a novel approach for self-healing in cellular networks based on the application of mobile terminals context information: time, service, activity, identity and, especially, location. Context information is therefore used...
2015 / Sergio Fortes, Raquel Barco, Alejandro Aguilar-García, Pablo Muñoz -
Improving the Performance of Route Control Middleboxes in a Competitive Environment2008 / M. Yannuzzi, X. Masip-Bruin, E. Marin-Tordera, J. Domingo-Pascual, A. Fonte, et al.
-
Reorganizing Complex Network to Improve Large-Scale Multiagent Teamwork2014 / Yang Xu, Pengfei Liu, Xiang Li
-
Tourist Behavior Pattern Mining Model Based on Context2013 / Dong-sheng Liu, Shu-jiang Fan
-
On the Distance Pattern Distinguishing Number of a Graph2014 / Sona Jose, Germina K. Augustine
-
MoTeX-II: structured MoTif eXtraction from large-scale datasets2014 / Solon P Pissis
-
Protein annotation as term categorization in the gene ontology using word proximity networks2005 / Karin Verspoor, Judith Cohn, Cliff Joslyn, Sue Mniszewski, Andreas Rechtsteiner, et al.
-
Distilling structure in Taverna scientific workflows: a refactoring approach2014 / Sarah Cohen-Boulakia, Jiuqiang Chen, Paolo Missier, Carole Goble, Alan R Williams, et al.
-
Deep learning applications and challenges in big data analytics2015 / Maryam M Najafabadi, Flavio Villanustre, Taghi M Khoshgoftaar, Naeem Seliya, Randall Wald, et al.
-
A Distributed Real-time Database Index Algorithm Based on B+ Tree and Consistent Hashing
Abstract This paper proposed a novel method of Distributed real-time database index algorithm based on B+ Tree and consistent hash. In order to determine the storage location of each TAG point in the distributed environment, First of all, every...
2011 / Xianhui Li, Cuihua Ren, Menglong Yue -
Partial joint processing with efficient backhauling using particle swarm optimization2012 / Tilak Rajesh Lakshmana, Carmen Botella, Tommy Svensson
-
Distribution of event complexity in the British Columbia court system an analysis based on the CourBC analytical system2012 / Amir H Ghaseminejad, Paul Brantingham, Patricia Brantingham
-
Supporting Trust and Privacy with an Identity-Enabled Architecture2012 / Amardeo Sarma, Joao Girao
-
Multi-Level Sequential Pattern Mining Based on Prime Encoding
Abstract Encoding is not only to express the hierarchical relationship, but also to facilitate the identification of the relationship between different levels, which will directly affect the efficiency of the algorithm in the area of mining the...
2012 / Sun Lianglei, Li Yun, Yin Jiang -
A Message Sharing System based on Task and Roles Characteristics in Mobile Environment
Abstract The rapid growth of mobile devices and mobile communication technologies in recent years has great influence in our daily life. These technologies have also created a huge potential for enabling collaborative work. Usually, a collaborative...
2011 / Sharon Yih-Jiun Lee, Kai-Wen Lien, Chih-Wei Peng -
Finding Number of Clusters before Finding Clusters
Abstract Determining number of clusters present in a data set is an important problem in cluster analysis. Conventional clustering techniques generally assume this parameter to be user supplied. There exist very few techniques that can solve the...
2012 / Malay K. Pakhira -
Symbolic Model Checking for Channel-based Component Connectors
Abstract The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specification formalisms is a branching time logic that allows to reason...
2007 / Sascha Klüppelholz, Christel Baier -
The Tableau Workbench
Abstract The Tableau Workbench (TWB) is a generic framework for building automated theorem provers for arbitrary propositional logics. The TWB has a small core that defines its general architecture, some extra machinery to specify tableau-based...
2009 / Pietro Abate, Rajeev Goré -
Tank Monitoring: A pAMN Case Study
Abstract The introduction of probabilistic behaviour into the B-Method is a recent development. In addition to allowing probabilistic behaviour to be modelled, the relationship between expected values of the machine state can be expressed and...
2005 / Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne