- Amihood Amir, Timothy M. Chan, Moshe Lewenstein, Noa Lewenstein:
On Hardness of Jumbled Indexing. CoRR abs/1405.0189 (2014) - Vishal Anand, Ramani S:
Fault Localization in a Software Project using Back-Tracking Principles of Matrix Dependency. CoRR abs/1405.0786 (2014) - Nima Anari, Gagan Goel, Afshin Nikzad:
Mechanisms Design for Crowdsourcing: An Optimal 1-1/e Approximate Budget-Feasible Mechanism for Large Markets. CoRR abs/1405.2452 (2014) - Kerstin Andersson:
Exact Probability Distribution versus Entropy. CoRR abs/1405.2418 (2014) - Jeffrey G. Andrews, Stefano Buzzi, Wan Choi, Stephen V. Hanly, Angel E. Lozano, Anthony C. K. Soong, Jianzhong (Charlie) Zhang:
What Will 5G Be? CoRR abs/1405.2957 (2014) - Ion Androutsopoulos, Gerasimos Lampouras, Dimitrios Galanis:
Generating Natural Language Descriptions from OWL Ontologies: the NaturalOWL System. CoRR abs/1405.6164 (2014) - Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek:
Modeling Bitcoin Contracts by Timed Automata. CoRR abs/1405.1861 (2014) - Leonardo Aniello, Andrea Bondavalli, Andrea Ceccarelli, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Antonella Guzzo, Antonio Pecchia, Andrea Pugliese, Leonardo Querzoni, Stefano Russo:
Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities. CoRR abs/1405.0325 (2014) - Christian Antic:
On cascade products of answer set programs. CoRR abs/1405.3608 (2014) - Lucas Antiqueira, Liang Zhao:
Spatial Neural Networks and their Functional Samples: Similarities and Differences. CoRR abs/1405.0573 (2014) - Dor Arad, Yael Mordechai, Hadas Shachnai:
Tighter Bounds for Makespan Minimization on Unrelated Machines. CoRR abs/1405.2530 (2014) - Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards:
Formal Verification of Control Systems Properties with Theorem Proving. CoRR abs/1405.7615 (2014) - Miguel Areias
, Ricardo Rocha
:
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling. CoRR abs/1405.2850 (2014) - Vladimir Aristov, Andrey Stroganov:
Development of the method of computer analogy for studying and solving complex nonlinear systems. CoRR abs/1405.6139 (2014) - Jörg Arndt:
Subset-lex: did we miss an order? CoRR abs/1405.6503 (2014) - Taylor B. Arnold, Ryan J. Tibshirani:
Efficient Implementations of the Generalized Lasso Dual Path Algorithm. CoRR abs/1405.3222 (2014) - Megha Arora, Raghav Gupta, Ponnurangam Kumaraguru:
Indian Premier League (IPL), Cricket, Online Social Media. CoRR abs/1405.5009 (2014) - Yosra Arous, Olfa Boubaker:
Gait trajectory generation for a five link bipedal robot based on a reduced dynamical model. CoRR abs/1405.3103 (2014) - Oktay Arslan, Evangelos A. Theodorou, Panagiotis Tsiotras:
Information-Theoretic Stochastic Optimal Control via Incremental Sampling-based Algorithms. CoRR abs/1405.7392 (2014) - P. V. Arun, Sunil Kumar Katiyar:
An evolutionary computational based approach towards automatic image registration. CoRR abs/1405.6136 (2014) - Arash Asadi, Peter Jacko, Vincenzo Mancuso:
Modeling Multi-mode D2D Communications in LTE. CoRR abs/1405.6689 (2014) - Joshua Atkins, Daniele Giacobello:
Trends and Perspectives for Signal Processing in Consumer Audio. CoRR abs/1405.4843 (2014) - James Atwood:
Learning to Generate Networks. CoRR abs/1405.5868 (2014) - Marcel Ausloos, Herbert Dawid, Ugo Merlone:
Spatial interactions in agent-based modeling. CoRR abs/1405.0733 (2014) - Jeremy Avigad, Johannes Hölzl
, Luke Serafin:
A formally verified proof of the Central Limit Theorem. CoRR abs/1405.7012 (2014) - Edmond Awad, Richard Booth, Fernando Tohmé, Iyad Rahwan:
Judgment Aggregation in Multi-Agent Argumentation. CoRR abs/1405.6509 (2014) - Abhishek Awasthi, Jörg Lässig, Oliver Kramer:
A Novel Approach to the Common Due-Date Problem on Single and Parallel Machines. CoRR abs/1405.1234 (2014) - Hosein Azarbonyad, Reza Babazadeh:
A Genetic Algorithm for solving Quadratic Assignment Problem(QAP). CoRR abs/1405.5050 (2014) - Hosein Azarbonyad, Azadeh Shakery, Heshaam Faili:
Learning to Exploit Different Translation Resources for Cross Language Information Retrieval. CoRR abs/1405.5447 (2014) - Rehan Abdul Aziz:
Bound Founded Answer Set Programming. CoRR abs/1405.3367 (2014)