Computer and information sciences topic list of research papers
-
Scientific Programming: The Promises of Typed, Pure, and Lazy Functional Programming: Part II2009 / Konstantin Laufer, George K. Thiruvathukal
-
SparseHC: A Memory-efficient Online Hierarchical Clustering Algorithm
Abstract Computing a hierarchical clustering of objects from a pairwise distance matrix is an important algorithmic kernel in computational science. Since the storage of this matrix requires quadratic space with respect to the number of objects, the ...
2014 / Thuy-Diem Nguyen, Bertil Schmidt, Chee-Keong Kwoh -
Knowledge Collaboration through Enterprise Information Services
Abstract An analysis methodology is proposed for sustainable knowledge collaboration services. The methodology consists of three layered knowledge collaboration architecture, knowledge collaboration community analysis method, knowledge collaboration ...
2013 / Shuichiro Yamamoto -
Improving Fairness in Packetized Computer Data Networks
Abstract The use of transmission scheduling to improve a measure of fairness in packet data networks is investigated. This fairness measure is based on mean end-to-end delays derived from Kleinrock's classical model. It is found that reallocating...
2013 / Gamal Abdel-Fadeel Mohammed -
Integration of Lexical and Syntactic Simplification Capabilities in a Text Editor
Abstract Nowadays, with the rapid development of new technologies, it is very difficult to be an active member of the society unless one is proficient in reading. Unfortunately, there are a lot of people who experience reading or writing problems....
2014 / Raquel Hervás, Susana Bautista, Marta Rodríguez, Teresa de Salas, Ana Vargas, et al. -
Analysis of an M[X]/(G1,G2)/1 retrial queueing system with balking, optional re-service under modified vacation policy and service interruption
Abstract This paper deals with the steady state analysis of batch arrival retrial queueing system with two types of service under modified vacation policy, where each type consists of an optional re-service. An arriving batch may balk the system at...
2014 / P. Rajadurai, M.C. Saravanarajan, V.M. Chandrasekaran -
Multi Agent Modeling for the Participatory Planning Process
Abstract Participatory Planning Process (PPP) is a one of high complexity. Complexity Science has lead scientists to understand how complex systems and phenomena work, and how to deduce solutions from natural and biological complexity. Complexity...
2013 / Nashwa Wael Shalaby -
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip
Abstract We present the first implementation of a distributed clock generation scheme for Systems-on-Chip that recovers from an unbounded number of arbitrary transient faults despite a large number of arbitrary permanent faults. We devise...
2014 / Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger, et al. -
Specialized Corpora Processing with Automatic Extraction Tools
Abstract This research describes a protocol for specialized corpus analysis using natural language processing (NLP) tools to define semantic hierarchies of verbs in the specialized domain of Volcanology. The experimental analysis was carried out...
2013 / Yuliya Goncharova, Beatriz Sánchez Cárdenas -
Facial Expression Recognition Using Eigenspaces
Abstract A lot of information is conveyed by human beings in the form of facial expression apart from just what is spoken. Proper recognition of such expression has thus become important for any modern human computer interface. We present here a...
2014 / Debasmita Chakrabarti, Debtanu Dutta -
Moving Academic Department Functions to Social Networks and Clouds: Initial Experiences2011 / Konstantin Laufer, George K. Thiruvathukal, David Dennis
-
Graph Operations, Graph Transformations and Monadic Second-Order Logic:
Abstract This lecture surveys about 15 years of research about context-free graph grammars, graph operations, graph transformations and monadic second-order logic done in cooperation with participants of the European network GETGRATS and of previous ...
2004 / Bruno Courcelle -
Guarded induction on final coalgebras
Abstract We make an initial step towards a categorical semantics of guarded induction. While ordinary induction is usually modelled in terms of the least fixpoints and the initial algebras, guarded induction is based on the unique fixpoints of...
2004 / Duško Pavlović -
High-level Transformations to Support Framework-Based Software Development
Abstract In this paper, we show how elaborate support for framework-based software development can be provided based on explicit documentation of the hot spots of object-oriented application frameworks. This support ranges from automatically...
2004 / Tom Tourwé, Tom Mens -
Multiscale Based Local Structurization Information Metric for Robust Pixel Level Image Fusion
Abstract Because previous methods can not identify underlying image features from noises effectively, the updated image fusion schemes will be degraded when inputs are corrupted with noise. The perceptual salient image features often manifest some...
2011 / Zhi YANG, Shi-yi MAO, Wei CHEN -
Enhancing a Fuzzy Inference System-Based Criterion-Referenced Assessment with an Analogical Reasoning Schema
Abstract In this paper, a fuzzy inference system (FIS) that incorporated with an analogical reasoning schema-based criterion-referenced assessment (CRA) is proposed. For a multi input FIS-based CRA, a large set of fuzzy rules are usually required....
2012 / Tze Ling Jee, Kai Meng Tay -
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions
Abstract The manipulation of objects with state which changes over time is all-pervasive in computing. Perhaps the simplest example of such objects are the program variables of classical imperative languages. An important strand of work within the...
2005 / Samson Abramsky, Guy McCusker -
Generalised Coinduction
Abstract We introduce the λ-coiteration schema for a distributive law λ of a functor T over a functor F. Under certain conditions it can be shown to uniquely characterise functions into the carrier of a final F-coalgebra, generalising the basic...
2004 / F. Bartels -
DIEGO, Another Step Towards a Module Concept for Graph Transformation Systems
Abstract DIEGO module systems offer means for Distributed programming with Encapsulated Graph Objects. Their operational semantics definition follows the lines of distributed graph transformation, thereby permitting the specification of distributed...
2005 / Gabriele Taentzer, Andy Schürr -
Interface-Based Specification and Verification of Concurrency Controllers
Abstract We present a modular approach to specification and verification of concurrency controllers by decoupling their behavior and interface specifications. The behavior specification of a concurrency controller defines how its shared variables...
2005 / Aysu Betin-Can, Tevfik Bultan