Computer Science

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

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

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

Lazy abstractions for timed automata

Frédéric Herbreteau,B. Srivathsan,Igor Walukiewicz

Algebraic Logic, I Quantifier Theories and Completeness Theorems

Zhaohua Luo

Partial Orders for Efficient BMC of Concurrent Software

Jade Alglave,Daniel Kroening,Michael Tautschnig

Computing Quantiles in Markov Reward Models

Michael Ummels,Christel Baier

A New Proof of P-time Completeness of Linear Lambda Calculus

Satoshi Matsuoka

A Poisson Hidden Markov Model for Multiview Video Traffic

Lorenzo Rossi,Jacob Chakareski,Pascal Frossard,Stefania Colonnese

Loss Visibility Optimized Real-time Video Transmission over MIMO Systems

Amin Abdel Khalek,Constantine Caramanis,Robert W. Heath Jr

Video Tester -- A multiple-metric framework for video quality assessment over IP networks

I？aki Ucar,Jorge Navarro-Ortiz,Pablo Ameigeiras,Juan M. Lopez-Soler

A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height

César Sánchez,Alejandro Sánchez

The Hidden Structural Rules of the Discontinuous Lambek Calculus

Oriol Valentín

Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)

Philipp Rümmer,Hossein Hojjat,Viktor Kuncak

Automatic Verification of Parameterised Interleaved Multi-Agent Systems

Panagiotis Kouvaros,Alessio Lomuscio

Simultaneous computation of the row and column rank profiles

Jean-Guillaume Dumas,Clément Pernet,Ziad Sultan

Combining Feature and Prototype Pruning by Uncertainty Minimization

Marc Sebban,Richard Nock

Variational Relevance Vector Machines

Christopher M. Bishop,Michael Tipping

Reversible Jump MCMC Simulated Annealing for Neural Networks

Christophe Andrieu,Nando de Freitas,Arnaud Doucet

Feature Selection and Dualities in Maximum Entropy Discrimination

Tony S. Jebara,Tommi S. Jaakkola

Bayesian Classification and Feature Selection from Finite Data Sets

Frans Coetzee,Steve Lawrence,C. Lee Giles

Metric-Free Natural Gradient for Joint-Training of Boltzmann Machines

Guillaume Desjardins,Razvan Pascanu,Aaron Courville,Yoshua Bengio

Saturating Auto-Encoders

Rostislav Goroshin,Yann LeCun

How good is the Electricity benchmark for evaluating concept drift adaptation

Indre Zliobaite

Block Coordinate Descent for Sparse NMF

Vamsi K. Potluru,Sergey M. Plis,Jonathan Le Roux,Barak A. Pearlmutter,Vince D. Calhoun,Thomas P. Hayes

Classifier Learning with Supervised Marginal Likelihood

Petri Kontkanen,Petri Myllymaki,Henry Tirri

Iterative Markov Chain Monte Carlo Computation of Reference Priors and Minimax Risk

John Lafferty,Larry A. Wasserman

Coupled Neural Associative Memories

Amin Karbasi,Amir Hesam Salavati,Amin Shokrollahi

Linear Bandits in High Dimension and Recommendation Systems

Yash Deshpande,Andrea Montanari

Revisiting Natural Gradient for Deep Networks

Razvan Pascanu,Yoshua Bengio

Training Neural Networks with Stochastic Hessian-Free Optimization

Ryan Kiros

An Efficient Sufficient Dimension Reduction Method for Identifying Genetic Variants of Clinical Significance

Momiao Xiong,Long Ma

Multiple functional regression with both discrete and continuous covariates

Hachem Kadri,Philippe Preux,Emmanuel Duflos,Stéphane Canu

Learning to Optimize Via Posterior Sampling

Daniel Russo,Benjamin Van Roy

Network-based clustering with mixtures of L1-penalized Gaussian graphical models: an empirical investigation

Steven M. Hill,Sach Mukherjee

Discovering Multiple Constraints that are Frequently Approximately Satisfied

Geoffrey E. Hinton,Yee Whye Teh

New Approach of Estimating PSNR-B For De-blocked Images

S. Aruna Mastani,K. Shilpa

Characterizing Ambiguity in Light Source Invariant Shape from Shading

Benjamin Kunsberg,Steven W. Zucker

Exploiting Data Parallelism in the yConvex Hypergraph Algorithm for Image Representation using GPGPUs

Saurabh Jha,Tejaswi Agarwal,B. Rajesh Kanna

Image segmentation by optimal and hierarchical piecewise constant approximations

M. Kharinov

Bayesian Inference of Natural Rankings in Incomplete Competition Networks

Juyong Park,Soon-Hyung Yook

The Expressive Power of Word Embeddings

Yanqing Chen,Bryan Perozzi,Rami Al-Rfou,Steven Skiena

The Manifold of Human Emotions

Seungyeon Kim,Fuxin Li,Guy Lebanon,Irfan Essa

Dating medieval English charters

Gelila Tilahun,Andrey Feuerverger,Michael Gervers

Adaptation of fictional and online conversations to communication media

Christian M. Alis,May T. Lim

Moment-Matching Polynomials

Adam Klivans,Raghu Meka

The Parameterized Complexity of some Permutation Group Problems

Vikraman Arvind

The computational landscape of permutation patterns

Marie-Louise Bruner,Martin Lackner

Joint Space Neural Probabilistic Language Model for Statistical Machine Translation

Tsuyoshi Okita

Feature Learning in Deep Neural Networks - Studies on Speech Recognition Tasks

Dong Yu,Michael L. Seltzer,Jinyu Li,Jui-Ting Huang,Frank Seide

A Rhetorical Analysis Approach to Natural Language Processing

Benjamin Englard

Good parts first - a new algorithm for approximate search in lexica and string databases

Stefan Gerdjikov,Stoyan Mihov,Petar Mitankin,Klaus U. Schulz

Multi-Step Regression Learning for Compositional Distributional Semantics

Edward Grefenstette,Georgiana Dinu,Yao-Zhong Zhang,Mehrnoosh Sadrzadeh,Marco Baroni