Computer and information sciences topic list of research papers
-
A Fast and Adaptive Search Algorithm Based on Rood Pattern and Gradient Descent
Abstract In order to achieve the real-time property for video coding, a fast and adaptive algorithm based on starting search point prediction and early-termination strategy is proposed. It analyzes center-bias property and spatial correlation...
2012 / Mu-Long Lin, Qing-Ming Yi, Min Shi -
Customer Behavior Clustering Using SVM
Abstract In order to supply better service for network customers, deeply analyzing customers’ behavior is required. This paper extracts three features from customers’ network behavior which is divided into different categories, such as browsing...
2012 / Zhongying Yang, Xiaolong Su -
Neural Network Structure Study In Child Mental Health Disorders Intelligent Diagnosis System*
Abstract In our country there are about 60 millions mental health disorders children who need mental health care according large scope epidemiological investigation. But the child psychiatrists in China are not enough to serve so many kids. We hope...
2011 / Chen Bing-Mei, Fan Xiao-Ping, Zhou Zhi-Ming, Li Xue-Rong -
A MRF-Based Clustering Algorithm for Remote Sensing Images by Using the Latent Dirichlet Allocation Model
Abstract MRF (Markov Random Field)-based analysis of remotely sensed imagery provides valuable spatial and structural information that are complementary to pixel-based spectral information in image clustering. In this paper, we present a novel...
2011 / Hong Tang, Li Shen, Xin Yang, Yinfeng Qi, Weiguo Jiang, et al. -
Using the Internet of Things Technology Constructing Digital Mine
Abstract From the basic concept of Internet of Things and digital mine, the article described the theory and framework of using the Internet of Things technology constructing digital mines, aiming at explaining that as a new technology the Internet...
2011 / Liu Yu-fang, Song Jin-xing -
Access Control on Grid Resources Using Radial Basis Function Neural Network
Abstract Due to realization of the grid environment as commercial grid where diverse and unknown users can access the grid resources for job execution, resource access control becomes a major issue. Traditional methods of providing access control to ...
2012 / Punam Bedi, Bhavna Gupta, Harmeet Kaur -
Preference profiles determining the proposals in the Gale–Shapley algorithm for stable matching problems2012 / Noriyoshi Sukegawa, Yoshitsugu Yamamoto
-
Failure Reasoning in Multiple-Strategy Proof Planning
Abstract Monitoring a solution process and applying the right action at the right moment are at the heart of intelligent problem solving by humans. This includes the analysis of failure events and the development of “recommendations” to overcome...
2005 / Andreas Meier, Erica Melis -
A Rewriting-based Framework for Web Sites Verification
Abstract In this paper, we develop a framework for the automated verification of Web sites which can be used to specify integrity conditions for a given Web site, and then automatically check whether these conditions are fulfilled. First, we provide ...
2005 / M. Alpuente, D. Ballis, M. Falaschi -
A Space-Aware Bytecode Verifier for Java Cards
Abstract The bytecode verification is a key point of the security chain of the Java Platform. This feature is optional in many embedded devices since the memory requirements of the verification process are too high. In this paper we propose a...
2005 / Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci -
On the Formal Verification of Middleware Behavioral Properties
Abstract Distribution middleware is often integrated as a COTS, providing distribution facilities for critical, embedded or large-scale applications. So far, typical middleware does not come with a complete analysis of their behavioral properties....
2005 / Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Soheib Baarir, et al. -
Exponentiation of Scott Formal Topologies2004 / Maria Emilia Maietti, Silvio Valentini
-
Control Flow Analysis for BioAmbients
Abstract This paper presents a static analysis for investigating properties of biological systems specified in BioAmbients. We exploit the control flow analysis to decode the bindings of variables induced by communications and to build a relation of ...
2007 / Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa -
Super-threshold Procedures and Their Application to the Search Problem
Abstract The paper examines a choice problem in case of large number of alternatives characterized by a set of criteria. Very often existing choice procedures cannot be used due to their computational complexity. In contrast, the approach proposed...
2013 / Fuad Aleskerov, Evgeny Mitichkin, Sergey Shvydun, Vyacheslav Yakuba -
Bicriterion Shortest Path Problem with a General Nonadditive Cost
Abstract A bicriterion shortest path problem with a general nonadditive cost seeks to optimize a combination of two path costs, one of which is evaluated by a nonlinear function. This paper first identifies a number of emerging transportation...
2013 / Peng (Will) Chen, Yu (Marco) Nie -
Evolving Taxonomy of Business Models for Mobile Service Delivery Platform
Abstract The state of mobile technology and its widespread use has evolved drastically within the past several years. Cell phones with small monochrome displays – designed solely for phone calls and text messaging – have turned into miniaturized...
2012 / A. Becker, A. Mladenowa, N. Kryvinska, C. Strauss -
Real–Virtual Fusion Production Scheduling Using Social Contract-based Approach – Effectiveness of Adjusting Virtual System Size –
Abstract This report proposes a new concept of an agent-based Real–Virtual Fusion Manufacturing System (RVF-MS), with the aim of dealing with both external and internal fluctuations adaptively and effectively by realizing a fusion between a real...
2012 / N. Fujii, Y. Qian, T. Kaihara -
The k-in-a-Path Problem for Claw-free Graphs2010 / Jiří Fiala, Marcin Kamiński, Bernard Lidický, Daniël Paulusma
-
Gene association analysis: a survey of frequent pattern mining from gene expression data2009 / R. Alves, D. S. Rodriguez-Baena, J. S. Aguilar-Ruiz
-
Interaction in Time and Space
Abstract Distributed π-calculus and ambient calculus are extended with timers which may trigger timeout recovery processes. Timers provide a useful notion of relative time with respect to the interaction in a distributed system. The rather flat...
2008 / Gabriel Ciobanu