Computer Science

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

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

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

Anonymous Oblivious Transfer

J. Mueller-Quade,H. Imai

Index Assignment for Multichannel Communication under Failure

Tanya Y. Berger-Wolf,Edward M. Reingold

Web Mining Research: A Survey

Raymond Kosala,Hendrik Blockeel

Termination analysis of logic programs using acceptability with general term orders

Alexander Serebrenik,Danny De Schreye

Rewriting Calculus: Foundations and Applications

Horatiu Cirstea

Automatic Termination Analysis of Programs Containing Arithmetic Predicates

Nachum Dershowitz,Naomi Lindenstrauss,Yehoshua Sagiv,Alexander Serebrenik

Automatic Debugging Support for UML Designs

Johann Schumann

On-the-fly Query-Based Debugging with Examples

Raimondas Lencevicius

The Role of Commutativity in Constraint Propagation Algorithms

Krzysztof R. Apt

Improving Performance of heavily loaded agents

Fatma Ozcan,VS Subrahmanian,Juergen Dix

Enriching very large ontologies using the WWW

Eneko Agirre,Olatz Ansa,Eduard Hovy,David Martinez

One Sense per Collocation and Genre/Topic Variations

David Martinez,Eneko Agirre

A Formal Framework for Linguistic Annotation (revised version)

Steven Bird,Mark Liberman

Extraction of semantic relations from a Basque monolingual dictionary using Constraint Grammar

Eneko Agirre,Olatz Ansa,Xabier Arregi,Xabier Artola,Arantza Diaz de Ilarraza,Mikel Lersundi,David Martinez,Kepa Sarasola,Ruben Urizar

On the relationship between fuzzy logic and four-valued relevance logic

Umberto Straccia

Data Mining in Astronomical Databases

Kirk D. Borne

Towards a Theory of Cache-Efficient Algorithms

Sandeep Sen,Siddhartha Chatterjee,Neeraj Dumir

A Public-key based Information Management Model for Mobile Agents

Diego Rodriguez,Igor Sobrado

The Random Oracle Methodology, Revisited

Ran Canetti,Oded Goldreich,Shai Halevi

Computational Geometry Column 40

Joseph O'Rourke

Internet Packet Filter Management and Rectangle Geometry

David Eppstein,S. Muthukrishnan

Low Ambiguity in Strong, Total, Associative, One-Way Functions

Christopher M. Homan

The Light Lexicographic path Ordering

E. A. Cichon,J-Y. Marion

Exploring automatic word sense disambiguation with decision lists and the Web

Eneko Agirre,David Martinez

Finding consensus in speech recognition: word error minimization and other applications of confusion networks

L. Mangu,E. Brill,A. Stolcke

Automatic Extraction of Subcategorization Frames for Czech

Anoop Sarkar,Daniel Zeman

Anaphora Resolution in Japanese Sentences Using Surface Expressions and Examples

Masaki Murata

Introduction to the CoNLL-2000 Shared Task: Chunking

Erik F. Tjong Kim Sang,Sabine Buchholz

Modeling Ambiguity in a Multi-Agent System

Christof Monz

Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison

Nikolay Pelov,Emmanuel De Mot,Marc Denecker

Designing Proxies for Stock Market Indices is Computationally Hard

Ming-Yang Kao,Stephen R. Tate

Simplest random K-satisfiability problem

F. Ricci-Tersenghi,M. Weigt,R. Zecchina

Ensembles of Radial Basis Function Networks for Spectroscopic Detection of Cervical Pre-Cancer

Kagan Tumer,Nirmala Ramanujam,Joydeep Ghosh,Rebecca Richards-Kortum

Linear and Order Statistics Combiners for Pattern Classification

Kagan Tumer,Joydeep Ghosh

Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition

Thomas G. Dietterich

State Abstraction in MAXQ Hierarchical Reinforcement Learning

Thomas G. Dietterich

Analysis of approximate nearest neighbor searching with clustered point sets

Songrit Maneewongvatana,David M. Mount

Compacting the Penn Treebank Grammar

Alexander Krotov,Mark Hepple,Robert Gaizauskas,Yorick Wilks

PSPACE has 2-round quantum interactive proof systems

John Watrous

An Empirical Approach to Temporal Reference Resolution (journal version)

Janyce Wiebe,Thomas P. O'Hara,Thorsten Ohrstrom-Sandgren,Kenneth K. McKeever

Average-Case Complexity of Shellsort

Tao Jiang,Ming Li,Paul Vitanyi

Additive models in high dimensions

Markus Hegland,Vladimir Pestov

Fast Hierarchical Clustering and Other Applications of Dynamic Closest Pairs

David Eppstein

New Error Bounds for Solomonoff Prediction

Marcus Hutter

HMM Specialization with Selective Lexicalization

Jin-Dong Kim,Sang-Zoo Lee,Hae-Chang Rim

Mixed-Level Knowledge Representation and Variable-Depth Inference in Natural Language Processing

Michael Hess

Further Results on Arithmetic Filters for Geometric Predicates

Olivier Devillers,Franco P. Preparata

Unambiguous Computation: Boolean Hierarchies and Sparse Turing-Complete Sets

Lane A. Hemaspaandra,Joerg Rothe

Consistent Checkpointing in Distributed Databases: Towards a Formal Approach

R. Baldoni,F. Quaglia,M. Raynal

Efficient and Extensible Algorithms for Multi Query Optimization

Prasan Roy,S. Seshadri,S. Sudarshan,Siddhesh Bhobe