Computer Science

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

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

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

On Sampling from the Gibbs Distribution with Random Maximum A-Posteriori Perturbations

Tamir Hazan,Subhransu Maji,Tommi Jaakkola

An upper bound on prototype set size for condensed nearest neighbor

Eric Christiansen

Distributed Business Processes - A Framework for Modeling and Execution

J. Kotremba,S. Ra？,R. Singer

Meme and Variations: A Computer Model of Cultural Evolution

Liane Gabora

Continuation calculus

Bram Geron,Herman Geuvers

Proving termination of evaluation for System F with control operators

Ma？gorzata Biernacka,Dariusz Biernacki,Sergue？ Lenglet,Marek Materzok

Exploring the Boundaries of Monad Tensorability on Set

Nathan Bowler,Sergey Goncharov,Paul Blain Levy,Lutz Schr？der

Modelling Probabilistic Wireless Networks

Andrea Cerone,Matthew Hennessy

Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday

Anindya Banerjee,Olivier Danvy,Kyung-Goo Doh,John Hatcliff

Bases as Coalgebras

Bart Jacobs

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

Victor Khomenko,Roland Meyer,Reiner Hüchting

Non-monotonic Pre-fixed Points and Learning

Stefano Berardi,Ugo de' Liguoro

DUNE as an Example of Sustainable Open Source Scientific Software Development

Makus Blatt

Alternating Turing machines for inductive languages

Daniel M Leivant

Verification of Imperative Programs by Constraint Logic Program Transformation

Emanuele De Angelis,Fabio Fioravanti,Alberto Pettorossi,Maurizio Proietti

Faster Fair Solution for the Reader-Writer Problem

Vlad Popov,Oleg Mazonka

Report: GPU Based Massive Parallel Kawasaki Kinetics In Monte Carlo Modelling of Lipid Microdomains

M. Lis,L. Pintal

Distributed Estimation and Control of Algebraic Connectivity over Random Graphs

Paolo Di Lorenzo,Sergio Barbarossa

Adversarial Multiple Access Channels with Individual Injection Rates

Lakshmi Anantharamu,Bogdan S. Chlebus,Mariusz A. Rokicki

A GPU Implementation for Two-Dimensional Shallow Water Modeling

Kerry A. Seitz Jr.,Alex Kennedy,Owen Ransom,Bassam A. Younis,John D. Owens

Energy-Aware Aggregation of Dynamic Temporal Workload in Data Centers

Haiyang Qian,Fu Li,Ravishankar Ravindran,Deep Medhi

Abelian complexity function of the Tribonacci word

Ond？ej Turek

A constructive approach to triangular trigonometric patches

ágoston Róth,Imre Juhász,Alexandru Kristály

Stochastic Bound Majorization

Anna Choromanska,Tony Jebara

Optimized projections for compressed sensing via rank-constrained nearest correlation matrix

Nicolae Cleju

Mixed Membership Models for Time Series

Emily B. Fox,Michael I. Jordan

Generative Multiple-Instance Learning Models For Quantitative Electromyography

Tameem Adel,Benn Smith,Ruth Urner,Daniel Stashuk,Daniel J. Lizotte

Multiple Instance Learning with Bag Dissimilarities

Veronika Cheplygina,David M. J. Tax,Marco Loog

High-dimensional Joint Sparsity Random Effects Model for Multi-task Learning

Krishnakumar Balasubramanian,Kai Yu,Tong Zhang

The Bregman Variational Dual-Tree Framework

Saeed Amizadeh,Bo Thiesson,Milos Hauskrecht

Finite-Time Analysis of Kernelised Contextual Bandits

Michal Valko,Nathaniel Korda,Remi Munos,Ilias Flaounas,Nelo Cristianini

Active Learning with Expert Advice

Peilin Zhao,Steven Hoi,Jinfeng Zhuang

Approximate Kalman Filter Q-Learning for Continuous State-Space MDPs

Charles Tripp,Ross D. Shachter

Network Anomaly Detection: A Survey and Comparative Analysis of Stochastic and Deterministic Methods

Jing Wang,Daniel Rossell,Christos G. Cassandras,Ioannis Ch. Paschalidis

Scalable Probabilistic Entity-Topic Modeling

Neil Houlsby,Massimiliano Ciaramita

Music Files Search System

M. Brzeziński-Spiczak,K. Dobosz,M. Lis,M. Pintal

On statistics, computation and scalability

Michael I. Jordan

Regularized Spectral Clustering under the Degree-Corrected Stochastic Blockmodel

Tai Qin,Karl Rohe

Software Interfaces: On The Impact of Interface Design Anomalies

Hani Abdeen,Osama Shata,Abdelkarim Erradi

Codebook-Based Opportunistic Interference Alignment

Hyun Jong Yang,Bang Chul Jung,Won-Yong Shin,Arogyaswami Paulraj

OntoMaven: Maven-based Ontology Development and Management of Distributed Ontology Repositories

Adrian Paschke

Rigorous high-precision computation of the Hurwitz zeta function and its derivatives

Fredrik Johansson

On the Complexity of Computing Critical Points with Gr？bner Bases

Pierre-Jean Spaenlehauer

Outage Constrained Robust Secure Transmission for MISO Wiretap Channels

Shuai Ma,Mingyi Hong,Enbin Song,Xiangfeng Wang,Dechun Sun

Bug Tracking and Reporting System

A. S. Syed Fiaz,N. Devi,S. Aarthi

Introduction to the Symbolic Integration System

Weiguang Mao

Distributed Estimation of a Parametric Field: Algorithms and Performance Analysis

Salvatore Talarico,Natalia A. Schmid,Marwan Alkhweldi,Matthew C. Valenti

Implementation of Function Point Analysis in Measuring The Volume Estimation of Software System in Object Oriented and Structural Model of Academic System

Dian Pratiwi

Massive MIMO Systems: Signal Processing Challenges and Research Trends

R. C. de Lamare

Software Engineering as Instrumentation for the Long Tail of Scientific Software

Daisie Huang,Hilmar Lapp