Computer and information sciences topic list of research papers
-
Authoring Relational Queries on the Mobile Devices
Abstract In this paper, we present the design and implementation of a graphical user interface to interact with a relational database management system on touch screen based mobile devices. Our system allows users to author arbitrary graphical...
2012 / Adele Hedrick, Ken Q. Pu -
A large vocabulary continuous speech recognition system for Persian language2011 / Hossein Sameti, Hadi Veisi, Mohammad Bahrani, Bagher Babaali, Khosro Hosseinzadeh
-
Performance of amplify-and-forward cooperative networks with differential unitary space time coding2010 / Woong Cho
-
A Novel Retinal Identification System2008 / Hadi Farzin, Hamid Abrishami-Moghaddam, Mohammad-Shahram Moin
-
Seahawk: moving beyond HTML in Web-based bioinformatics analysis2007 / Paul MK Gordon, Christoph W Sensen
-
Synonym set extraction from the biomedical literature by lexical pattern discovery2008 / John McCrae, Nigel Collier
-
Sharing Implementations of Graph Rewriting Systems
Abstract Sharing graphs are a brilliant solution to the implementation of Lévy optimal reductions of λ-calculus. Sharing graphs are interesting on their own and optimal sharing reductions are just a particular reduction strategy of a more general...
2005 / Stefano Guerrini -
Preface2006 / Lubos Brim, Isabelle Linden
-
Verification of Peer-to-peer Algorithms: A Case Study
Abstract The problem of maintaining structured peer-to-peer (P2P) overlay networks in the presence of concurrent joins and failures of nodes is the subject of intensive research. The various algorithms underlying P2P systems are notoriously...
2007 / Rana Bakhshi, Dilian Gurov -
Automatic Implication Checking for CHR Constraints
Abstract Constraint Handling Rules (CHRs) are a high-level rule-based programming language commonly used to define constraint solvers. We present a method for automatic implication checking between constraints of CHR solvers. Supporting implication...
2006 / Tom Schrijvers, Bart Demoen, Gregory Duck, Peter Stuckey, Thom Frühwirth -
Hard Life with Weak Binders
Abstract We introduce weak binders, a lightweight construct to deal with fresh names in nominal calculi. Weak binders do not define the scope of names as precisely as the standard ν-binders, yet they enjoy strong semantic properties. We provide them ...
2009 / Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino -
Preface2008 / Ivana Černá, Gerald Lüttgen
-
Biological Transactions for Quantitative Models
Abstract In this work an extension of stochastic π-calculus with biological transactions is presented. This permits to model multi-reactant multi-product reactions as atomic actions when quantitative information are given. First, the syntax and the...
2007 / Federica Ciocchetta, Corrado Priami -
An Abstract Machine for the Stochastic Bioambient calculus
Abstract This paper presents an abstract machine for the stochastic bioambient calculus. The abstract machine is proved sound and complete with respect to a novel stochastic semantics, and is also shown to preserve the reduction probabilities of the ...
2009 / Andrew Phillips -
Definition and design of strongly language disjoint checkers2002 / I. Jansch, B. Courtois
-
Optimal scaling of average queue sizes in an input-queued switch: an open problem2011 / Devavrat Shah, John N. Tsitsiklis, Yuan Zhong
-
Performance-Effective and Low-Complexity Redundant Reader Detection in Wireless RFID Networks2008 / Ching-Hsien Hsu, Yi-Min Chen, Heau-Jo Kang
-
Universal shift register implementation using quantum dot cellular automata
Abstract Quantum-dot Cellular Automata (QCA) demands to be a promising alternative of CMOS in ultra large scale circuit integration. Arithmetic and logic unit designs using QCA are of high research interest. A layout of four and eight bit universal...
2016 / Tamoghna Purkayastha, Debashis De, Tanay Chattopadhyay -
Multicriteria Classification with Unknown Categories: A Clustering-Sorting Approach and an Application to Conflict Management2012 / Clara Rocha, Luis C. Dias, Isabel Dimas
-
Impact of Mobility on Performance of P2P Content Discovery Protocols Over MANET
Abstract One of the challenges over mobile ad-hoc networks is content discovery. P2P content discovery techniques including structured and unstructured can be employed in MANETs by considering its special characteristics and limitations. The most...
2012 / Mahmood Fathy, Kaamran Rahemifar, Hamideh Babaei, Morteza romoozi, Reza Berangy