首页
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
Finite Automata With Restricted Two-Way Motion
David Damanik
On the complexity of finding falsifying assignments for Herbrand disjunctions
Pavel Pudlak
On completeness of logic programs
Wlodzimierz Drabent
On the physical and circuit-theoretic significance of the Memristor
Emanuel Gluskin
Chaotic Crystallography: How the physics of information reveals structural order in materials
Dowman P. Varn
,
James P. Crutchfield
A connected 3-state reversible Mealy automaton cannot generate an infinite Burnside group
Ines Klimann
,
Matthieu Picantin
,
Dmytro Savchuk
Converting Reconfigurable Petri Nets to Maude
Alexander Schulz
An Efficient List Decoder Architecture for Polar Codes
Jun Lin
,
Zhiyuan Yan
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
Roderick Bloem
,
Krishnendu Chatterjee
,
Swen Jacobs
,
Robert Koenighofer
Clear, Concise and Effective UI: Opinion and Suggestions
Rishabh Jain
,
Rupanta Rwiteej Dutta
,
Rajat Tandon
Models for Integrating UX into Software Engineering Practice: an Industrial Validation
Pariya Kashfi
,
Robert Feldt
,
Agneta Nilsson
,
Richard Berntsson Svensson
Redprint: Integrating API specific "instant example" and "instant documentation" display interface in IDEs
Anant Bhardwaj
,
Dave Luciano
,
Scott Klemmer
Monotonic Abstraction Techniques: from Parametric to Software Model Checking
Francesco Alberti
,
Silvio Ghilardi
,
Natasha Sharygina
An ECG-on-Chip with 535-nW/Channel Integrated Lossless Data Compressor for Wireless Sensors
C. J. Deepu
,
X. Zhang
,
W. -S. Liew
,
D. L. T. Wong
,
Y. Lian
MoodBar: Increasing new user retention in Wikipedia through lightweight socialization
Giovanni Luca Ciampaglia
,
Dario Taraborelli
AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)
Anadrea Corradini
,
Dominique Duval
,
Rachid Echahed
,
Frédéric Prost
,
Leila Ribeiro
Approaches for Synthesis Conjectures in an SMT Solver
Andrew Reynolds
ProbFuse: A Probabilistic Approach to Data Fusion
David Lillis
,
Fergus Toolan
,
Rem Collier
,
John Dunnion
Freshness-Aware Thompson Sampling
Djallel Bouneffouf
Covariate Assisted Spectral Clustering
Norbert Binkiewicz
,
Joshua T. Vogelstein
,
Karl Rohe
A Benchmark Suite for Template Detection and Content Extraction
Julián Alarte
,
David Insa
,
Josep Silva
,
Salvador Tamarit
Bayesian feature selection with strongly-regularizing priors maps to the Ising Model
Charles K. Fisher
,
Pankaj Mehta
Exploratory Analysis of a Terabyte Scale Web Corpus
Vasilis Kolias
,
Ioannis Anagnostopoulos
,
Eleftherios Kayafas
Fast Randomized Kernel Methods With Statistical Guarantees
Ahmed El Alaoui
,
Michael W. Mahoney
Semantifying Twitter: the influenceTracker ontology
Gerasimos Razis
,
Ioannis Anagnostopoulos
Population Empirical Bayes
Alp Kucukelbir
,
David M. Blei
Revenue Optimization in Posted-Price Auctions with Strategic Buyers
Mehryar Mohri
,
Andres Mu?oz Medina
Structure Regularization for Structured Prediction: Theories and Experiments
Xu Sun
Balanced k-Means and Min-Cut Clustering
Xiaojun Chang
,
Feiping Nie
,
Zhigang Ma
,
Yi Yang
A Generalized Framework for Ontology-Based Information Retrieval Application to a public-transportation system
Amir Zidi
,
Mourad Abed
Active Metric Learning from Relative Comparisons
Sicheng Xiong
,
Rómer Rosales
,
Yuanli Pei
,
Xiaoli Z. Fern
Statistical inference with probabilistic graphical models
Angélique Drémeau
,
Christophe Schülke
,
Yingying Xu
,
Devavrat Shah
Convolutional Neural Networks over Tree Structures for Programming Language Processing
Lili Mou
,
Ge Li
,
Lu Zhang
,
Tao Wang
,
Zhi Jin
Deeply-Supervised Nets
Chen-Yu Lee
,
Saining Xie
,
Patrick Gallagher
,
Zhengyou Zhang
,
Zhuowen Tu
Transfer Prototype-based Fuzzy Clustering
Zhaohong Deng
,
Yizhang Jiang
,
Fu-Lai Chung
,
Kup-Sze Choi
,
Shitong Wang
A Survey on Soft Subspace Clustering
Zhaohong Deng
,
Kup-Sze Choi
,
Jun Wang
,
Shitong Wang
The Information Theoretically Efficient Model (ITEM): A model for computerized analysis of large datasets
Tyler Ward
Probabilistic Modeling of IEEE 802.11 Distributed Coordination Functions
Rui Fang
,
Zequn Huang
,
Louis F. Rossi
,
Chien-Chung Shen
Distributed Robust Learning
Jiashi Feng
,
Huan Xu
,
Shie Mannor
SACRM: Social Aware Crowdsourcing with Reputation Management in Mobile Sensing
Ju Ren
,
Yaoxue Zhang
,
Kuan Zhang
,
Xuemin
,
Shen
SmartConnect: A System for the Design and Deployment of Wireless Sensor Networks
Abhijit Bhattacharya
,
Sanjay Motilal Ladwa
,
Rachit Srivastava
,
Aniruddha Mallya
,
Akhila Rao
,
Easwar Vivek. M
,
Deeksha G. Rao Sahib
,
S. V. R. Anand
,
Anurag Kumar
A Boosting Framework on Grounds of Online Learning
Tofigh Naghibi
,
Beat Pfister
Multi-task Sparse Structure Learning
Andre R. Goncalves
,
Puja Das
,
Soumyadeep Chatterjee
,
Vidyashankar Sivakumar
,
Fernando J. Von Zuben
,
Arindam Banerjee
A Semidefinite Programming Based Search Strategy for Feature Selection with Mutual Information Measure
Tofigh Naghibi
,
Sarah Hoffmann
,
Beat Pfister
NAVI: Neighbor Aware Virtual Infrastructure for Information Dissemination in Vehicular Networks
Pedro M. d'Orey
,
Nitin Maslekar
,
Idoia de la Iglesia
,
Nikola K. Zahariev
Autoencoder Trees
Ozan ?rsoy
,
Ethem Alpayd?n
A novel approach for mobility management inf lte femtocells
Pantha Ghosal
,
Shouman Barua
,
Ramprasad Subramanian
,
Shiqi Xing
,
Kumbesan Sandrasegaran
Unsupervised Domain Adaptation by Backpropagation
Yaroslav Ganin
,
Victor Lempitsky
Feature Engineering for Map Matching of Low-Sampling-Rate GPS Trajectories in Road Network
Jian Yang
,
Liqiu Meng
Solving the Problem of the K Parameter in the KNN Classifier Using an Ensemble Learning Approach
Ahmad Basheer Hassanat
,
Mohammad Ali Abbadi
,
Ghada Awad Altarawneh
,
Ahmad Ali Alhasanat
Go