Computer Science

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

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

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

Checking Properties within Fairness and Behavior Abstractions

Ulrich Ultes-Nitsche,Pierre Wolper

A Note on Tiling under Tomographic Constraints

Marek Chrobak,Peter Couperus,Christoph Durr,Gerhard Woeginger

Portability of Syntactic Structure for Language Modeling

Ciprian Chelba

A Bit of Progress in Language Modeling

Joshua Goodman

On-Line Difference Maximization

Ming-Yang Kao,Stephen R. Tate

Communities of Practice in the Distributed International Environment

Paul Hildreth,Chris Kimble,Peter Wright

Open Archives Initiative protocol development and implementation at arXiv

Simeon Warner

Security Considerations for Remote Electronic Voting over the Internet

Aviel D. Rubin

Links tell us about lexical and semantic Web content

Filippo Menczer

The Cactus Worm: Experiments with Dynamic Resource Discovery and Allocation in a Grid Environment

Gabrielle Allen,David Angulo,Ian Foster,Gerd Lanfermann,Chuang Liu,Thomas Radke,Ed Seidel,John Shalf

Using Methods of Declarative Logic Programming for Intelligent Information Agents

T. Eiter,M. Fink,G. Sabbatini,H. Tompits

Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking

Shaz Qadeer

Bounded Concurrent Timestamp Systems Using Vector Clocks

Sibsankar Haldar,Paul Vitanyi

CRL at Ntcir2

Masaki Murata,Masao Utiyama,Qing Ma,Hiromi Ozaku,Hitoshi Isahara

A Decision Tree of Bigrams is an Accurate Predictor of Word Sense

Ted Pedersen

Magical Number Seven Plus or Minus Two: Syntactic Structure Recognition in Japanese and English Sentences

Masaki Murata,Kiyotaka Uchimoto,Qing Ma,Hitoshi Isahara

A Machine-Learning Approach to Estimating the Referential Properties of Japanese Noun Phrases

Masaki Murata,Kiyotaka Uchimoto,Qing Ma,Hitoshi Isahara

A Dualheap Selection Algorithm - A Call for Analysis

Greg Sepesi

The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete

Volker Diekert,Claudio Gutierrez,Christian Hagenah

Quantum Clock Synchronization with one qubit

Chris Harrelson,Iordanis Kerenidis

Meaning Sort - Three examples: dictionary construction, tagged corpus construction, and information presentation system

Masaki Murata,Kyoko Kanzaki,Kiyotaka Uchimoto,Qing Ma,Hitoshi Isahara

Learning Policies with External Memory

Leonid Peshkin,Nicolas Meuleau,Leslie Kaelbling

Mantaining Dynamic Matrices for Fully Dynamic Transitive Closure

Camil Demetrescu,Giuseppe F. Italiano

The Anatomy of the Grid - Enabling Scalable Virtual Organizations

Ian Foster,Carl Kesselman,Steven Tuecke

Secure, Efficient Data Transport and Replica Management for High-Performance Data-Intensive Computing

Bill Allcock,Joe Bester,John Bresnahan,Ann L. Chervenak,Ian Foster,Carl Kesselman,Sam Meder,Veronika Nefedova,Darcy Quesnel,Steven Tuecke

Complexity Results and Practical Algorithms for Logics in Knowledge Representation

Stephan Tobies

Using the No-Search Easy-Hard Technique for Downward Collapse

Edith Hemaspaandra,Lane A. Hemaspaandra,Harald Hempel

A Note on the Complexity of Computing the Smallest Four-Coloring of Planar Graphs

Andre Grosse,Joerg Rothe,Gerd Wechsung

On some optimization problems for star-free graphs

V. G. Naidenko,Yu. L. Orlovich

Computing Complete Graph Isomorphisms and Hamiltonian Cycles from Partial Ones

André Grosse,Joerg Rothe,Gerd Wechsung

Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems

M. H. van Emden

Modelling Legal Contracts as Processes

Aspassia Daskalopulu

Modelling Contractual Arguments

Chris Reed,Aspassia Daskalopulu

File mapping Rule-based DBMS and Natural Language Processing

Vjacheslav M. Novikov

A Constraint-Driven System for Contract Assembly

Aspassia Daskalopulu,Marek Sergot

The Representation of Legal Contracts

Aspassia Daskalopulu,Marek Sergot

HTTP Cookies: Standards, Privacy, and Politics

David M. Kristol

The OLAC Metadata Set and Controlled Vocabularies

Steven Bird,Gary Simons

Analysis of Polymorphically Typed Logic Programs Using ACI-Unification

Jan-Georg Smaus

Learning to Cooperate via Policy Search

Leonid Peshkin,Kee-Eung Kim,Nicolas Meuleau,Leslie Pack Kaelbling

State Analysis and Aggregation Study for Multicast-based Micro Mobility

Ahmed Helmy

Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments

Shlomi Dolev,Ted Herman

On the Area of Hypercube Layouts

Ronald I. Greenberg,Lee Guan

Joint and conditional estimation of tagging and parsing models

Mark Johnson

Vertex-Unfoldings of Simplicial Manifolds

Erik D. Demaine,David Eppstein,Jeff Erickson,George W. Hart,Joseph O'Rourke

Nonorthogonal Polyhedra Built from Rectangles

Melody Donoso,Joseph O'Rourke

Analyzing Website Choice Using Clickstream Data

Avi Goldfarb

Limits To Certainty in QoS Pricing and Bandwidth

Carolyn Gideon,L Jean Camp

The Increased Need For FCC Merger Review In A Networked World

Harold Feld

Algorithmic Self-Assembly of DNA Tiles and its Application to Cryptanalysis

Olivier Pelletier,Andre Weimerskirch