Computer and information sciences topic list of research papers
-
Image Compression based on Block Truncation Coding Using Clifford Algebra
Abstract The Block Truncation Coding (BTC) is one of the lossy image compression algorithm in which first and second order moments are preserved in each image block. The present work investigates image compression based on Absolute Moment Block...
2014 / Kartik Sau, Ratan Kumar Basak, Amitabha Chanda -
Decision Making Framework with Stochastic Dynamicity: A Step Forward Towards SDN
Abstract Entrepreneurs, infrastructure providers, service operators and carriers are targeting the service, application and infrastructure unification over an all Internet Protocol (IP) platform while providing access technology convergence....
2014 / Sajjad Ali Mushtaq, Naheed Sajjad, Sohail Razzaq -
Experimental demonstration of reservoir computing on a silicon photonics chip2014 / Kristof Vandoorne, Pauline Mechet, Thomas Van Vaerenbergh, Martin Fiers, Geert Morthier, et al.
-
A Prolog simulator for deterministic P systems with active membranes2009 / Andrés Cordón-Franco, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Fernando Sancho-Caparrini
-
Hybrid Sampling Strategy-based Multiobjective Evolutionary Algorithm
Abstract Recently more research works are focused on multiobjective evolutionary algorithm (MOEA) duo to its ability of global and local search for solving multiobjective optimization problem (MOOP) and ability to provide more practical solutions to ...
2012 / Wenqiang Zhang, Lin Lin, Mitsuo Gen, Chen-Fu Chien -
Virtual Reality Use in Architectural Design Studios: A Case of Studying Structure and Construction
Abstract This research applies micro-simulation function, with XML algorithms made by the researcher, inside a virtual reality environment, the VR Studio programme. The research utilises this function of the VR program in architectural design...
2013 / Wael A. Abdelhameed -
Formal ReSpecT
Abstract Logic-based languages have already proved to be effective to build individual agents and to enable inter-agent communication in multi-agent systems. Also, logic tuple centres have shown that logic-based languages can be effectively...
2004 / Andrea Omicini, Enrico Denti -
Quality Prediction in Interlinked Manufacturing Processes based on Supervised & Unsupervised Machine Learning
Abstract In the context of a rolling mill case study, this paper presents a methodical framework based on data mining for predicting the physical quality of intermediate products in interlinked manufacturing processes. In the first part, implemented ...
2013 / Daniel Lieber, Marco Stolpe, Benedikt Konrad, Jochen Deuse, Katharina Morik -
Downlink Coexistence Performance Assessment and Techniques for WiMAX Services from High Altitude Platform and Terrestrial Deployments2008 / Z Yang, A Mohammed, T Hult, D Grace
-
Automatic Query Generation and Query Relevance Measurement for Unsupervised Language Model Adaptation of Speech Recognition2010 / Akinori Ito, Yasutomo Kajiura, Motoyuki Suzuki, Shozo Makino
-
Proof Assistance for Refinement in Type Theory
Abstract In this paper, we represent in type theory a proof system for refinement of algebraic specifications in ASL [10]. The representation is not adequate but full because the use of proof obligations to represent side-conditions. Using this...
2005 / Nikos Mylonakis -
Modular Synthesis of Timed Circuits using Partial Orders on LPNs
Abstract This paper develops a modular synthesis algorithm for timed circuits that is dramatically accelerated by partial order reduction. Each timed circuit module is specified using a level-ruled Petri net (LPN), a new type of Petri net that...
2004 / Eric G. Mercer, Chris J. Myers, Tomohiro Yoneda, Hao Zheng -
Modeling Group Communication Protocols Using Multiset Term Rewriting
Abstract Protocols for secure group management are essential in applications concerned with confidential authenticated communication among coalition members, authenticated group decisions, or the secure administration of group membership and access...
2005 / Grit Denker, Jon Millen -
Preface
Abstract Introduction Verification of Parameterized Systems - VEPAS 2001 This part of the volume contains the Proceedings of the ICALP 2001 Satellite Workshop on Verification of Parameterized Systems (VEPAS 2001), ...
2005 / Richard Mayr -
Modeling and Analysis of Non-functional Properties in Component-based Systems
Abstract This paper discusses methodologies for the specification and analysis of performance related properties of components and assemblies of components, and outlines an original approach, called the CB-SPE, for component-based software...
2004 / Antonia Bertolino, Raffaela Mirandola -
Model-Driven Validation of SystemC Designs2008 / Hiren D Patel, Sandeep K Shukla
-
A reflective extension of ELAN
Abstract The expressivity of rewriting logic as meta-logic has been already convincingly illustrated. The goal of this paper is to explore the reflective capabilities of ELAN, a language based on the concepts of computational systems and rewriting...
2004 / Hélène Kirchner, Pierre-Etienne Moreau -
Perimeter Coverage Scheduling in Wireless Sensor Networks Using Sensors with a Single Continuous Cover Range2010 / Ka-Shun Hung, King-Shan Lui
-
PAGAI: A Path Sensitive Static Analyser
Abstract We describe the design and the implementation of PAGAI, a new static analyzer working over the LLVM compiler infrastructure, which computes inductive invariants on the numerical variables of the analyzed program. PAGAI...
2012 / Julien Henry, David Monniaux, Matthieu Moy -
Navigation Framework Using Visual Landmarks and a GIS
Abstract In an unfamiliar environment we spot and explore all available information which might guide us to a desired location. This largely unconscious processing is done by our trained sensory and cognitive systems. These recognise and memorise...
2014 / M. Serrão, J.M.F. Rodrigues, J.M.H. du Buf