首页
OALib 期刊
快速投稿通道
我的图书馆
常见问题
关于我们
关注我们+
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
LinkedIn (OALib Group)
LinkedIn (OALib Company Page)
Facebook
Twitter
全部
标题
作者
关键词
摘要
OALib Journal期刊
ISSN: 2333-9721
费用:99美元
投递稿件
为什么选择我们?
>>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎
Computer Science
ISSN Print:
ISSN Online:
主页:
http://arxiv.org/corr
分享:
Go
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
Go