Computer and information sciences topic list of research papers
-
Attribute-based versions of Schnorr and ElGamal2015 / Javier Herranz
-
Pattern discovery in data streams under the time warping distance2012 / Machiko Toyoda, Yasushi Sakurai, Yoshiharu Ishikawa
-
A partition enhanced mining algorithm for distributed association rule mining systems
Abstract The extraction of patterns and rules from large distributed databases through existing Distributed Association Rule Mining (DARM) systems is still faced with enormous challenges such as high response times, high communication costs and...
2015 / A.O. Ogunde, O. Folorunso, A.S. Sodiya -
Digital forensics as a service: Game on
Abstract The big data era has a high impact on forensic data analysis. Work is done in speeding up the processing of large amounts of data and enriching this processing with new techniques. Doing forensics calls for specific design considerations,...
2015 / H.M.A. van Beek, E.J. van Eijk, R.B. van Baar, M. Ugen, J.N.C. Bodde, et al. -
Feasibility Study of Ubiquitous Interaction Concepts
Abstract There are all sorts of consumer electronics in a home environment. Using “apps” to interact with each device is neither feasible nor practical in an ubicomp future. Prototyping and evaluating interaction concepts for this future is a...
2014 / Günter Alce, Lars Thern, Klas Hermodsson, Mattias Wallergård -
Plant Leaf Recognition Using Shape Features and Colour Histogram with K-nearest Neighbour Classifiers
Abstract Automated systems for plant recognition can be used to classify plants into appropriate taxonomies. Such information can be useful for botanists, industrialists, food engineers and physicians. In this work, a recognition system capable of...
2015 / Trishen Munisami, Mahess Ramsurn, Somveer Kishnah, Sameerchand Pudaruth -
Real-Time Efficiency Boosting for PV Systems Using MPPT Based on Sliding Mode
Abstract This paper presents a photovoltaic system with maximum power point tracking (MPPT) facility. The goal of this work is to obtain maximum power from the photovoltaic generator (PVG) by using an MPPT. Therefore the sliding mode controller...
2015 / Maissa Farhat, Oscar Barambones, Lassaad Sbita -
A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation
Abstract The most important advantage of Model Driven Engineering (MDE) is making available tools, concepts and languages to create and transform models. In this paper, we propose a framework to transform automatically UML activity diagram 2.0...
2015 / Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche -
Flexible and Modular Control and Manufacturing System
Abstract The trend in production industry is going away from mass-produced products, towards individual products, which are adapted to the customer requirements. Thus flexible, modular production systems that can be adapted to individual use-cases...
2015 / Jens Friedrich, Stefan Scheifele, Alexander Verl, Armin Lechler -
Comparative Study of Indexing Techniques for Data Dissemination in Wireless Environment
Abstract In the past few years there has been a rapid growth of mobile devices in the commercial market due to the emphasis of wireless data applications along with various evolving technologies. Data broadcast is the powerful tool for data...
2015 / Meera Narvekar, Selifa Lopes, S.S. Mantha -
Collaborative Social Network Analysis and Content-based Approach to Improve the Marketing Strategy of SMEs in Indonesia
Abstract Social Network Analysis (SNA) has been applied in several case studies. SNA is applied to enhance the company's marketing strategy as well as small and medium businesses. This research proposes a collaborative model using content-based and...
2015 / Warih Maharani, Alfian Akbar Gozali -
On logic programs that do not fail
Abstract This paper investigates the advantages of reasoning on logic programs and queries that have only successful derivations. We consider an extension of the logic programming paradigm that combines guarded clauses and delay declarations. The...
2004 / Dino Pedreschi, Salvatore Ruggieri -
A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems
Abstract We present a compiler that translates a multi-agent systems specification given in the formalism of Interpreted Systems into an SMV program. We show how an SMV model checker can be coupled with a Kripke model editor (Akka) to allow for the...
2005 / Franco Raimondi, Alessio Lomuscio -
Real-Time Verification Techniques for Untimed Systems
Abstract We show that verification techniques for timed automata based on the Alur and Dill region-graph construction can be applied to much more general kinds of systems, including asynchronous untimed systems over unbounded integer variables. We...
2005 / Xiaoqun Du, C.R. Ramakrishnan, Scott A. Smolka -
Probability, Truth and Flow Graph
Abstract In 1913 Jan Łukasiewicz proposed to use logic as mathematical foundations of probability. He claims that probability is “purely logical concept” and that his approach frees probability from its obscure philosophical connotation. He...
2004 / Zdzisław Pawlak -
Composition of Structured Process Specifications
Abstract This paper provides the definition of an operator that composes two structured process specifications while preserving the original structure in the new specification. On each structuring level, this operator assembles two by two the...
2004 / Samira Sadaoui -
(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications
Abstract We present an extension of standard coalgebraic specification techniques for state based systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic...
2005 / Rolf Hennicker, Alexander Kurz -
Some Properties of Non-Orthogonal Term Graph Rewriting
Abstract This paper examines left-linear non-orthogonal term graph rewriting systems that allow asymmetric conflicts between redexes. Using a definition of compatibility of sequences based on Boudol's work on the semantics of term rewriting, it...
2005 / David Clark, Richard Kennaway -
Building Up Hierarchical Mathematical Domains Using Functors in TH∃OREM∀
Abstract The world of mathematical domains is structured hierarchically. There are elementary domains and there are well-known techniques how to build up new domains from existing ones. Which of the domains to view as the actual basis of the...
2005 / Wolfgang Windsteiger -
A Coalgebraic Foundation for Linear Time Semantics
Abstract We present a coalgebraic approach to trace equivalence semantics based on lifting behaviour endofunctors for deterministic action to Kleisli categories of monads for non-deterministic choice. In Set, this gives a category with ordinary...
2005 / John Power, Daniele Turi