Computer and information sciences topic list of research papers
-
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS
Abstract We propose a notion of convergence-sensitive bisimulation that is built just over the notions of (internal) reduction and of (static) context. In the framework of timed CCS, we characterise this notion of ‘contextual’ bisimulation via the...
2009 / Roberto M. Amadio -
Observer Architecture of Program Visualization
Abstract We propose Observer architecture for program visualization. The principles of Observer architecture are modular, model-driven visualization with one-directional coupling, hierarchical delegation, message-passing and archival by visualizers. ...
2007 / Amruth Kumar, Stefan Kasabov -
Verification of Distributed Hierarchical Components
Abstract Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with distribution of controls due to asynchrony. This article...
2006 / Tomás Barros, Ludovic Henrio, Eric Madelaine -
Formal SOS-Proofs for the Lambda-Calculus
Abstract We describe in this paper formalisations for the properties of weakening, type-substitutivity, subject-reduction and termination of the usual big-step evaluation relation. Our language is the lambda-calculus whose simplicity allows us to...
2009 / Christian Urban, Julien Narboux -
Language-Based Program Verification via Expressive Types
Abstract Recent developments in the area of expressive types have the prospect to supply the ordinary programmer with a programming language rich enough to verify complex program properties. Program verification is made possible via tractable type...
2007 / Martin Sulzmann, Răzvan Voicu -
VyrdMC: Driving Runtime Refinement Checking with Model Checkers
Abstract This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each execution of the implementation must be consistent with an atomic...
2006 / Tayfun Elmas, Serdar Tasiran -
Face Recognition based on Fuzzy Linear Discriminant Analysis
Abstract Recently, linear discriminant analysis (LDA) was proposed to manifold learning and pattern classification. LDA, a supervised method, aims to find the optimal set of projection vectors that maximize the determinant of the between-class...
2012 / Genyuan Zhang -
Information ecology as a mind tool for repurposing of educational social networks
Abstract Our world is no longer a singularity but a fluid multiplicity. With faster and re-imagined communication modes, the very essence of education could be termed as being in perpetual state of flux. Traditional teaching methods used technology...
2011 / Nader Naghshineh, Solmaz Zardary -
Hand Written Digits Recognition Using Digital Learning Networks
Abstract A pattern recognition system based on the n-tuple technique is developed and evaluated for use in classifying non-deterministic data with particular reference to unconstrained hand-written numerals.The system presented in this research...
2012 / Mazin Al Hadidi, Rami Salim Rzouq -
How can we make use of learner interaction in online learning environments?
Abstract Knowing about learners is one of the key concepts for a successful online instruction. What motivates learners in online learning environments? What did they learn or not from a lecture? These are important questions in order to shape...
2011 / Onur Dönmez, Ömer Simsek, Y. Deniz Arikan -
Effect of Semantic Web technologies on Distance Education
Abstract We analyze the characteristics of the semantic web and the potential effect on the model of distance education starting with the key technologies of the Semantic Web. The conclusion shows that the development of Semantic Web will leverage...
2011 / Yaqing Shi, Meijuan Wang, Zhenghong Qiao, Lei Mao -
Quantitative Combination of Different Bayesian Networks
Abstract Bayesian network is a directed acyclic graph that each node has a conditional probability table. It is a knowledge-based system and could reason effectively under uncertainty. In most times, knowledge-based system will face the task of...
2011 / LiangDong Hu, Limin Wang, LiYan Dong -
Project and group based learning and competition based evaluation in lesson of microcontroller applications
Abstract A process control which requires software and hardware has been given to students as a project study in microcontroller education. The class divided into groups of 2 student each and given names to each group. A temperature control which is ...
2009 / Emel Koçak, Raif Bayır -
General cybernetic model for innovation network management
Abstract Lately, due to intensive global competition, both academic and market society have paid more attention to concepts such as ‘open innovation’ and ‘innovation network’. To make a constructive literature review, at first, in this paper,...
2012 / Mirzadeh P.A, Moattar Husseini S.M, Arasti M.R -
Secured operating regions of Slotted ALOHA in the presence of interfering signals from other networks and DoS attacking signals
Abstract It is expected that many networks will be providing services at a time in near future and those will also produce different interfering signals for the current Slotted ALOHA based systems. A random packet destruction Denial of Service (DoS) ...
2011 / Jahangir H. Sarker, Hussein T. Mouftah -
AF-ABLE in the multi agent contest 20092010 / Howell Jordan, Jennifer Treanor, David Lillis, Mauro Dragone, Rem W. Collier, et al.
-
Searching high order invariants in computer imagery2012 / A. Berciano, H. Molina-Abril, P. Real
-
Implementation of an Optimal Strategy for Algorithmic Debugging
Abstract One of the most automatic debugging techniques is Algorithmic Debugging because it allows us to debug a program without the need to inspect the source code. In order to find a bug, an algorithmic debugger asks questions to the programmer...
2012 / David Insa, Josep Silva -
Generic Executable Semantics for D-Clean
Abstract D-Clean primitives are first class citizens which allows the coordination of a dynamical work distributions over a cluster. The computations are distributed automatically over the Grid by the middleware system. The programmer controls the...
2011 / Viktória Zsók, Pieter Koopman, Rinus Plasmeijer -
Preface2011 / Nigel Thomas, Jeremy Bradley, William Knottenbelt, Samuel Kounev, Nikolaus Huber, et al.