Computer and information sciences topic list of research papers
-
Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424.
Abstract Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that improves the time and memory efficiency of some...
2004 / Sergio Antoy, Pascual Julián Iranzo, Bart Massey -
A Semantics for Timed MSC
Abstract Message Sequence Charts (MSC) is a graphical and textual specification language developed by ITU-T. It is widely used in telecommunication software engineering for specifying behavioral scenarios. Recently, the time concept has been...
2004 / Tong Zheng, Ferhat Khendek, Loïc Helouët -
Debugging and Testing Optimizers through Comparison Checking
Abstract We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed by the application of optimizations. We have successfully...
2004 / Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa -
Incremental Evaluators for Remote Attribute Grammars
Abstract Remote attribute grammars use objects with separately defined fields to induce direct non-local dependencies in attribute grammars. Fields of an object may be read remotely from where it is created, and special “collection” fields may be...
2004 / John Tang Boyland -
Intra-agent Explanation Using Temporal and Extended Causal Maps
Abstract Explanation of intelligent systems was and is still an important issue in Artificial Intelligence discipline, especially, in com-plex systems like Multi-Agent Environments. In fact, during its uncontrollable execution, the agent reasoning...
2013 / Aroua Hedhili Sbaï, Wided Lejouad Chaari, Khaled Ghédira -
ISA Standard Simulation Model Generation Supported by Data Stored in Low Level Controllers
Abstract One of the most widespread techniques to evaluate various aspects of a manufacturing system is discrete-event simulation (DES). However, building a simulation model of a manufacturing system is a difficult task and needs great resource...
2013 / G. Popovics, L. Monostori -
Evaluation of Performance of an ATM Multiplexer Carrying Multimedia Traffic
Abstract This paper examines the performance of an ATM multiplexer loaded with multimedia traffic. A simulation model has been developed to evaluate the multiplexer performance. Traffic generated from multimedia traffic sources having different...
2013 / Mohammad J. Abedin -
An evolutionary framework for detecting protein conformation defects
Abstract In the medical community, the demand for detecting texture abnormalities related to pathological Protein Conformation Diseases (PCD) has been increasing for years. In this paper, we use the value (V) channel of an HSV (Hue, Saturation,...
2014 / Peifang Guo, Prabir Bhattacharya -
Sports Skills in Youth Volleyball by Video Analysis Teaching Method Gaetano
Abstract Efficacy of the spike is important in volleyball score and efficiency of training process has a prior aim for coach, in the same time video analysis is used to purpose quantitative aspect of performance. Could be useful the use of...
2014 / Raiola, Fabio Parisi, Napolitano Salvatore -
Complexity of some special named graphs with double edges
Abstract In mathematics, one always tries to get new structures from given ones. This also applies to the realm of graphs, where one can generate many new graphs from a given set of graphs. In this paper we derive simple formulas of the complexity,...
2013 / Salama N. Daoud, Kamel A. Mohamed -
Formal Contexts for Algebraic Domains
Abstract In this paper, we investigate the representation of algebraic domains by means of Formal Concept Analysis. For a formal context, we can define a large number of consistent sets. Associated with each consistent set, there is a set of...
2014 / Mengqiao Huang, Qingguo Li, Lankun Guo -
Assembling Components using SysML with Non-Functional Requirements
Abstract Non-functional requirements of component based systems are important as their functional requirements, therefore they must be considered in components assembly. These properties are beforehand specified with SysML requirement diagrams. We...
2013 / Samir Chouali, Ahmed Hammad, Hassan Mountassir -
Hardware Design and Software Simulation for Four Classical Cryptosystems
Abstract The classical Cryptosystems are very old cryptosystems that were primarily used in the pre-computer era. They are considered weak nowadays and too easy to break, especially with computers. However, these simple cryptosystems give a good...
2013 / Qasem Abu Al-Haija, Hanan Al-Mubarak, Abdulla Al-Humam -
Least-squares Fit of Measured Points for Square Line-profiles
Abstract The pseudoinverse of a rectangular matrix is used to compute the least-squares fit of a set of points that have been measured along a line-profile. Tolerances on line profiles are used to control cross-sectional shapes of parts, such as...
2013 / J. Davidson, S. Savaliya, Jami J. Shah -
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories
Abstract Reasoning about atoms (names) is difficult. The last decade has seen the development of numerous novel techniques. For equational reasoning, Clouston and Pitts introduced Nominal Equational Logic (NEL), which provides judgements of equality ...
2013 / Roy L. Crole, Frank Nebel -
Normalization by Evaluation and Algebraic Effects
Abstract We examine the interplay between computational effects and higher types. We do this by presenting a normalization by evaluation algorithm for a language with function types as well as computational effects. We use algebraic theories to...
2013 / Danel Ahman, Sam Staton -
Clustering Software Components for Program Restructuring and Component Reuse Using Hybrid XOR Similarity Function
Abstract Component based software development has gained a lot of practical importance in the field of software engineering from several researchers and also from industry perspective. Finding components for efficient software reuse is one of the...
2013 / Chintakindi Srinivas, Vangipuram Radhakrishna, C.V. Guru Rao -
Development of Manga-style Chat System Aiming to Communicate Nonverbal Expression
Abstract In this article, we propose a Manga-style chat system to transmit nonverbal information smoothly and visually based on techniques of Japanese comics. A character, pictographs, emoticons or smileys provide much information to viewers through ...
2013 / Junko Itou, Yuichi Motojin, Jun Munemori -
CRF based Feature Extraction Applied for Supervised Automatic Text Summarization
Abstract Feature extraction is the promising issue to be addressed in algebraic based Automatic Text Summarization (ATS) methods. The most vital role of any ATS is the identification of most important sentences from the given text. This is possible...
2014 / Nowshath K. Batcha, Normaziah A. Aziz, Sharil I. Shafie -
Fast vocabulary acquisition in an NMF-based self-learning vocal user interface
Abstract In command-and-control applications, a vocal user interface (VUI) is useful for handsfree control of various devices, especially for people with a physical disability. The spoken utterances are usually restricted to a predefined list of...
2014 / Bart Ons, Jort F. Gemmeke, Hugo Van hamme