Computer and information sciences topic list of research papers
-
p-Automata: New foundations for discrete-time probabilistic verification
Abstract We introduce p-Automata, which are automata that accept languages of Markov chains, by adapting notions and techniques from alternating tree automata to the realm of Markov chains. The set of languages of p-automata is closed under Boolean...
2012 / Michael Huth, Nir Piterman, Daniel Wagner -
An extended ontology-based context model and manipulation calculus for dynamic Web service processes2013 / Kosala Yapa Bandara, MingXue Wang, Claus Pahl
-
A Novel Digital Video Watermarking Algorithm
Abstract In this paper, we propose a digital video watermarking algorithm for H.264. The proposed algorithm exploits the specific characteristics of the compression standard H.264. The watermark to be embedded into the original video is randomly...
2011 / Xue Junxiao, Li Qingbin, Li Zhiyong -
Different decision tree induction strategies for a medical decision problem2012 / Robert Burduk, Michal Wozniak
-
A Framework of Evaluation Location Privacy in Mobile Network
Abstract In modern mobile networks, people increasingly tend to use location-based services, which would share their location information with third-party servers. Such communications leaking users’ location information may be observed by...
2013 / Chao Lee, Yunchuan Guo, Lihua Yin -
Adaptive routing for mobile ad hoc networks2012 / Jeroen Hoebeke, Ingrid Moerman, Piet Demeester
-
Intelligent Robot Navigation using View Sequences and a Sparse Distributed Memory2011 / Mateus Mendes, A. Paulo Coimbra, Manuel M. Crisóstomo
-
A Panoramic View of Language in an Adult with Agrammatic Aphasia: Some Clinical Implications2010 / Venu Balasubramanian, Cortney Carey
-
Personalized Service Creation by Non-technical Users in the Homecare Domain
Abstract One of the conditions for the successful introduction of ICT-based homecare services is to allow non-technical persons such as home nurses to personalize these services. We refer to this process of homecare service personalization as...
2011 / Mohammad Zarifi Eslami, Alireza Zarghami, Brahmananda Sapkota, Marten van Sinderen -
nesC-TinyOS model for parallel and distributed computation of max independent set by Hopfield network on wireless sensor network
Abstract This paper, the second one in a three-paper sequence, presents the nesC model of a Hopfield neural network configured for a static optimization problem, the maximum independent set, in fully parallel and distributed mode for TinyOS-based...
2011 / Jiakai Li, Gursel Serpen -
The Research on Automatic Construction of Domain Model Based on Deep Web Query Interfaces
Abstract The integration of services is transparent, meaning that users no longer face the millions of Web services, do not care about the required data stored, but do not need to learn how to obtain these data. In this paper, we analyze the...
2011 / Gu JianPing -
A rank-based Prediction Algorithm of Learning User's Intention
Abstract Internet search has become an important part in people's daily life. People can find many types of information to meet different needs through search engines on the Internet. There are two issues for the current search engines: first, the...
2012 / Jie Shen, Ying Gao, Cang Chen, HaiPing Gong -
Automatic Generation of Product Association Networks Using Latent Dirichlet Allocation
Abstract We present a method for extracting semantic networks of words that consumers associate with products and brands, and illustrate the method using reviews of McDonald's products from the opinion platform www.ciao.de as examples. We model the...
2011 / Javier Sanchez-Monzon, Johannes Putzke, Kai Fischbach -
Secure Communication with Network Coding
Abstract In this paper, we consider the problem of secure communication over wiretap multicast networks. Noticing that network coding renders the intermediate nodes to mix information from different data flows, we propose a secure communication...
2012 / Zhanghua Cao, Yuansheng Tang, Jinquan Luo -
The Study on Network Examinational Database based on ASP Technology
Abstract This article introduces the structure of the general test base system based on .NET technology, discussing the design of the function modules and its implementation methods. It focuses on key technology of the system, proposing utilizing...
2012 / Yanfu Zhang, Yuexiao Han, Yanshuang Zhou -
The Design of the Mobile SMS Data Analysis Interaction Platform
Abstract The paper aims to transform the existing Mobile SMS data analysis platform and improve the functions in different aspects such as the internal business data service, the survey service, the mail service, the warning reports of operation...
2012 / Wang Tao -
Hard combinators
Abstract Hard Interaction systems can be presented as graph relabeling with a handshake mechanism that provide local synchronization. We present a particular one with only four symbols and seven rules that can be used to simulate all the other hard...
2008 / Denis Béchet, Sylvain Lippi -
Model-driven Transformation-based Generation of Java Stress Tests
Abstract This paper describes a practical application of transformation-based analysis and code generation. An overview is given of an approach for automatically constructing Java stress tests whose execution exercises all “interesting” class...
2007 / Victor L. Winter -
Infinite Trace Equivalence
Abstract We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. We discuss the difficulties with traditional approaches, where ...
2006 / Paul Blain Levy -
Logical Semantics for Stability
Abstract Type assignment systems for λ-calculus based on intersection types are a general framework for building models of λ-calculus (known as filter-models) which are useful tools for reasoning in a finitary way about the denotational...
2009 / Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca