Computer and information sciences topic list of research papers
-
Identification of Language using Mel-Frequency Cepstral Coefficients (MFCC)
Abstract This paper focuses on the task of identifying a language from speech signal. In this paper, we have use Mel-frequency cepstral coefficient as features. Language identification models are developed for fifteen Indian languages namely...
2012 / Shashidhar G. Koolagudi, Deepika Rastogi, K. Sreenivasa Rao -
Agent-based Trust Management and Prediction using D3-FRT
Abstract Reputation and trust management systems have been useful in domains that rely on the cooperation of members to function correctly and to fulfil their purposes. Despite the advent of these systems, having trusted communications remains a...
2012 / Olufunmilola Onolaja, Rami Bahsoon, Georgios Theodoropoulos -
Early Verification and Validation of Mission Critical Systems
Abstract Our world is increasingly relying on complex software and systems. In a growing number of fields such as transportation, finance, telecommunications, medical devices, they now play a critical role and require high assurance. To achieve...
2005 / C. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde, et al. -
A Higher-Order Calculus for Graph Transformation
Abstract This paper presents a formalism for defining higher-order systems based on the notion of graph transformation (by rewriting or interaction). The syntax is inspired by the Combinatory Reduction Systems of Klop. The rewrite rules can be used...
2007 / Maribel Fernández, Ian Mackie, Jorge Sousa Pinto -
Making the Most of BMC Counterexamples
Abstract The value of model checking counterexamples for debugging programs (and specifications) is widely recognized. Unfortunately, bounded model checkers often produce counterexamples that are difficult to understand due to the values chosen by a ...
2005 / Alex Groce, Daniel Kroening -
On Quantitative Analysis of Probabilistic Protocols
Abstract We advocate the use of approximate noninterference for the security analysis of probabilistic protocols. Our approach relies on a formalisation of the protocol in the setting of a probabilistic process algebra and a notion of process...
2005 / Alessandro Aldini, Alessandra Di Pierro -
A study of global and local visibility as web indicators of research production2013 / M. R. Martinez-Torres, M. C. Diaz-Fernandez
-
Secured and Robust Information Hiding Scheme
Abstract The sensitivity of the digital work made it susceptible to many accidental dangers. Accordingly, it has become necessary for the secret data to be protected, identified and extracted. As a result, many researchers have exerted much of their ...
2013 / N.H. Abdul-mahdi, A. Yahya, R.B. Ahmad, O.M. Al-Qershi -
A Trust-based Uncoordinated Checkpointing Algorithm in Mobile Ad Hoc Networks (MANETs)
Abstract The paper presents a trust-value based uncoordinated check pointing algorithm in Mobile Ad Hoc Networks (MANETs). We aim to improve the overall check pointing overhead incurred in the execution of recovery protocols. Most check pointing...
2015 / Poonam Saini, Shefali Aggarwal -
Swiftly Computing Center Strings2011 / Franziska Hufsky, Léon Kuchenbecker, Katharina Jahn, Jens Stoye, Sebastian Böcker
-
Studying the correlation between different word sense disambiguation methods and summarization effectiveness in biomedical texts2011 / Laura Plaza, Antonio J Jimeno-Yepes, Alberto Díaz, Alan R Aronson
-
Sketch Arm, Custom Closets Rapid Prototyping System
Abstract We introduce Sketch Arm, a brand new tool for custom closets rapid prototyping that allows end users to sketch a completely customized design proposal regardless of their technological training. Supported in current multi-touch hardware...
2013 / Iván Rodríguez, Silvana Gómez-Meire, Enrique Barreiro, Javier Rodeiro, Celso Campos -
Extreme point and halving edge search in abstract order types
Abstract Many properties of finite point sets only depend on the relative position of the points, e.g., on the order type of the set. However, many fundamental algorithms in computational geometry rely on coordinate representations. This includes...
2013 / Oswin Aichholzer, Tillmann Miltzow, Alexander Pilz -
Conceptual Framework for Assessing Human Anxiety on the Internet
Abstract The Internet has become a conduit for services, applications, information, content and opportunities. There is no common understanding for assessing human anxiety on the Internet. This paper aims to identify dimensions of anxieties and...
2012 / Santosh Kumar Kalwar, Kari Heikkinen, Jari Porras -
What is your Intention? Communicating Routes in Electronic Nautical Charts
Abstract This paper reports preliminary findings on a simulator study looking for unintended consequences of letting ships exchange routs by use of the Electronic Chart Display and Information System (ECDIS). In a prototype system tested ship's...
2012 / Thomas Porathe, Margareta Lützhöft, Gesa Praetorius -
Verification of Spatial and Temporal Modalities in Biochemical Systems
Abstract Biochemical systems such as metabolic and signaling pathways tend to be arranged in a physical space: the product of one reaction must be in the right place to become the reactant for the subsequent reaction in the pathway. Moreover, in...
2015 / Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte -
The end of the beginning: a reflection on the first five years of the HRI conference2010 / Christoph Bartneck
-
Message from SDMA2016 Co-chairs2016 /
-
Redundancy Elimination for LF
Abstract We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms which are redundant in the sense that they can be recovered...
2008 / Jason Reed -
Applying a Model Transformation Taxonomy to Graph Transformation Technology
Abstract A taxonomy of model transformations was introduced in [T. Mens, P.V. Gorp, A taxonomy of model transformation, in: Proc. Int'l Workshop on Graph and Model Transformation (GraMoT 2005), Electronic Notes in Computer Science (2005)]. Among...
2006 / Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai