Computer and information sciences topic list of research papers
-
Alignment Based Similarity distance Measure for Better Web Sessions Clustering
Abstract The evolution of the internet along with the popularity of the web has attracted a great attention among the researchers to web usage mining. Given that, there is an exponential growth in terms of amount of data available in the web that...
2011 / Poornalatha G, Prakash Raghavendra -
Improved Bags-of-Words Algorithm for Scene Recognition
Abstract This paper proposes a new bags-of-words (BoW)-based algorithm for scene/place recognition. Current scene recognition works that adopt BoW as the framework usually use a single codeword to represent the clusters obtained by k-means. Further, ...
2012 / Liu Gang, Wang Xiaochi -
Etymology: A word attack strategy for learning the english vocabulary
Abstract Various researches shows that vocabulary acquisition is one of the most important needs of English language learners. Words, like facts, are difficult to remember out of context. There are many ways to build vocabulary - thru practicing...
2011 / Masoud Hashemi, Masoud Aziznezhad -
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
Abstract We propose a decision procedure for a general class of normed commutative process rewrite systems and their induced bisimulation equivalences. Our technique is inspired by the polynomial-time algorithm for strong bisimilarity on normed...
2009 / Sibylle Fröschle, Sławomir Lasota -
A Light-Weight e-Voting System with Distributed Trust
Abstract A new agent-based scheme for secure electronic voting is proposed in the paper. The scheme is universal and can be realized in a network of stationary and mobile electronic devices. The proposed mechanism supports the implementation of a...
2007 / Aneta Zwierko, Zbigniew Kotulski -
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java
Abstract Points-to analysis is a prerequisite of program verification and static analysis on Java programs. It is known that call graph is typically constructed on-the-fly when points-to analysis proceeds for a better precision. In this work, we...
2009 / Xin Li, Mizuhito Ogawa -
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Abstract We describe a platform, IOP, for the interoperation of formal reasoning tools, and an adaptation of Maude, IMaude, that utilizes this platform. Three applications of IMaude and IOP to real world problem domains are described. ...
2005 / Ian A. Mason, Carolyn L. Talcott -
Verifying Industrial Hybrid Systems with MathSAT
Abstract Industrial systems of practical relevance can be often characterized in terms of discrete control variables and real-valued physical variables, and can therefore be modeled as hybrid automata. Unfortunately, continuity of the physical...
2005 / Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani -
Programming in Biomolecular Computation
Abstract Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems notable by its absence: Where are the programs? We introduce a...
2010 / Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen -
Stochastic Concurrent Constraint Programming
Abstract We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give an operational semantic that can be provided either with a...
2006 / Luca Bortolussi -
Memory Representations in Rewriting Logic Semantics Definitions
Abstract The executability of rewriting logic makes it a compelling environment for language design and experimentation; the ability to interpret programs directly in the language semantics develops assurance that definitions are correct and that...
2009 / Mark Hills -
GeoThms — a Web System for Euclidean Constructive Geometry
Abstract GeoThms is a web-based framework for exploring geometrical knowledge that integrates Dynamic Geometry Software (DGS), Automatic Theorem Provers (ATP), and a repository of geometrical constructions, figures and proofs. The GeoThms users can...
2007 / Pedro Quaresma, Predrag Janičić -
Dealing Denotationally With Stream-based Communication
Abstract We define a denotational semantics for a kernel-calculus of the parallel functional language Eden. We choose continuations to deal with side-effects (process creation and communication) in a lazy context. The calculus includes streams for...
2005 / Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén -
On-line Chain Partitioning as a Model for Real-time Scheduling
Abstract We consider on-line chain partitioning of a poset as a theoretical model for some variant of tasks scheduling. Restricting ourselves to interval orders given by its representation the problem is equivalent to the coloring problem of...
2005 / Przemyslaw Broniek -
Mobile iris recognition systems: An emerging biometric technology
Abstract Wireless communications has matured from a curiosity to a serious business tool. Personal digital assistants have totally replaced daytimers and notepads. But security has been lacking or weak, making such automation untrustworthy for...
2010 / Jin-Suk Kang -
Algorithm for Time-dependent Shortest Safe Path on Transportation Networks
Abstract The shortest path problem in network has been studied widely and intensively over years. Many speed-up techniques for Dijkstra's algorithm have been developed. However, only few of those techniques work in time-dependent networks. This...
2011 / Wu Jigang, Song Jin, Haikun Ji, Thambipillai Srikanthan -
Task allocation to actors in wireless sensor actor networks: an energy and time aware technique
Abstract Task allocation is a critical issue in proper engineering of cooperative applications in embedded systems with latency and energy constraints, as in wireless sensor and actor networks (WSANs). Existing task allocation algorithms are mostly...
2011 / Morteza Okhovvat, Mohsen Sharifi, Hossein Momeni -
PSO-BELBIC scheme for two-coupled distillation column process
Abstract In the two-coupled distillation column process, keeping the tray temperatures within a specified range around their steady state values assures the specifications for top and bottom product purity. The two-coupled distillation column is a 4 ...
2010 / Hassen T. Dorrah, Ahmed M. El-Garhy, Mohamed E. El-Shimy -
Effective Prediction of Thermal Conductivity of Concrete Using Neural Network Method2012 / Jong-Han Lee, Jong-Jae Lee, Baik-Soon Cho
-
A Rude Contract Language for Web Services
Abstract Several schema languages have been recently proposed for describing XML documents. The key notion of such languages is the subschema relation which is used for type checking. We present a schema language for modelling XML documents...
2006 / Samuele Carpineti, Cosimo Laneve