Computer Science

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

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

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

Exact Phase Transitions in Random Constraint Satisfaction Problems

Ke Xu,Wei Li

Multiplicative Nonholonomic/Newton -like Algorithm

Toshinao Akuzawa,Noboru Murata

Cluster Computing White Paper

Mark Baker

Mathematical Software: Past, Present, and Future

Ronald F. Boisvert

Fractionally-addressed delay lines

Davide Rocchesso

Multimethods and separate static typechecking in a language with C++-like object model

Emanuele Panizzi,Bernardo Pastorelli

C++ programming language for an abstract massively parallel SIMD architecture

Alessandro Lonardo,Emanuele Panizzi,Benedetto Proietti

Constraint compiling into rules formalism constraint compiling into rules formalism for dynamic CSPs computing

S. Piechowiak,J. Rodriguez

Improving Testsuites via Instrumentation

Norbert Broeker

Axiomatizing Causal Reasoning

Joseph Y. Halpern

Scientific Collaboratories as Socio-Technical Interaction Networks: A Theoretical Approach

Rob Kling,Geoffrey McKim,Joanna Fortuna,Adam King

Solaris System Resource Manager: All I Ever Wanted Was My Unfair Advantage (And Why You Can't Have It!)

Neil J. Gunther

Type Classes and Constraint Handling Rules

Kevin Glynn,Martin Sulzmann,Peter J. Stuckey

Verbal Interactions in Virtual Worlds

Pierre Nugues

Trainable Methods for Surface Natural Language Generation

Adwait Ratnaparkhi

Estimation of English and non-English Language Use on the WWW

Gregory Grefenstette,Julien Nioche

Base Encryption: Dynamic algorithms, Keys, and Symbol Set

Po-Han Lin

Two Steps Feature Selection and Neural Network Classification for the TREC-8 Routing

Mathieu Stricker,Frantz Vichot,Gerard Dreyfus,Francis Wolinski

Integrating E-Commerce and Data Mining: Architecture and Challenges

Suhail Ansari,Ron Kohavi,Llew Mason,Zijian Zheng

To Preference via Entrenchment

Konstantinos Georgatos

On The Closest String and Substring Problems

Ming Li,Bin Ma,Lusheng Wang

Requirements of Text Processing Lexicons

K. Litkowski

An Usage Measure Based on Psychophysical Relations

V. Kromer

Syntactic Autonomy: Why There is no Autonomy without Symbols and How Self-Organization Might Evolve Them

Luis M. Rocha

SLT-Resolution for the Well-Founded Semantics

Yi-Dong Shen,Li-Yan Yuan,Jia-Huai You

Computing large and small stable models

Miroslaw Truszczynski

On the accuracy and running time of GSAT

Deborah East,Miroslaw Truszczynski

Fractal Symbolic Analysis

Nikolay Mateev,Vijay Menon,Keshav Pingali

Why C++ is not very fit for GUI programming

Oleg Kiselyov

Language identification of controlled systems: Modelling, control and anomaly detection

J. F. Martins,J. A. Dente,A. J. Pires,R. Vilela Mendes

Parameter-free Model of Rank Polysemantic Distribution

Victor Kromer

Incremental construction of minimal acyclic finite-state automata

Jan Daciuk,Stoyan Mihov,Bruce Watson,Richard Watson

Interval Constraint Solving for Camera Control and Motion Planning

Frederic Benhamou,Frederic Goualard,Eric Languenou,Marc Christie

Examples, Counterexamples, and Enumeration Results for Foldings and Unfoldings between Polygons and Polytopes

Erik D. Demaine,Martin L. Demaine,Anna Lubiw,Joseph O'Rourke

Computational Geometry Column 39

Joseph O'Rourke

Ordering-based Representations of Rational Inference

Konstantinos Georgatos

Genetic Algorithms for Extension Search in Default Logic

P. Nicolas,F. Saubion,I. Stephan

Safe cooperative robot dynamics on graphs

Robert Ghrist,Daniel Koditschek

Uniform semantic treatment of default and autoepistemic logics

Marc Denecker,Victor W. Marek,Miroslaw Truszczynski

Pattern Discovery and Computational Mechanics

Cosma Rohilla Shalizi,James P. Crutchfield

Predicting the expected behavior of agents that learn about agents: the CLRI framework

Jose M. Vidal,Edmund H. Durfee

Conditional Plausibility Measures and Bayesian Networks

Joseph Y. Halpern

The SAT Phase Transition

Ke Xu,Wei Li

A Denotational Semantics for First-Order Logic

Krzysztof R. Apt

Boosting the Differences: A fast Bayesian classifier neural network

Ninan Sajeeth Philip,K. Babu Joseph

Distorted English Alphabet Identification : An application of Difference Boosting Algorithm

Ninan Sajeeth Philip,K. Babu Joseph

Robustness of Regional Matching Scheme over Global Matching Scheme

Liang Chen,Naoyuki Tokuda

Reasoning with Axioms: Theory and Pratice

Ian Horrocks,Stephan Tobies

Programming in Alma-0, or Imperative and Declarative Programming Reconciled

Krzysztof R. Apt,Andrea Schaerf

How to Evaluate your Question Answering System Every Day and Still Get Real Work Done

Eric Breck,John D. Burger,Lisa Ferro,Lynette Hirschman,David House,Marc Light,Inderjeet Mani