Computer and information sciences topic list of research papers
-
Comparative Analysis of Active and Passive Indoor Localization Systems
Abstract The development of the location based services and rapid advancement in communication services has extensively increased the researcher's interest in an area of the localization systems. In the context-aware computing, one of the key...
2013 / Nasrullah Pirzada, M Yunus Nayan, Fazli Subhan, M Fadzil Hassan, Muhammad Amir Khan -
An Algorithm for Motion Parameter Direct Estimate2004 / Roberto Caldelli, Franco Bartolini, Vittorio Romagnoli
-
Domain-Specific Optimisation with User-Defined Rules in CodeBoost
Abstract The use of domain-specific optimisations can significantly enhance the performance of high-level programs. However, current programming languages have poor support for specifying such optimisations. In this paper, we introduce user-defined...
2004 / Otto Skrove Bagge, Magne Haveraaen -
Deforestation, program transformation, and cut-elimination
Abstract The problem of proving that two programs, in any reasonable programming language, are equivalent is well-known to be undecidable. In a formal programming system, in which the rules for equivalence are finitely presented, the problem of...
2004 / Robin Cockett -
Efficient Selective Mapping PAPR Reduction Technique
Abstract OFDM is a form of multicarrier modulation technique with high spectral efficiency and immunity to interference. One major drawback of OFDM systems is the high peak to average power ratio (PAPR) which leads to power inefficiency and signal...
2015 / Kavita Mhatre, Uday Pandit Khot -
Specifying Graph-like Diagrams with Dia Gne
Abstract This extended abstract demonstrates that creating editors and environments for visual languages becomes considerably easier when restricting the class of visual languages. The presented approach considers graph-like languages whose diagrams ...
2005 / Mark Minas -
Preface
Abstract This volume contains the Proceedings of the joint meeting of two conferences: the sixth conference on Formal Grammar and the seventh on Mathematics of Language. The meeting was held just prior to the European Summer School in Logic,...
2005 / Lawrence S. Moss, Richard T. Oehrle -
CoordMaude
Abstract Developing concurrent applications in cooperative environments is an arduous task. This is mainly due to the fact that it is very difficult to specify the synchronized interaction between the entities composing the system. Using...
2005 / Marisol Sánchez-Alonso, Pedro J. Clemente, Juan M. Murillo, Juan Hernández -
Constrained colouring and σ-hypergraphs2015 / Yair Caro, Josef Lauri, Christina Zarb
-
Bisimulation Relations for Dynamical and Control Systems
Abstract In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notion of bisimulation introduced by R. Milner for labeled...
2004 / Esfandiar Haghverdi, Paulo Tabuada, George Pappas -
A Game Semantics of Idealized CSP
Abstract A games semantics is described for a typed functional language which includes primitives for parallel composition and for synchronous communication on private channels. The semantics is based on a category obtained by extending “Hyland-Ong...
2004 / J. Laird -
An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees
Abstract We describe the current state of the design and implementation of Dops, a framework for Deterministic OPerational Semantics that will support the incremental construction of derivation trees, starting from term/input pairs. This process of...
2005 / Allen Stoughton -
Some remarks on cyclic linear logic preliminary report
Abstract We study three fragments of multiplicative linear logic with circular exchange, respectively LLNC containing all propositional variables, LLNC a builded on a single variable and the constant-only fragment LLNC ...
2005 / François Métayer -
Modelling Concurrent Systems Specified by Dynamic Information Systems
Abstract This paper presents a new approach for modelling concurrent systems specified by the dynamic information systems. As a model for concurrency Coloured Petri Nets are used. The dynamic information systems contain knowledge about the dynamics...
2004 / Krzysztof Pancerz, Zbigniew Suraj -
Applications of Term Rewriting to Cryptographic Protocol Analysis (overview of the invited talk)
Abstract Cryptographic protocols for key distribution and authentication play an important role in Internet security. Certain flaws in these protocols can be discovered using term rewriting models to express the protocol, the malicious network...
2005 / J. Millen -
Data Security Challenges and Its Solutions in Cloud Computing
Abstract Cloud Computing trend is rapidly increasing that has an technology connection with Grid Computing, Utility Computing, Distributed Computing. Cloud service providers such as Amazon IBM, Google's Application, Microsoft Azure etc., provide the ...
2015 / R. Velumadhava Rao, K. Selvamani -
A Framework and a Tool for Semantic Annotation of POIs in OpenStreetMap
Abstract Current mobile systems for assisted navigation have limited effectiveness in satisfying user needs. The information content supporting location-based service discovery and path calculation is usually shallow. Semantic-based technologies can ...
2014 / Floriano Scioscia, Mario Binetti, Michele Ruta, Saverio Ieva, Eugenio Di Sciascio -
Maximal Introspection of Agents
Abstract This paper concerns the representation of introspective belief and knowledge in multi-agent systems. An introspective agent is an agent that has the ability to refer to itself and reason about its own beliefs. It is well-known that...
2004 / Thomas Bolander -
Efficient Collision Avoidance for Industrial Manipulators with Overlapping Workspaces
Abstract “This paper introduces an efficient collision watchdog predicting impacts between fast moving industrial robots. The presented approach considers the manipulator states in a three dimensional space. Tailored bounding volumes allow fast...
2014 / Philipp Ennen, Daniel Ewert, Daniel Schilberg, Sabina Jeschke -
Model-based evolution of collaborative agent-based systems2010 / Shawn A. Bohner, Denis Graĉanin, Michael G. Hinchey, Mohamed Eltoweissy