Computer and information sciences topic list of research papers
-
PastePost: A Web Interface for Editing Instructions with Captured Images
Abstract We introduce an effective web page construction method especially for GUI-based instructions and tutorials. Information about specific software tools and their use is often obtained from web documents, such as blogs and product sites. In...
2013 / Motoki Miura, Shinya Yoshida -
Automatic Paper-to-reviewer Assignment, based on the Matching Degree of the Reviewers
Abstract There are a number of issues which are involved with organizing a conference. Among these issues, assigning conference-papers to reviewers is one of the most difficult tasks. Assigning conference-papers to reviewers is automatically the...
2013 / Xinlian Li, Toyohide Watanabe -
Hybrid Firefly and Particle Swarm Optimization algorithm for the detection of Bundle Branch Block
Abstract Abnormal Cardiac beat identification is a key process in the detection of heart ailments. This work proposes a technique for the detection of Bundle Branch Block (BBB) using hybrid Firefly and Particle Swarm Optimization (FFPSO) technique...
2015 / K. Padmavathi, K.Sri Ramakrishna -
The Research on the Face Region Detection Based on the Color Characteristics in Mechanics of Materials
Abstract For the color segmentation system of color-based method, considering the combined effect of luminance and chrominance YCbCr color space for color segmentation, and introduced through the light compensation under the YCbCr model, the...
2012 / Ma Guiying -
Preface
Abstract A large class of systems can be specified and verified by abstracting away from the temporal aspects. This is the class of systems where time affects the performance but not the functional behaviour. In time-critical systems, instead, time...
2005 / Flavio Corradini, Paola Inverardi -
Knowledge as Strategic Ability
Abstract The ultimate goal of our research is to develop techniques for model checking knowledge properties of multi-agent systems. ATEL, an extension of the Alternating-time Temporal Logic of Alur et al, is a logic for specifying epistemic and...
2005 / Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge -
Rank 2 Types for Term Graph Rewriting
Abstract We define a notion of type assignment with polymorphic intersection types of rank 2 for a term graph rewriting language that expresses sharing and cycles. We show that type assignment is decidable through defining, using the extended notion ...
2004 / Steffen van Bakel -
Explicit Substitutions à la de Bruijn
Abstract Kamareddine and Nederpelt[9], resp. Kamareddine and Ríos [11] gave two calculi of explicit of substitutions highly influenced by de Bruijn's notation of the λ-calculus. These calculi added to the explosive pool of work on explicit...
2004 / Fairouz Kamareddine, Alejandro Ríos -
Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks
Abstract Security and privacy in mobile ad-hoc peer-to-peer environments are hard to attain, especially when working with passive objects (without own processing power, e.g. RFID tags). This paper introduces a method for integrating such objects...
2004 / Rene Mayrhofer, Florian Ortner, Alois Ferscha, Manfred Hechinger -
Chapter 72005 /
-
The Asf+Sdf Meta-Environment
Abstract The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for them. Over the years, this system has been used in a...
2004 / M.G.J. van den Brand, A. van Deursen, J. Heering, H.A. de Jong, M. de Jonge, et al. -
Preface
Abstract This volume contains the Proceedings of the Eighth International Workshop on Expressiveness in Concurrency (EXPRESS'01). The Workshop was held in Aalborg, Denmark on August 20, 2001, as satellite event to CONCUR 2001. The...
2005 / Luca Aceto, Prakash Panangaden -
Transfer Principles for Reasoning About Concurrent Programs
Abstract In previous work we have developed a transition trace semantic framework, suitable for shared-memory parallel programs and asynchronously communicating processes, and abstract enough to support compositional reasoning about safety and...
2004 / Stephen Brookes -
Concurrent Derivations as Single Pushout Graph Grammar Processes
Abstract Algebraic graph transformations visually support intuition, have a strong theoretical basis, and provide a formal, implementation independent basis for the description of discretely evolving computational systems and their formal and...
2005 / Martin Korff, Leila Ribeiro -
Requirements, specifications, and minimal refinement
Abstract Refinement is usually employed to produce more concrete versions of a specification, or to add new requirements to it. However, during specification revision one may over-refine, thus incorporating unnecessary requirements. In this paper,...
2004 / Nikos Gorogiannis, Mark Ryan -
Employing External Reasoners in Proof Planning
Abstract This paper describes the integration of computer algebra systems and constraint solvers into proof planners. It shows how efficient external reasoners can be employed in proof planning and how the shortcuts of the external reasoners can be...
2005 / Erica Melis, Volker Sorge -
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog
Abstract We present a syntactic theory for the behavioral subset of the Verilog Hardware Description Language. Due to the complexity of the language, the construction of this theory represents a serious test of the suitability of syntactic...
2005 / John Fiskio-Lasseter, Amr Sabry -
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Abstract)2005 / Anna Ingólfsdóttir, Rosario Pugliese
-
An Action Semantics Integrated Development Environment
Abstract We demonstrate the first public release of the Abaco system, an integrated development environment designed to support the construction and maintenance of action semantics descriptions. The system is formed by a set of tools like parser...
2004 / Luis Menezes, Hermano Moura, Mardoqueu Vieira, Wanderley Cansanção, Francisco Lima, et al. -
A Virtual Computing Laboratory2008 / Joe Kaylor, George K. Thiruvathukal