Computer and information sciences topic list of research papers
-
Semantic querying of relational data for clinical intelligence: a semantic web services-based approach2013 / Alexandre Riazanov, Artjom Klein, Arash Shaban-Nejad, Gregory W Rose, Alan J Forster, et al.
-
Neighborhood-Sheaf Semantics for First-Order Modal Logic
Abstract This paper extends neighborhood semantics for propositional modal logic to the first-order case, by unifying topological-sheaf semantics (in [Awodey, S. and K. Kishida, Topology and modality: the topological interpretation of first-order...
2011 / Kohei Kishida -
ENT: A Generic Meta-Model for the Description of Component-Based Applications
Abstract Current best practice in modeling component-based applications is the use of UML extended by a profile. This solution provides a general and common approach of application description and allows to capture some details based on the concrete ...
2011 / Jaroslav Šnajberk, Přemek Brada -
2-Dimensional Directed Type Theory
Abstract Recent work on higher-dimensional type theory has explored connections between Martin-Löf type theory, higher-dimensional category theory, and homotopy theory. These connections suggest a generalization of dependent type theory to account...
2011 / Daniel R. Licata, Robert Harper -
Expressiveness of Hybrid Temporal Logic on Data Words
Abstract Hybrid temporal logic (HTL) on data words can be considered as an extension of the logic LTL↓ introduced by Demri and Lazic [Stephane Demri and Ranko Lazic. LTL with the freeze quantifier and register automata. In LICSʼ06: Proceedings of...
2011 / Ahmet Kara, Thomas Schwentick -
Microcalcification detection in digital mammograms using novel filter bank
Abstract Mammography is a widely used diagnostic technique for early breast cancer detection in women. Clusters of Microcalcification are the sign of breast cancer and their detection will decrease the probability of mortality rate and improves its...
2010 / T. Balakumaran, ILA. Vennila, C. Gowri Shankar -
MAPIT: a pedagogical-relational ITS
Abstract The majority of Intelligent Tutoring System architectures are focused on supporting learners through content retrieval or in one or more given subject matters; examples of this can be found in Baghera [1], MyClass, Andes [2], Gramy,...
2011 / Pier Giuseppe Rossi, Simone Carletti -
Analytical efficiency evaluation of a network mobility management protocol for Intelligent Transportation Systems2012 / Nerea Toledo, Marivi Higuero, Jasone Astorga, Marina Aguado, Xavier Lagrange
-
A speedup technique for dynamic graphs using partitioning strategy and multithreaded approach
Abstract There are many pre-processing-based speedup techniques for shortest path problems that are available in the literature. These techniques have an increased demand because of large datasets in such applications such as roadmaps, web search...
2013 / R. Kalpana, P. Thambidurai -
Context-Aware Driver Assistance System
Abstract In the last few years, significant improvements have been made in the area of vehicular communication systems. In fact, vehicle-to-vehicle communication and vehicle-to-infrastructure are considered a key concept for keeping roads safe. An...
2012 / Wael Alghamdi, Elhadi Shakshuki, Tarek R.Sheltami -
Online Social Network Evolving Model Based on Damping Factor
Abstract Recently the evolving model of network has become one of hot research topics. Since the BA model is presented, many kinds of evolving models have been proposed. However the generation mechanism of existing evolving model of online social...
2012 / Guoyong Cai, Ruili Wang, Baohua Qiang -
Analysis of the Co-routing Problem in Agent-based Carpooling Simulation
Abstract Carpooling can cut costs and help to solve congestion problems but does not seem to be popular. Behavioral models allow to study the incentives and inhibitors for carpooling and the aggregated effect on the transportation system. In...
2012 / Luk Knapen, Daniel Keren, Ansar-Ul-Haque Yasar, Sungjin Cho, Tom Bellemans, et al. -
Online traffic grooming using timing information in WDM–TDM networks
Abstract In this paper, the effect of holding time awareness on the process of time slot assignment in WDM–TDM is considered. Use has been made of Markov model in order to predict the wavelength congestion. A routing algorithm is developed based on...
2012 / Tabarak allah Ali Mohamed, Gamal Abdel Fadeel Mohamed Khalaf -
Customization of Web applications through an intelligent environment exploiting logical interface descriptions2007 / José A. Macías, Fabio Paternò
-
Electric Load Disaggregation in Smart Metering Using a Novel Feature Extraction Method and Supervised Classification
Abstract Improving energy efficiency by monitoring household electrical consumption is of significant importance with the present-day climate change concerns. A solution for the electrical consumption management problem is the use of a nonintrusive...
2011 / Khaled Chahine, Khalil El Khamlichi Drissi, Christophe Pasquier, Kamal Kerroum, Claire Faure, et al. -
Access Network Selection Based on Fuzzy Logic and Genetic Algorithms2008 / Mohammed Alkhawlani, Aladdin Ayesh
-
An ontology for TRIZ
Abstract This paper discusses the usefulness of an ontology for TRIZ and is an attempt to provide its readers (researchers, industrialists, educators, students) with answers regarding elementary questions they may have concerning TRIZ groundings and ...
2011 / Denis Cavallucci, François Rousselot, Cécilia Zanni -
Construction of Wireless Fire Alarm System Based on ZigBee Technology
Abstract This paper points out the defect of wired automatic fire alarm system in used, and the necessity and possibility of constructing wireless fire alarm system. ZigBee technology based on IEEE802.15.4 and its characteristics are introduced. We...
2011 / MA Shu-guang -
Don’t Interrupt Me While I Type: Inferring Text Entered Through Gesture Typing on Android Keyboards2016 / Laurent Simon, Wenduan Xu, Ross Anderson
-
A Hop-Count Analysis Scheme for Avoiding Wormhole Attacks in MANET2009 / Shang-Ming Jen, Chi-Sung Laih, Wen-Chung Kuo