Computer and information sciences topic list of research papers
-
Context-free pairs of groups II — Cuts, tree sets, and random walks
Abstract This is a continuation of the study, begun by Ceccherini-Silberstein and Woess (2009) [5], of context-free pairs of groups and the related context-free graphs in the sense of Muller and Schupp (1985) [22]. The graphs under consideration are ...
2011 / Wolfgang Woess -
Mining Hot Topics from Twitter Streams
Abstract Mininghottopicsfrom twitter streamshas attractedalotof attentionin recent years.Traditionalhottopicmining from InternetWeb pages were mainly basedontext clustering.However, comparedtothetextsinWeb pages, twitter texts are relatively short...
2012 / Jing Guo, Peng Zhang, Jianlongtan, Li Guo -
The fat-pyramid and universal parallel computation independent of wire delay2002 / R.I. Greenberg
-
Untraceable Mobile Node Authentication in WSN2010 / Kyusuk Han, Kwangjo Kim, Taeshik Shon
-
A Tableau Calculus for Minimal Modal Model Generation
Abstract Model generation and minimal model generation is useful for fault analysis, verification of systems and validation of data models. Whereas for classical propositional and first-order logic several model minimization approaches have been...
2011 / Fabio Papacchini, Renate A. Schmidt -
Preferential Reasoning for Modal Logics
Abstract Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as...
2011 / Katarina Britz, Thomas Meyer, Ivan Varzinczak -
Generative Version of the FastFlow Multicore Library
Abstract Nowadays, one of the most important challenges in programming is the efficient usage of multicore processors. Many new programming languages and libraries support multicore programming. FastFlow is one of the most...
2011 / Zalán Szűgyi, Norbert Pataki -
Asymptotic analysis of flooding in CSMA-based large scale ad-hoc wireless networks2012 / Hamed Shah-Mansouri, Babak Hossein Khalaj, Seyed Pooya Shariatpanahi, Javier Del Ser, Susana Pérez-Sánchez
-
Political Roles Ontology (PRoles): Enhancing Archival Authority Records through Semantic Web Technologies
Abstract In this paper we present the Political Roles (PRoles) ontology, an OWL 2 DL ontology for the description of political relationships between persons. Building upon existing ontological models, such as the Publishing Roles Ontology (PRO), the ...
2014 / Marilena Daquino, Silvio Peroni, Francesca Tomasi, Fabio Vitali -
Performance analysis of a handoff scheme for two-tier cellular CDMA networks
Abstract A two-tier model is used in cellular networks to improve the Quality of Service (QoS), namely to reduce the blocking probability of new calls and the forced termination probability of ongoing calls. One tier, the microcells, is used for...
2011 / Ahmed Hamad, Ehab Morsy, Sameh Adel -
Digitalized Roads based on GPS Data in a Virtual World
Abstract In this paper an algorithm for implementing a digital map based on the path traveled by a vehicle manipulated in a Virtual World is presented. The algorithm sets the position of a virtual vehicle in a 3D coordinate system and determines the ...
2013 / José Gerardo Carrillo González, J. Arámburo-Lizárraga -
Elastic Memory Management of Virtualized Infrastructures for Applications with Dynamic Memory Requirements
Abstract This paper addresses the impact of vertical elasticity for applications with dynamic memory requirements when running on a virtualized environment. Vertical elasticity is the ability to scale up and scale down the capabilities of a Virtual...
2013 / Germán Moltó, Miguel Caballer, Eloy Romero, Carlos de Alfonso -
Towards Location-based Augmented Reality games
Abstract Location-based games have become more popular thanks to the growth of mobile device's technology. This paper presents a framework for the development of location-based augmented reality games and wARms, an augmented-reality location- based...
2012 / João Jacob, Hugo da Silva, António Coelho, Rui Rodrigues -
CrossMedia: Supporting Collaborative Research of Media Retrieval
Abstract The goal of our new e-science platform is to support collaborative research communities by providing a simple solution to jointly develop semantic- and media search algorithms on common and challenging datasets processed by novel feature...
2013 / Péter Mátételki, László Havasi, Márton Gergó, András Micsik, Ákos Kiss, et al. -
On the existence of infinitely many universal tree-based networks
Abstract A tree-based network on a set X of n leaves is said to be universal if any rooted binary phylogenetic tree on X can be its base tree. Francis and Steel showed that there is a universal tree-based network on X in the case of n = 3, and asked ...
2016 / Momoko Hayamizu -
Diverse Categories of Programming Learning Activities could be Performed within Scratch
Abstract This study presents a set of categories of learning activities which could be performed by the students using the tools of the wellknown educational software Scratch (www.scratch.mit.edu) that is dedicated for the learning of programming by ...
2012 / Maria Kordaki -
University with Mobile Approach ICT
Abstract This article deals with application of mobile model simulation created in project GACR 402/08/1046. Company models with mobile oriented architecture. The outputs of this GACR are theoretical models that describe the design of mobile...
2012 / Monika Simkov, Richard Cimler, Jiri Stepanek -
Probabilistic model-based imitation learning2013 / P. Englert, A. Paraschos, M. P. Deisenroth, J. Peters
-
Decomposition algorithms for data placement problem based on Lagrangian relaxation and randomized rounding2013 / Maciej Drwal, Jerzy Jozefczyk
-
Physical Layer Built-In Security Analysis and Enhancement Algorithms for CDMA Systems2007 / Tongtong Li, Qi Ling, Jian Ren