Computer Science

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

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

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

Optimal Bidding Algorithms Against Cheating in Multiple-Object Auctions

Ming-Yang Kao,Junfeng Qi,Lei Tan

When Can You Fold a Map?

Esther M. Arkin,Michael A. Bender,Erik D. Demaine,Martin L. Demaine,Joseph S. B. Mitchell,Saurabh Sethia,Steven S. Skiena

Chip-level CMP Modeling and Smart Dummy for HDP and Conformal CVD Films

George Yong Liu,Ray F. Zhang,Kelvin Hsu,Lawrence Camilletti

Optimal Buy-and-Hold Strategies for Financial Markets with Bounded Daily Returns

Gen-Huey Chen,Ming-Yang Kao,Yuh-Dauh Lyuu,Hsing-Kuo Wong

Do All Fragments Count?

Rens Bod

A Novelty-based Evaluation Method for Information Retrieval

Atsushi Fujii,Tetsuya Ishikawa

Formal Properties of XML Grammars and Languages

Jean Berstel,Luc Boasson

The Use of Instrumentation in Grammar Engineering

Norbert Broeker

Dancing links

Donald E. Knuth

Algorithms for Rewriting Aggregate Queries Using Views

Sara Cohen,Werner Nutt,Alexander Serebrenik

Non-intrusive on-the-fly data race detection using execution replay

Michiel Ronsse,Koen De Bosschere

Extension Language Automation of Embedded System Debugging

Dale Parson,Bryan Schlieder,Paul Beatty

The Equity Tax and Shelter

Leonid A. Levin

Random Shuffling to Reduce Disorder in Adaptive Sorting Scheme

Md. Enamul Karim,Abdun Naser Mahmood

Available and Stabilizing 2-3 Trees

Ted Herman,Toshimitsu Masuzawa

The Tale of One-way Functions

Leonid A. Levin

A Benchmark for Image Retrieval using Distributed Systems over the Internet: BIRDS-I

Neil J. Gunther,Giordano B. Beretta

Questions for a Materialist Philosophy Implying the Equivalence of Computers and Human Cognition

Douglas M. Snyder

Byzantine Agreement with Faulty Majority using Bounded Broadcast

Jeffrey Considine,Leonid A. Levin,David Metcalf

Performance and Scalability Models for a Hypergrowth e-Commerce Web Site

Neil J. Gunther

A Virtual Java Simulation Lab for Computer Science Students

Javier Diaz,Claudia Queiruga,Villar Claudia,Laura Fava

Resource-distribution via Boolean constraints

James Harland,David Pym

Well-Typed Logic Programs Are not Wrong

Pierre Deransart,Jan-Georg Smaus

A Note on Power-Laws of Internet Topology

Hongsong Chou

Towards Understanding the Predictability of Stock Markets from the Perspective of Computational Complexity

James Aspnes,David F. Fischer,Michael J. Fischer,Ming-Yang Kao,Alok Kumar

Sequence-Based Abstract Interpretation of Prolog

Baudouin Le Charlier,Sabina Rossi,Pascal Van Hentenryck

Computing the Depth of a Flat

Marshall Bern,David Eppstein

A Tableau Calculus for Pronoun Resolution

Christof Monz,Maarten de Rijke

Pattern Matching for sets of segments

Alon Efrat,Piotr Indyk,Suresh Venkatasubramanian

Contextual Inference in Computational Semantics

Christof Monz

A Comparison between Supervised Learning Algorithms for Word Sense Disambiguation

Gerard Escudero,Lluis Marquez,German Rigau

A Classification Approach to Word Prediction

Yair Even-Zohar,Dan Roth

A Resolution Calculus for Dynamic Semantics

Christof Monz,Maarten de Rijke

Computing Presuppositions by Contextual Reasoning

Christof Monz

Finding Failure Causes through Automated Testing

Holger Cleve,Andreas Zeller

Support for Debugging Automatically Parallelized Programs

Robert Hood,Gabriele Jost

A Lambda-Calculus with letrec, case, constructors and non-determinism

Manfred Schmidt-Schau？,Michael Huber

Retrieval from Captioned Image Databases Using Natural Language Processing

David Elworthy

Semantic interpretation of temporal information by abductive inference

Sven Verdoolaege,Marc Denecker,Ness Schelkens,Danny De Schreye,Frank Van Eynde

Utilizing the World Wide Web as an Encyclopedia: Extracting Term Descriptions from Semi-Structured Texts

Atsushi Fujii,Tetsuya Ishikawa

Abductive reasoning with temporal information

Sven Verdoolaege,Marc Denecker,Frank Van Eynde

Applying Machine Translation to Two-Stage Cross-Language Information Retrieval

Atsushi Fujii,Tetsuya Ishikawa

A Moment of Perfect Clarity II: Consequences of Sparse Sets Hard for NP with Respect to Weak Reductions

Christian Glasser,Lane A. Hemaspaandra

Transformation-Based Bottom-Up Computation of the Well-Founded Model

Stefan Brass,Juergen Dix,Burkhard Freitag,Ulrich Zukowski

Set Theory for Verification: II. Induction and Recursion

Lawrence C. Paulson

Execution replay and debugging

Michiel Ronsse,Koen De Bosschere,Jacques Chassin de Kergommeaux

A Complete Characterization of Complete Intersection-Type Theories

M. Dezani-Ciancaglini,F. Honsell,F. Alessi

Creativity and Delusions: A Neurocomputational Approach

Daniele Quintella Mendes,Luis Alfredo Vidal de Carvalho

Towards Robust Quantum Computation

Debbie W. Leung

Slicing of Constraint Logic Programs

Gyongyi Szilagyi,Tibor Gyimothy,Jan Maluszynski