全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

为什么选择我们？ >>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

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

分享:




Go

DGD Gallery: Storage, sharing, and publication of digital research data

Michael Joswig,Milan Mehner,Stefan Sechelmann,Jan Techter,Alexander I. Bobenko

WLAN Specific IoT Enable Power Efficient RAM Design on 40nm FPGA

Tanesh Kumar,Faizan Khan,Safeeullah Soomro,Areez Khalil Memon

Using Raspberry Pi for scientific video observation of pedestrians during a music festival

Daniel H. Biedermann,Felix Dietrich,Oliver Handel,Peter M. Kielar,Michael Seitz

Building a Decision Tree Model for Academic Advising Affairs Based on the Algorithm C 4-5

Mohammed Al-Sarem

Normalisation by Traversals

C. -H. Luke Ong

Iterative compilation on mobile devices

Paschalis Mpeis,Pavlos Petoumenos,Hugh Leather

Motion Planning in Non-Gaussian Belief Spaces for Mobile Robots

Saurav Agarwal,Amirhossein Tamjidi,Suman Chakravorty

Efficient Penetration Depth Computation between Rigid Models using Contact Space Propagation Sampling

Liang He,Jia Pan,Danwei Li,Dinesh Manocha

A Handheld Device for the In Situ Acquisition of Multimodal Tactile Sensing Data

Joshua Wade,Tapomayukh Bhattacharjee,Charles C. Kemp

Optimized Mission Planning for Planetary Exploration Rovers

Alexander Lavin

Local Reasoning with First-Class Heaps, and a New Frame Rule

Duc-Hiep Chu,Joxan Jaffar

Optimizing Solution Quality in Synchronization Synthesis

Pavol ？erny,Edmund M. Clarke,Thomas A. Henzinger,Arjun Radhakrishna,Leonid Ryzhyk,Roopsha Samanta,Thorsten Tarrach

A Partial Order Reduction Technique for Event-driven Multi-threaded Programs

Pallavi Maiya,Rahul Gupta,Aditya Kanade,Rupak Majumdar

Proceedings First International Workshop on Focusing

Iliano Cervesato,Carsten Schürmann

Retractable Prosthesis for Transfemoral Amputees Using Series Elastic Actuators and Force Control

Elena Galbally,Frank Small,Ivan Zanco

Multi-Volume High Resolution RGB-D Mapping with Dynamic Volume Placement

Michael Salvato,Ross Finman,John Leonard

A Simple Hierarchical Pooling Data Structure for Loop Closure

Xiaohan Fei,Konstantine Tsotsos,Stefano Soatto

A mass-flow MILP formulation for energy-efficient supplying in assembly lines

Maria Muguerza,Cyril Briand,Nicolas Jozefowiez,Sandra Ulrich Ngueveu,Victoria Rodríguez,Matias Urenda Moris

Uncertainty-based Arbitration of Human-Machine Shared Control

Parker Owan,Joseph Garbini,Santosh Devasia

Comparative Design, Scaling, and Control of Appendages for Inertial Reorientation

Thomas Libby,Aaron M. Johnson,Evan Chang-Siu,Robert J. Full,D. E. Koditschek

Feedback Motion Planning Under Non-Gaussian Uncertainty and Non-Convex State Constraints

Mohammadhussein Rafieisakhaei,Amirhossein Tamjidi,Suman Chakravorty,P. R. Kumar

Solving the Forward Position Problem of an In-Parallel Planar Manipulator in the Gauss Plane

Sureyya Sahin

Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism

Kentaro Honda

Abstraction Refinement Guided by a Learnt Probabilistic Model

Radu Grigore,Hongseok Yang

Anonymous On-line Communication Between Program Analyses

Marek Trtik

Occurrence Typing Modulo Theories

Andrew M. Kent,David Kempe,Sam Tobin-Hochstadt

Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory

David Darais,David Van Horn

A lightweight optimization selection method for Sparse Matrix-Vector Multiplication

Athena Elafrou,Georgios Goumas,Nectarios Koziris

Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations

Sarmen Keshishzadeh,Arjan J. Mooij,Jozef Hooman

QINL: Query-integrated Languages

Patrick Schultz,David I. Spivak,Ryan Wisnesky

Specifying a Realistic File System

Sidney Amani,Toby Murray

Characteristic specific prioritized dynamic average burst round robin scheduling for uniprocessor and multiprocessor environment

Amar Ranjan Dash,Sandipta Kumar Sahu,Sanjay Kumar Samantra,Sradhanjali Sabat

Cross-layer Chase Combining with Selective Retransmission, Analysis and Throughput Optimization for OFDM Systems

Taniya Shafique,Zia Muhammad,Huy-Dung Han

Model-Driven Automatic Tiling with Cache Associativity Lattices

David Adjiashvili,Utz-Uwe Haus,Adrian Tate

Analysis of SVN Repositories for Remote Access

Sadaf,Safeeullah Soomro,Suhni Abbasi

Preprint WebVRGIS Based Traffic Analysis and Visualization System

Xiaoming Li,Zhihan Lv,Weixi Wang,Baoyun Zhang,Jinxing Hu,Ling Yin,Shengzhong Feng

Constant Time EXPected Similarity Estimation using Stochastic Optimization

Markus Schneider,Wolfgang Ertel,Günther Palm

GradNets: Dynamic Interpolation Between Neural Architectures

Diogo Almeida,Nate Sauder

Complete Network Security Protection for SME's within Limited Resources

Margie Todd,Shawon Rahman

Fixed Point Quantization of Deep Convolutional Networks

Darryl D. Lin,Sachin S. Talathi,V. Sreekanth Annapureddy

Learning Representations Using Complex-Valued Nets

Andy M. Sarroff,Victor Shepardson,Michael A. Casey

Learning to detect video events from zero or very few video examples

Christos Tzelepis,Damianos Galanopoulos,Vasileios Mezaris,Ioannis Patras

Learning Halfspaces and Neural Networks with Random Initialization

Yuchen Zhang,Jason D. Lee,Martin J. Wainwright,Michael I. Jordan

Private Posterior distributions from Variational approximations

Vishesh Karwa,Dan Kifer,Aleksandra B. Slavkovi？

LocNet: Improving Localization Accuracy for Object Detection

Spyros Gidaris,Nikos Komodakis

ACDC: A Structured Efficient Linear Layer

Marcin Moczulski,Misha Denil,Jeremy Appleyard,Nando de Freitas

Context-aware CNNs for person head detection

Tuan-Hung Vu,Anton Osokin,Ivan Laptev

Constrained Structured Regression with Convolutional Neural Networks

Deepak Pathak,Philipp Kr？henbühl,Stella X. Yu,Trevor Darrell

Metric Learning with Adaptive Density Discrimination

Oren Rippel,Manohar Paluri,Piotr Dollar,Lubomir Bourdev

Fast and Accurate Deep Network Learning by Exponential Linear Units (ELUs)

Djork-Arné Clevert,Thomas Unterthiner,Sepp Hochreiter

Go




©2008-2020 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705