Computer Science

OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

主页: http://arxiv.org/corr

Full Text Searching in the Astrophysics Data System

Günther Eichhorn,Alberto Accomazzi,Carolyn S. Grant,Edwin A. Henneken,Donna M. Thompson,Michael J. Kurtz,Stephen S. Murray

Data in the ADS -- Understanding How to Use it Better

Carolyn S. Grant,Alberto Accomazzi,Donna Thompson,Edwin Henneken,Guenther Eichhorn,Michael J. Kurtz,Stephen S. Murray

XString: XML as a String

William F. Gilreath

Paper to Screen: Processing Historical Scans in the ADS

Donna M. Thompson,Alberto Accomazzi,Guenther Eichhorn,Carolyn Grant,Edwin Henneken,Michael J. Kurtz,Elizabeth Bohlen,Stephen S. Murray

Postinal Determinacy of Games with Infinitely Many Priorities

Erich Graedel,Igor Walukiewicz

Community Detection in Complex Networks Using Agents

Ismail Gunes,Haluk Bingol

Covering selfish machines

Leah Epstein,Rob van Stee

Tree Automata Make Ordinal Theory Easy

Thierry Cachat

A Quasigroup Based Cryptographic System

Maruti Satti

Implementing a Unification Algorithm for Protocol Analysis with XOR

Max Tuengerthal,Ralf Kuesters,Mathieu Turuani

Share and Disperse: How to Resist Against Aggregator Compromises in Sensor Networks

Thomas Claveirole,Marcelo Dias de Amorim,Michel Abdalla,Yannis Viniotis

Towards a Bayesian framework for option pricing

Henryk Gzyl,Enrique ter Horst,Samuel Malone

Dependency Treebanks: Methods, Annotation Schemes and Tools

Tuomo Kakkonen

Low-complexity modular policies: learning to play Pac-Man and a new framework beyond MDPs

Istvan Szita,Andras Lorincz

Decentralized Failure Diagnosis of Stochastic Discrete Event Systems

Fuchun Liu,Daowen Qiu,Hongyan Xing,Zhujun Fan

Comparing Typical Opening Move Choices Made by Humans and Chess Engines

Mark Levene,Judit Bar-Ilan

Farthest-Point Heuristic based Initialization Methods for K-Modes Clustering

Zengyou He

The Application of Fuzzy Logic to the Construction of the Ranking Function of Information Retrieval Systems

Neil Rubens

On Verifying Complex Properties using Symbolic Shape Analysis

Thomas Wies,Viktor Kuncak,Karen Zee,Andreas Podelski,Martin Rinard

Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems

Joachim Wehler

The Three Gap Theorem (Steinhauss Conjecture)

Micaela Mayero

Throughput Optimal Distributed Control of Stochastic Wireless Networks

Yufang Xi,Edmund M. Yeh

Modelling and Simulation of Scheduling Policies Implemented in Ethernet Switch by Using Coloured Petri Nets

Belynda Brahimi,Christophe Aubrun,Eric Rondeau

Reducing the Makespan in Hierarchical Reliable Multicast Tree

Sang-Seon Byun,Chuck Yoo

PAC Learning Mixtures of Axis-Aligned Gaussians with No Separation Assumption

Jon Feldman,Ryan O'Donnell,Rocco A. Servedio

Metric entropy in competitive on-line prediction

Vladimir Vovk

Measuring Fundamental Properties of Real-World Complex Networks

Matthieu Latapy,Clemence Magnien

Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts

Philip Bille,Rolf Fagerberg,Inge Li Goertz

k-Colorability of P5-free graphs

C. T. Hoang,J. Sawada,X. Shu

Algebraic recognizability of regular tree languages

Zoltan Esik,Pascal Weil

Binomial multichannel algorithm

A. Lavrenov

Private Approximate Heavy Hitters

Martin J. Strauss,Xuan Zheng

CR-precis: A deterministic summary structure for update data streams

Sumit Ganguly,Anirban Majumder

Secure Controlled Teleportation

Dan Kenigsberg,Tal Mor

Social Decision Making with Multi-Relational Networks and Grammar-Based Particle Swarms

Marko A. Rodriguez

On some winning strategies for the Iterated Prisoner's Dilemma or Mr. Nice Guy and the Cosa Nostra

Wolfgang Slany,Wolfgang Kienreich

A Fast Image Encryption Scheme based on Chaotic Standard Map

Kwok-Wo Wong,Bernie Sin-Hung Kwok,Wing-Shing Law

A Predicative Harmonization of the Time and Provable Hierarchies

Salvatore Caporaso

Generalized Majority-Minority Operations are Tractable

Victor Dalmau

Geometrical organization of solutions to random linear Boolean equations

Thierry Mora,Marc Mézard

On the freeze quantifier in Constraint LTL: decidability and complexity

Stéphane Demri,Ranko Lazic,David Nowak

Approximation Algorithms for the Bipartite Multi-cut Problem

Sreyash Kenkre,Sundar Vishwanathan

Dichotomies and Duality in First-order Model Checking Problems

Barnaby Martin

Classifying extrema using intervals

Marek W. Gutowski

The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

Parikshit Gopalan,Phokion G. Kolaitis,Elitza Maneva,Christos H. Papadimitriou

Baire Categories on Small Complexity Classes and Meager-Comeager Laws

Philippe Moser

The traveling salesman problem: A Linear programming formulation

Moustapha Diaby

Minimum-weight Cycle Covers and Their Approximability

Bodo Manthey

Multilingual person name recognition and transliteration

Bruno Pouliquen,Ralf Steinberger,Camelia Ignat,Irina Temnikova,Anna Widiger,Wajdi Zaghouani,Jan Zizka

Geocoding multilingual texts: Recognition, disambiguation and visualisation

Bruno Pouliquen,Marco Kimler,Ralf Steinberger,Camelia Ignat,Tamara Oellinger,Ken Blackler,Flavio Fuart,Wajdi Zaghouani,Anna Widiger,Ann-Charlotte Forslund,Clive Best