Computer and information sciences topic list of research papers
-
Data-intensive architecture for scientific knowledge discovery2012 / Malcolm Atkinson, Chee Sun Liew, Michelle Galea, Paul Martin, Amrey Krause, et al.
-
Trace Semantics for Coalgebras
Abstract Traditionally, traces are the sequences of labels associated with paths in transition systems X → P ( A ...
2004 / Bart Jacobs -
Lazy Logical Semantics2004 / Luca Paolini, Simona Ronchi Della Rocca
-
Data Warehouse Design For Earth Observation Satellites
Abstract With the development of Earth observation technology and the growing demand of remote sending data and images, more and more Earth observation satellites are being launched, and more and more data is generated. To take full advantage of all ...
2012 / Shenggang Liu, Chao Han, Shaokai Wang, Qinqin Luo -
Surveying and Plotting Method for the River Channel Section Based on the Total Station and CASS
Abstract The watercourse section surveying has become more and more important in engineering reconnaissance nowadays, and based on ever urgent social demand for watercourse section surveying, the paper analyzed the subject of how to improve the...
2012 / SUN Qingjuana, CHEN Hui -
A Joint Energy-balanced Organizing Scheme with Hexagon-Clustered Algorithm and Cooperative MIMO for WSNs
Abstract Energy efficiency and load balance are two important factors to prolong network lifetime in wireless sensor networks (WSNs). In this paper, we propose a joint energy-balanced organizing scheme, which combines energy-balanced LEACH...
2012 / Qiuling Tang, Li Deng, Yongming Qin, Xian Li, Xiuyu Yue -
Consistency of the Neighbor-Net Algorithm2007 / David Bryant, Vincent Moulton, Andreas Spillner
-
Optical Flow Estimation using Phase Only-Correlation
Abstract In this work, we present an optical flow algorithm with a highly reduced set of motion vector candidates that are obtained by the Phase-Only Correlation function. For each candidate and each pixel, we estimate the cost of assigning the...
2013 / Alejandro Reyes, Alfonso Alba, Edgar R. Arce-Santana -
Semantic inference using chemogenomics data for drug discovery2011 / Qian Zhu, Yuyin Sun, Sashikiran Challa, Ying Ding, Michael S Lajiness, et al.
-
An Evolutionary Approach to Improve Connectivity Prediction in Mobile Wireless Sensor Networks
Abstract Connectivity is the basic factor for the proper operation of any wireless network. In a mobile wireless sensor network it is a challenge for applications and protocols to deal with connectivity problems, as links might get up and down...
2012 / Gustavo Medeiros de Araújo, A.R. Pinto, Jörg Kaiser, Leandro Buss Becker -
One-sided Dense Matrix Factorizations on a Multicore with Multiple GPU Accelerators*
Abstract One-sided dense matrix factorizations are important computational kernels in many scientific and engineering simulations. In this paper, we propose two extensions of both right-looking (LU and QR) and left-looking (Cholesky) one-sided...
2012 / Ichitaro Yamazaki, Stanimire Tomov, Jack Dongarra -
Cryptanalysis and Security Improvements of ‘Two-Factor User Authentication in Wireless Sensor Networks’2010 / Muhammad Khurram Khan, Khaled Alghathbar
-
Self-Management Framework for Mobile Autonomous Systems2011 / Eskindir Asmare, Anandha Gopalan, Morris Sloman, Naranker Dulay, Emil Lupu
-
Preface2009 / Michael Goldsmith, Bill Roscoe
-
A Generalized Higher-Order Chemical Computation Model
Abstract Gamma is a programming model where computation is seen as chemical reactions between data represented as molecules floating in a chemical solution. Formally, this model is represented by the rewriting of a multiset where rewrite rules model ...
2006 / J.-P. Banâtre, P. Fradet, Y. Radenac -
Automated Mapping of Reo Circuits to Constraint Automata
Abstract A tool is developed in order to input Reo circuits and generate their corresponding constraint automata. The XML schemas for input and output are presented which establish a common interface for generating an integrated set of tools. Two...
2006 / Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani -
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers
Abstract Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such constraints in termination tools is treating them as polynomial...
2008 / Salvador Lucas, Rafael Navarro-Marset -
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic
Abstract We extend the result on the equivalence between functional and multivalued dependencies in relational databases and a fragment of propositional logic. It is shown that this equivalence still holds for functional and multivalued dependencies ...
2005 / Sven Hartmann, Sebastian Link -
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
Abstract Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theories. In addition to providing a check for satisfiability, the individual ...
2006 / Shuvendu K. Lahiri, Madanlal Musuvathi -
Appraisalweb: an online platform for the pedagogical evaluation of Web-based Language Learning Resources
Abstract This paper presents APPRAISALWeb, a 2-year Research & Development project jointly funded by the Universidad Politécnica de Valencia and the regional government of Valencia (Spain), and developed by the CAMILLE Research Group at that...
2011 / Rafael Seiz-Ortiz, Ana Gimeno-Sanz, Jose Macario de Siqueira