Computer and information sciences topic list of research papers
-
“Brokering” Behavior in Collaborative Learning Systems
Abstract The meaning and the impact of social roles and their embeddedness in social systems have a long tradition in social sciences. Especially the identification of structural conditions of individuals is important for studying processes of...
2013 / Cathleen M. Stuetzer, Thomas Koehler, Kathleen M. Carley, Gerhard Thiem -
Structuring reflective middleware using meta-informationmanagement: The Meta-ORB approach and prototypes2010 / Fábio M. Costa, Bruno da Silva Santos
-
Performance and Comparative Analysis of ADSA in a Vehicular Network: MAC Approach in IEEE 802.11p
Abstract Vehicular network (VN) technologies have become an attractive area of attention all over the world. Two factors that have contributed in the development, design and implementation of the VN standards include the need to ensure safety and...
2014 / E.A. Feukeu, K. Djouani, A. Kurien -
Mining Association Rules from Gene Ontology and Protein Networks: Promises and Challenges.
Abstract In biology, the accumulation of raw experimental data has been accompanied by the accumulation of functional information encoded by using annotation terms. Such annotations are organized into ontologies such as Gene Ontology. Each...
2014 / Pietro Hiram Guzzi, Marianna Milano, Mario Cannataro -
Arabic Handwriting Data Base for Text Recognition
Abstract The process of assessing the outcomes obtained by various groups of researchers is heavily facilitated by conventional databases. This paper introduces, an database (AHDB/FTR) comprising Arabic Handwritten Text Images, which helps the...
2014 / Jabril Ramdan, Khairuddin Omar, Mohammad Faidzul, Ali Mady -
Generation-free Agent-based Evolutionary Computing
Abstract Metaheuristics resulting from the hybridization of multi-agent systems with evolutionary computing are efficient in many optimization problems. Evolutionary multi-agent systems (EMAS) are more similar to biological evolution than classical...
2014 / D. Krzywicki, J. Stypka, P. Anielski, Ł. Faber, W. Turek, et al. -
Providing an Application-specific Interface over a CERIF Back-end: Challenges and Solutions
Abstract This paper presents a case of presenting information modelled in CERIF through an application-specific programming interface which does not require CERIF expertise by the developers. The CERIF data model is semantically rich and can be used ...
2014 / Dragan Ivanović, Nikos Houssos -
Visual Analysis of Network Traffic for Resource Planning, Interactive Monitoring, and Interpretation of Security Threats2007 / F. Mansmann, D.A. Keim, S.C. North, B. Rexroad, D. Sheleheda
-
ASC: a stream compiler for computing with FPGAs2006 / O. Mencer
-
A Computational Science Agenda for Programming Language Research
Abstract Scientific models are often expressed as large and complicated programs. These programs embody numerous assumptions made by the developer (e.g., for differential equations, the discretization strategy and resolution). The complexity and...
2014 / Dominic Orchard, Andrew Rice -
Applying data mining techniques to medical time series: an empirical case study in electroencephalography and stabilometry
Abstract One of the major challenges in the medical domain today is how to exploit the huge amount of data that this field generates. To do this, approaches are required that are capable of discovering knowledge that is useful for decision making in ...
2016 / A. Anguera, J.M. Barreiro, J.A. Lara, D. Lizcano -
An efficient low order model for two-dimensional digital systems: Application to the 2D digital filters
Abstract The work presented in this paper concerns with analysis and synthesis of the two-dimensional (2D) digital systems based on model order reduction, and application to the 2D-digital filters. The synthesis of the 2D-systems is performed with...
2014 / Lahcène Mitiche, Amel Baha Houda Adamou-Mitiche -
Automatic Access to Legal Terminology Applying Two Different Automatic Term Recognition Methods
Abstract Automatic term recognition (ATR) methods help to identify the most representative terms in a corpus automatically, saving time and allowing managing large amounts of data that could not be dealt with manually. This paper presents the...
2013 / María José Marín Pérez, Camino Rea Rizzo -
DoS Attacks Intelligent Detection using Neural Networks
Abstract The potential damage to computer networks keeps increasing due to a growing reliance on the Internet and more extensive connectivity. Intrusion detection systems (IDSs) have become an essential component of computer security to detect...
2013 / Abdulkader A. Alfantookh -
Circuit Techniques for Reducing the Effect of Analog Signal Conditioning Imperfections in EEG Measuring
Abstract New ideas are necessary to improve the quality of electroencephalogram (EEG) type bio-signal recordings, as a module of a brain computer interface (BCI). The EEG signals are a result of noninvasive recording technology. The recorded signals ...
2014 / Lajos Losonczi, László F. Márton, Tihamér S. Brassai, Loránd Farkas -
The Development and Evaluation of a Kinect Sensor Assisted Learning System on the Spatial Visualization Skills
Abstract In this study, we proposed a cubic net assisted learning system by using Kinect sensor technologies for enhancing learners’ spatial ability. The content of the system is based on the geometric learning theory, and 3D real-time objects used...
2013 / Chih-Hsiao Tsai, Jung-Chuan Yen -
Evolving and Discovering Tetris Gameplay Strategies
Abstract This work is motivated by one of the important characteristics of an intelligent system: the ability to automatically discover new knowledge. This work employs an evolutionary technique to search for good solutions and then employs a data...
2015 / Somnuk Phon-Amnuaisuk -
System NEL is Undecidable
Abstract System NEL is a conservative extension of multiplicative exponential linear logic (extended by the rules mix and nullary mix) by a self-dual noncommutative connective called seq which has an intermediate position between the connectives par ...
2004 / Lutz Straßburger -
Application of Attribute NCE Graph Grammars to Syntactic Editing of Tabular Forms
Abstract In this paper, we deal with editing tabular forms for program specifications based on a particular graph grammar HNGG [2]. First, we formalize syntax-directed editing methods by extending of the notion of the Cornell Program Synthesizer [8] ...
2004 / Tomokazu Arita, Kiyonobu Tomiyama, Kensei Tsuchida, Takeo Yaku -
A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas
Abstract A major motivation of proof-planning is to bridge the gap between high-level, cognitively adequate reasoning for specific domains, and calculus-level reasoning to ensure soundness. For high reasoning levels the cognitive adequacy of...
2004 / Serge Autexier