Computer and information sciences topic list of research papers
-
Negative Attributes and Implications in Formal Concept Analysis
Abstract The mining of negative attributes from datasets has been studied in the last decade to obtain additional and useful information. There exists an exhaustive study around the notion of negative association rules between sets of attributes....
2014 / J.M. Rodriguez-Jimenez, P. Cordero, M. Enciso, A. Mora -
Local online kernel ridge regression for forecasting of urban travel times
Abstract Accurate and reliable forecasting of traffic variables is one of the primary functions of Intelligent Transportation Systems. Reliable systems that are able to forecast traffic conditions accurately, multiple time steps into the future, are ...
2014 / James Haworth, John Shawe-Taylor, Tao Cheng, Jiaqiu Wang -
Concept Learning from Triadic Data
Abstract We propose extensions of the classical JSM-method and the Näıve Bayesian classifier for the case of triadic relational data. We performed a series of experiments on various types of data (both real and synthetic) to estimate quality of...
2014 / Roman Zhuk, Dmitry I. Ignatov, Natalia Konstantinova -
Improve the Classifier Accuracy for Continuous Attributes in Biomedical Datasets Using a New Discretization Method
Abstract In real-time data mining applications discrete values play vital role in knowledge representation as they are easy to handle and very close to knowledge level representation than continuous attributes. Discretization is a major step in data ...
2014 / G. Madhu, T.V. Rajinikanth, A. Govardhan -
Fact-based Design for Leisure Boats: The HighSea-experiment Setup
Abstract Leisure boats are highly customizable products with a usable lifetime up to several decades. The design of boats is typically determined by the designers’ experience of boat behavior and knowledge about user expectations. Personal knowledge ...
2015 / Stefan Wellsandt, Moritz von Stietencron, Karl Hribernik, Bjørnar Henriksen, Carl Christian Røstad, et al. -
ROI Based Medical Image Compression for Telemedicine Application
Abstract As the medical imaging and telemedicine has been developing on large scale. With the increasing demand of storing and sending the medical images results in lack of sufficient memory spaces and transmission bandwidth. To fix these issues...
2015 / Manpreet Kaur, Vikas Wasson -
Technology-enhanced Learning Scenarios based on Digital Ink & Tablet PCs
Abstract Numerous studies show that ICTs can bring about major changes in the classroom, thereby easing some of the problems associated with the traditional model of instruction. There is widespread consensus that digital-ink technologies (Tablet...
2014 / José-V. Benlloch-Dualde, Félix Buendía-García -
TreeKs: A Functor to Make Numerical Abstract Domains Scalable
Abstract Relational numerical abstract domains do not scale up. To ensure a linear cost of abstract domains, abstract interpretation-based tools analyzing large programs generally split the set of variables into independent smaller sets, sometimes...
2012 / Mehdi Bouaziz -
Evaluating a Learning Management System for BINUS International School Serpong
Abstract The purpose of this study is evaluate a Learning Management System for Bina Nusantara International School Serpong, to make the Students, Parents, and Teachers cooperate with each other in education, with hope that the school can create...
2015 / K. Iskandar, D. Thedy, J. Alfred, Yonathan -
Cryptographic Analysis in Cubic Time
Abstract The spi-calculus is a variant of the polyadic π-calculus that admits symmetric cryptography and that admits expressing communication protocols in a precise though still abstract way. This paper shows that context-independent control flow...
2004 / Flemming Nielson, Hanne Riis Nielson, Helmut Seidl -
Argumentative Agent Deliberation, Roles and Context
Abstract This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the agent is able to take into account the roles agents can have...
2004 / Antonis C. Kakas, Pavlos Moraïtis -
Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract)
Abstract Many of the above ideas arose when discussing with people of the afore mentionned groups (Coq, Demons, Maude, PROTHEO), and especially with Gilles Dowek and Christine Paulin. Mitsuhiro Okada also deserves special thanks for introducing me...
2005 / Jean-Pierre Jouannaud -
Automated Verification of Function Block Based Industrial Control Systems
Abstract IEC 61131-3, the world-wide standard for industrial control programming, is increasingly being used in embadded control applications. The standard supports the concept of reusable “software ICs” through the concept of function blocks. can...
2004 / Norbert Völker, Bernd J. Krämer -
Real-Time Systems Development with MASS??
Abstract In this paper, we demonstrate the capability of mass, a real-time design language, for large systems specification. The paper presents a hierarchical specification of an automatic cruise controller that evolves through stepwise refinement....
2004 / Vered Gafni, Yishai Feldman, Amiram Yehudai -
A graphical approach to relational reasoning1 1This research was partially funded by the Italian CNR (coordinated project log(SETA)); by MURST PGR-2000; by the EC TMR Network GETGRATS; and by Esprit Working Group APPLIGRAPH.
Abstract Relational reasoning is concerned with relations over an unspecified domain of discourse. Two limitations to which it is customarily subject are: only dyadic relations are taken into account; all formulas are equations, having the same...
2004 / Andrea. Formisano, Eugenio G. Omodeo, Marta Simeoni -
A Declarative Debugging System for Lazy Functional Logic Programs
Abstract We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a 0computed answer is considered wrong by the user (error symptom), the debugger locates a program fragment (function defining...
2004 / Rafael Caballero, Mario Rodríguez-Artalejo -
Order Functional Pure Type Systems
Abstract We study a class of Pure Type Systems that are weaker than functional ones, characterised by the possibility of assigning, in a non-trivial way, an integer number to any typable term a in a context Γ: its order ∂Γ a. ...
2004 / Francisco Gutiérrez, Blas Ruiz -
Extracting a formally verified, fully executable compiler from a proof assistant
Abstract Compilers that have been formally verified in theorem provers are often not directly usable because the formalization language is not a general-purpose programming language or the formalization contains non-executable constructs. This paper ...
2005 / Stefan Berghofer, Martin Strecker -
The role of observations in probabilistic open systems
Abstract This paper considers a logic, based on the modal mu-calculus, for describing properties of probabilistic open distributed systems and develops a model-checking algorithm for determining whether or not states in finite-state probabilistic...
2004 / Murali Narasimha, Rance Cleaveland, Purushothaman Iyer -
The Garland Measure and Computational Complexity of Stack Programs
Abstract A key problem in implicit computational complexity is to analyse the impact on program run times of nesting restricted control structures, such as for-do statements in imperative languages. This problem has two aspects. One is whether there ...
2003 / L. Kristiansen, K.-H. Niggl