


Остановите войну!
for scientists:


default search action
CoRR, April 2016
- Serguei A. Mokhov, Lee Wei Huynh, Jian Li, Farid Rassai:
A Java Data Security Framework (JDSF) and its Case Studies. - Sathappan Muthiah, Patrick Butler
, Rupinder Paul Khandpur, Parang Saraf, Nathan Self, Alla Rozovskaya, Liang Zhao, Jose Cadena, Chang-Tien Lu, Anil Vullikanti, Achla Marathe, Kristen Maria Summers, Graham Katz, Andy Doyle, Jaime Arredondo, Dipak Gupta, David Mares, Naren Ramakrishnan:
EMBERS at 4 years: Experiences operating an Open Source Indicators Forecasting System. - José Oramas M., Tinne Tuytelaars:
Modeling Visual Compatibility through Hierarchical Mid-level Elements. - Bongjin Koo, Jean Hergel, Sylvain Lefebvre, Niloy J. Mitra:
Towards Zero-Waste Furniture Design. - Dmitry Kosolobov, Florin Manea, Dirk Nowotka:
Detecting Unary Patterns. - Saber Mirzaei, Sanaz Bahargam, Richard Skowyra, Assaf J. Kfoury, Azer Bestavros:
Using Alloy to Formally Model and Reason About an OpenFlow Network Switch. - Sina Parhizi, Amin Khodaei, Shaghayegh Bahramirad:
Distribution Market Clearing and Settlement. - Wenbin Li, Seyedmajid Azimi, Ales Leonardis, Mario Fritz:
To Fall Or Not To Fall: A Visual Approach to Physical Stability Prediction. - Ruining He, Chunbin Lin, Julian J. McAuley:
Fashionista: A Fashion-aware Graphical System for Exploring Visually Similar Items. - Bruno Clerckx, Ekaterina Bayguzina:
Waveform Design for Wireless Power Transfer. - Sheng-syun Shen, Hung-yi Lee:
Neural Attention Models for Sequence Classification: Analysis and Application to Key Term Extraction and Dialogue Act Detection. - Eugene Wu, Lilong Jiang, Larry Xu, Arnab Nandi:
Graphical Perception in Animated Bar Charts. - Paul Vernaza:
Variational reaction-diffusion systems for semantic segmentation. - Kushal Arora, Anand Rangarajan:
A Compositional Approach to Language Modeling. - Shoji Kasahara, Jun Kawahara:
Priority Mechanism of Bitcoin and Its Effect on Transaction-Confirmation Process. - Marwen Zorgui
, Zouheir Rezki, Basel Alomair, Mohamed-Slim Alouini
:
Secret-Key Agreement with Public Discussion subject to an Amplitude Constraint. - Mahmoud Abo Khamis, Hung Q. Ngo, Dan Suciu:
Computing Join Queries with Functional Dependencies. - Aaron Jaech, Larry P. Heck, Mari Ostendorf:
Domain Adaptation of Recurrent Neural Networks for Natural Language Understanding. - Anibal Sanjab, Walid Saad:
Data Injection Attacks on Smart Grids with Multiple Adversaries: A Game-Theoretic Perspective. - Krish Perumal:
Semi-supervised and Unsupervised Methods for Categorizing Posts in Web Discussion Forums. - Ziqiang Cao, Wenjie Li, Sujian Li, Furu Wei:
AttSum: Joint Learning of Focusing and Summarization with Neural Attention. - Kayhan N. Batmanghelich, Ardavan Saeedi, Karthik Narasimhan, Samuel Gershman:
Nonparametric Spherical Topic Modeling with Word Embeddings. - Liang Zheng, Yali Zhao, Shengjin Wang, Jingdong Wang, Qi Tian:
Good Practice in CNN Feature Transfer. - Behrooz Makki, Tommy Svensson, Thomas Eriksson, Mohamed-Slim Alouini
:
On the Performance of RF-FSO Links with and without Hybrid ARQ. - Pia Bideau, Erik G. Learned-Miller:
It's Moving! A Probabilistic Model for Causal Motion Segmentation in Moving Camera Videos. - Lijuan Zhou, Wanqing Li, Philip Ogunbona:
Learning a Pose Lexicon for Semantic Action Recognition. - Arunselvan Ramaswamy, Shalabh Bhatnagar:
Gradient-based learning algorithms with constant-error estimators: stability and convergence. - Jesse Heyninck, Christian Straßer:
Relations between assumption-based approaches in nonmonotonic logic and formal argumentation. - Jun Pang, Yang Zhang:
Quantifying Location Sociality. - Mehmet Karaca, Björn Landfeldt:
Approaching Optimal Centralized Scheduling with CSMA-based Random Access over Fading Channels. - Sebastian Sudholt, Gernot A. Fink:
PHOCNet: A Deep Convolutional Neural Network for Word Spotting in Handwritten Documents. - Yukara Ikemiya, Katsutoshi Itoyama, Kazuyoshi Yoshii:
Singing Voice Separation and Vocal F0 Estimation based on Mutual Combination of Robust Principal Component Analysis and Subharmonic Summation. - Marco Bressan, Enoch Peserico, Luca Pretto:
The Power of Local Information in PageRank. - Cornelius Diekmann, Stephan-Alexander Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle:
Verifying Security Policies using Host Attributes. - Cornelius Diekmann, Lars Hupel, Georg Carle:
Semantics-Preserving Simplification of Real-World Firewall Rule Sets. - George Barmpalias, Andrew Lewis-Pye:
Differences of halting probabilities. - Giorgio Battistelli, Luigi Chisci, Stefano Gherardini:
Moving horizon estimation for discrete-time linear systems with binary sensors: algorithms and stability results. - Shishan Yang, Marcus Baum:
Second-Order Extended Kalman Filter for Extended Object and Group Tracking. - Raphael R. Toledo, George Danezis, Ian Goldberg:
Lower-Cost epsilon-Private Information Retrieval. - Naveen Kadayinti, Amitalok J. Budkuley, Dinesh Kumar Sharma:
Settling Time of Mesochronous Clock Retiming Circuits for Low Swing Interconnects. - Krzysztof Wolk:
Building an Internet Radio System with Interdisciplinary factored system for automatic content recommendation. - Piotr Koniusz, Anoop Cherian, Fatih Porikli:
Tensor Representations via Kernel Linearization for Action Recognition from 3D Skeletons. - Jose Alvaro Perez, Christelle Pittet, Daniel Alazard, Thomas Loquen:
Integrated Control/Structure Design of a Large Space Structure using Structured ℋ∞ Control. - Arno Pauly, Hideki Tsuiki:
Tω-representations of compact sets. - (Withdrawn) Flexible Multibody System Linear Modeling for Control using Component Modes Synthesis and Double-Port Approach.
- Elnaserledinellah Mahmood Abdelwahab, Karim Daghbouche
, Nadra Ahmad Shannan:
The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem. - Cornelius Diekmann, Andreas Korsten, Georg Carle:
Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations. - Nirmal V. Shende, Kudret Akcapinar, Özgür Gürbüz, Elza Erkip:
Half-Duplex or Full-Duplex Communications: A Capacity Analysis under Self-Interference. - Ayush Kumar:
Joint Resource Allocation for OFDMA based Overlay Cognitive Radio Networks under Stochastic Rate Constraint. - Brenden M. Lake, Tomer D. Ullman, Joshua B. Tenenbaum, Samuel J. Gershman:
Building Machines That Learn and Think Like People. - Rémi Coletta, Benjamin Négrevergne:
A SAT model to mine flexible sequences in transactional datasets. - Valentina Gliozzi:
A strengthening of rational closure in DLs: reasoning about multiple aspects. - Ojas Parekh:
Iterative Packing for Demand and Hypergraph Matching. - S. L. Happy, Anirban Dasgupta, Priyadarshi Patnaik, Aurobinda Routray:
Automated Alertness and Emotion Detection for Empathic Feedback During E-Learning. - Ehud Ben-Reuven, Jacob Goldberger:
A Semisupervised Approach for Language Identification based on Ladder Networks. - Giuseppe Petracca, Yuqiong Sun, Ahmad Atamli, Trent Jaeger:
AuDroid: Preventing Attacks on Audio Channels in Mobile Devices. - Ojas Parekh, David Pritchard:
Generalized Hypergraph Matching via Iterated Packing and Local Ratio. - Ziad Al-Halah, Rainer Stiefelhagen:
How to Transfer? Zero-Shot Object Recognition via Hierarchical Transfer of Semantic Attributes. - Ferruccio Damiani
, Michael Lienhardt:
Refactoring Delta-Oriented Product Lines to achieve Monotonicity. 2-16 - Frederik Deckwerth, Géza Kulcsár, Malte Lochau, Gergely Varró, Andy Schürr:
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation. 17-31 - Matthias Kowal, Ina Schaefer:
Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems. 32-45 - Anjali Sree-Kumar
, Elena Planas, Robert Clarisó
:
Analysis of Feature Models Using Alloy: A Survey. 46-60 - Maurice H. ter Beek
, Erik P. de Vink, Tim A. C. Willemse
:
Towards a Feature mu-Calculus Targeting SPL Verification. 61-75 - Aviad Rubinstein:
Beyond matroids: Secretary Problem and Prophet Inequality with general constraints. - Tea Tusar, Dimo Brockhoff, Nikolaus Hansen, Anne Auger:
COCO: The Bi-objective Black Box Optimization Benchmarking (bbob-biobj) Test Suite. - Walter Hehl:
A General World Model with Poiesis: Poppers Three Worlds updated with Software. - Mengran Gou, Xikang Zhang, Angels Rates-Borras, Sadjad Asghari-Esfeden, Mario Sznaier, Octavia I. Camps:
Person Re-identification in Appearance Impaired Scenarios. - Yangming Zhou, Jin-Kao Hao, Béatrice Duval:
Reinforcement learning based local search for grouping problems: A case study on graph coloring. - R. Irem Bor Yaliniz, Halim Yanikomeroglu:
The New Frontier in RAN Heterogeneity: Multi-tier Drone-Cells. - Robert Atkey, Neelakantan R. Krishnaswami:
Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016. EPTCS 207, 2016 [contents] - Ayush Shah, Ambar Pal, Hrishikesh B. Acharya:
The Internet of Things: Perspectives on Security from RFID and WSN. - Arman Cohan, Nazli Goharian:
Revisiting Summarization Evaluation for Scientific Articles. - Jonathan Ventura:
Structure from Motion on a Sphere. - Georgios Askalidis, Edward C. Malthouse:
Understanding and Overcoming Biases in Customer Reviews. - Roza Aceska, Jean-Luc Bouchot, Shidong Li:
Local sparsity and recovery of fusion frames structured signals. - Shyam Upadhyay, Manaal Faruqui, Chris Dyer, Dan Roth:
Cross-lingual Models of Word Embeddings: An Empirical Comparison. - Yu-Chuan Su, Kristen Grauman:
Leaving Some Stones Unturned: Dynamic Feature Prioritization for Activity Detection in Streaming Video. - Jong-Chyi Su, Subhransu Maji:
Cross Quality Distillation. - Javier Rubio, Antonio Pascual-Iserte, Daniel Pérez Palomar, Andrea Goldsmith:
Joint Optimization of Power and Data Transfer in Multiuser MIMO Systems. - Abhishek Sinha, Georgios S. Paschos, Eytan H. Modiano:
Throughput-Optimal Multi-hop Broadcast Algorithms. - Christopher B. Choy, Danfei Xu, JunYoung Gwak, Kevin Chen, Silvio Savarese:
3D-R2N2: A Unified Approach for Single and Multi-view 3D Object Reconstruction. - Min Ye, Alexander Barg:
Explicit constructions of high-rate MDS array codes with optimal repair bandwidth. - Ren Zheng, Xinlei Yi, Wenlian Lu, Tianping Chen:
Stability of Analytic Neural Networks with Event-triggered Synaptic Feedbacks. - Wenlian Lu, Fatihcan M. Atay:
Local pinning of networks of multi-agent systems with transmission and pinning delays. - Mo Yu, Mark Dredze, Raman Arora, Matthew R. Gormley:
Embedding Lexical Features via Low-Rank Tensors. - Wenlian Lu, Ren Zheng, Tianping Chen:
Centralized and Decentralized Global Outer-synchronization of Asymmetric Recurrent Time-varying Neural Network by Data-sampling. - Mohamed Elhoseiny, Scott Cohen, Walter Chang, Brian L. Price, Ahmed M. Elgammal:
Automatic Annotation of Structured Facts in Images. - Raghvendra Kannao, Prithwijit Guha:
Overlay Text Extraction From TV News Broadcast. - Yi Dai, Bin Liu:
Robust video object tracking via Bayesian model averaging based feature fusion. - Bin Liu, Shi Cheng:
State Space Model based Trust Evaluation over Wireless Sensor Networks: An Iterative Particle Filter Approach. - Sanjeeb Kumar Behera, Minati Mishra:
Steganography - A Game of Hide and Seek in Information Communication. - Phi Vu Tran:
A Fully Convolutional Neural Network for Cardiac Segmentation in Short-Axis MRI. - Subhash Bhagat, Sruti Gan Chaudhuri, Krishnendu Mukhopadhyaya:
A Get-Together for Deaf and Dumb Robots in Three dimensional Space. - Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer:
Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report). - Wenpeng Yin, Tobias Schnabel, Hinrich Schütze:
Online Updating of Word Representations for Part-of-Speech Tagging. - Wenpeng Yin, Hinrich Schütze:
Discriminative Phrase Embedding for Paraphrase Identification. - Honggang Hu, Qingsheng Zhang, Shuai Shao:
On the Dual of the Coulter-Matthews Bent Functions. - Randima Hettiarachchi, James F. Peters:
Voronoi Region-Based Adaptive Unsupervised Color Image Segmentation. - Jingchao Chen:
Improving SAT Solvers via Blocked Clause Decomposition. - James Babcock, János Kramár, Roman Yampolskiy:
The AGI Containment Problem. - Farida Memon, Mukhtiar Ali Unar
, Sheeraz Memon:
Image Quality Assessment for Performance Evaluation of Focus Measure Operators. - Hoang X. Nguyen, Tuan N. Nguyen, Magd Abdel Wahab, Stéphane P. A. Bordas, Hung Nguyen-Xuan, Thuc P. Vo:
Isogeometric analysis for functionally graded microplates based on modified couple stress theory. - Niaz Ahmed Memon, Mukhtiar Ali Unar
, Abdul Khalique Ansari:
pH Prediction by Artificial Neural Networks for the Drinking Water of the Distribution System of Hyderabad City. - Lukasz P. Olech, Jan Kwiatkowski:
Scalability Model Based on the Concept of Granularity. - Zeeshan Ali Memon, Mukhtiar Ali Unar
, Dur Muhammad Pathan:
Parametric Study of Nonlinear Adaptive Cruise Control for a Road Vehicle Model by MPC. - Muhammad Saleh Shah, Asim Imdad Wagan, Mukhtiar Ali Unar
:
SAM: Support Vector Machine Based Active Queue Management. - Saba Baloch, Javed Ali Baloch, Mukhtiar Ali Unar
:
Channel Equalization Using Multilayer Perceptron Networks. - Jacob Andreas, Dan Klein:
Reasoning About Pragmatics with Neural Listeners and Speakers. - Omar A. Alzubi:
An Empirical Study of Irregular AG Block Turbo Codes over Fading Channels. - Suresh Dahiya:
A Statistical Block Fading Channel Model for Multiuser Massive MIMO System. - Timo Hanke:
AsicBoost - A Speedup for Bitcoin Mining. - Abhishek Sinha, Leandros Tassiulas, Eytan H. Modiano:
Throughput-Optimal Broadcast in Wireless Networks with Dynamic Topology. - Bofeng Yuan, Syed Ali Jafar:
Elevated Multiplexing and Signal Space Partitioning in the 2 User MIMO IC with Partial CSIT. - Alireza Sadeghi, Michele Luvisotto, Farshad Lahouti, Stefano Vitturi, Michele Zorzi:
Statistical QoS Analysis of Full Duplex and Half Duplex Heterogeneous Cellular Networks. - Fabricio B. Goncalves, Felipe Maia Galvão França, Cláudio L. Amorim:
RAdNet-VE: An Interest-Centric Mobile Ad Hoc Network for Vehicular Environments. - Sushmita Ruj, Arindam Pal:
Preferential Attachment Model with Degree Bound and its Application to Key Predistribution in WSN. - Santhosh Kumar, Pradip Sircar:
Two Dimensional Angle of Arrival Estimation. - Sreram Balasubramaniyan, B. Subathra, R. C. Hemesh, S. Gurusamy, Seshadhri Srinivasan:
On simulating processor schedules and network protocols within CPS using TrueTime. - Tao Kong, Anbang Yao, Yurong Chen, Fuchun Sun:
HyperNet: Towards Accurate Region Proposal Generation and Joint Object Detection. - Victor Shia, Talia Y. Moore, Ruzena Bajcsy, Ram Vasudevan:
Convex Computation of the Basin of Stability to Measure the Likelihood of Falling: A Case Study on the Sit-to-Stand Task. - Yuzhuo Ren, Chen Chen, Shangwen Li, C.-C. Jay Kuo:
GAL: A Global-Attributes Assisted Labeling System for Outdoor Scenes. - Mugen Peng, Yaohua Sun, Xuelong Li, Zhendong Mao, Chonggang Wang:
Recent Advances in Cloud Radio Access Networks: System Architectures, Key Techniques, and Open Issues. - Gustavo Chávez
, George M. Turkiyyah, David E. Keyes:
A Direct Elliptic Solver Based on Hierarchically Low-rank Schur Complements. - Saber Jafarizadeh:
Optimizing the Diffusion System Based on Continuous-Time Consensus Algorithm. - Masahito Hayashi:
Security guaranteed secure wireless communication based on reverse reconciliation. - Sebastian Schiessl, Farshad Naghibi, Hussein Al-Zubaidy, Markus Fidler, James Gross:
On the Delay Performance of Interference Channels. - Daniel Pickem, Li Wang, Paul Glotfelter, Yancy Diaz-Mercado, Mark Mote, Aaron D. Ames, Eric Feron, Magnus Egerstedt:
Safe, Remote-Access Swarm Robotics Research on the Robotarium. - Roy Friedman, Nir Hauser:
COARA: Code Offloading on Android with AspectJ. - (Withdrawn) Multi-objective design of quantum circuits using genetic programming.
- Karine da Silva Miras de Araújo, Fabrício Olivetti de França:
An electronic-game framework for evaluating coevolutionary algorithms. - Ying Cui, Dongdong Jiang:
Analysis and Optimization of Caching and Multicasting in Large-Scale Cache-Enabled Heterogeneous Wireless Networks. - Stefano Buzzi, Carmen D'Andrea:
A Clustered Statistical MIMO Millimeter Wave Channel Model. - Weiwei Pan, Finale Doshi-Velez:
A Characterization of the Non-Uniqueness of Nonnegative Matrix Factorizations. - Siheng Chen, Yaoqing Yang, Shi Zong, Aarti Singh, Jelena Kovacevic:
Detecting Structure-correlated Attributes on Graphs. - Jiawei Zhang, Xiao Pan, Moyin Li, Philip S. Yu:
Bicycle-Sharing System Analysis and Trip Prediction. - Ali Gholami, Anna-Sara Lind, Jane Reichel, Jan-Eric Litton, Åke Edlund, Erwin Laure:
Design and implementation of the advanced cloud privacy threat modeling. - Hongyang Li, Wanli Ouyang, Xiaogang Wang:
Multi-Bias Non-linear Activation in Deep Neural Networks. - Edmond Awad, Jean-François Bonnefon, Martin Caminada, Thomas W. Malone, Iyad Rahwan:
Experimental Assessment of Aggregation Rules in Argumentation-enabled Collective Intelligence. - Edmond Awad, Martin Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski, Iyad Rahwan:
Pareto Optimality and Strategy Proofness in Group Argument Evaluation. - Manlio De Domenico, Elisa Omodei, Alex Arenas:
Quantifying the Diaspora of Knowledge in the Last Century. - Wei Wen, Chunpeng Wu, Yandan Wang, Kent W. Nixon, Qing Wu, Mark Barnell, Hai Li, Yiran Chen:
A New Learning Method for Inference Accuracy, Core Occupation, and Performance Co-optimization on TrueNorth Chip.