default search action
CoRR, September 2013
September 2013
- Kamran Karimi, Aleks G. Pamir, M. Haris Afzal:
Accelerating a Cloud-Based Software GNSS Receiver. - Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski:
Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material). - Cheng Bo, Lan Zhang, Xiang-Yang Li:
SilentSense: Silent User Identification via Dynamics of Touch and Movement Behavioral Biometrics. - Kameng Nip, Zhenbo Wang, Fabrice Talla Nobibon, Roel Leus:
A Combination of Flow Shop Scheduling and the Shortest Path Problem. - Kameng Nip, Zhenbo Wang, Wenxun Xing:
Combinations of Some Shop Scheduling Problems and the Shortest Path Problem: Complexity and Approximation Algorithms. - Junaid Qadir:
Artificial Intelligence Based Cognitive Routing for Cognitive Radio Networks. - Seyed Pooya Shariatpanahi, Hamed Shah-Mansouri, Babak Hossein Khalaj:
Caching Gain in Wireless Networks with Fading: A Multi-User Diversity Perspective. - Hiroki Miyazako, Yutaka Hori, Shinji Hara:
Turing Instability in Reaction-Diffusion Systems with a Single Diffuser: Characterization Based on Root Locus. - Ryan Wen Liu, Tian Xu:
A Robust Alternating Direction Method for Constrained Hybrid Variational Deblurring Model. - An Zeng, Alexandre Vidmer, Matús Medo, Yi-Cheng Zhang:
Information filtering via hybridization of similarity preferential diffusion processes. - Tobias Breiten, Christopher A. Beattie, Serkan Gugercin:
Near-optimal Frequency-weighted Interpolatory Model Reduction. - Yury Polyanskiy, Sergio Verdú:
Empirical distribution of good channel codes with non-vanishing error probability (extended version). - Ahmed Douik, Sameh Sorour, Mohamed-Slim Alouini, Tareq Y. Al-Naffouri:
Delay Minimization for Instantly Decodable Network Coding in Persistent Channels with Feedback Intermittence. - Gaofei Wu, Matthew Geoffrey Parker:
A complementary construction using mutually unbiased bases. - Tryphon T. Georgiou, Anders Lindquist:
On time-reversibility of linear stochastic models. - S. Sri Gurudatta Yadav, R. V. Krishnaiah:
Haptic Science and Technology. - K. V. Rashmi, Nihar B. Shah, Dikang Gu, Hairong Kuang, Dhruba Borthakur, Kannan Ramchandran:
A Solution to the Network Challenges of Data Recovery in Erasure-coded Distributed Storage Systems: A Study on the Facebook Warehouse Cluster. - Oyelami Julius Olusegun, Norafida Binti Ithnin:
People Are the Answer to Security: Establishing a Sustainable Information Security Awareness Training (ISAT) Program in Organization. - Oyelami Julius Olusegun, Norafida Binti Ithnin:
Enhancing the Conventional Information Security Management Maturity Model (ISM3) in Resolving Human Factors in Organization Information Sharing. - Kamen Lozev:
Reconstruction and Uniqueness of Moving Obstacles. - Ram Chandra Singh Chauhan, Yatindra Nath Singh, Rachna Asthana:
Design of Minimum Correlated, Maximal Clique Sets of One-Dimensional Uni-polar (Optical) Orthogonal Codes. - George B. Mertzios, Mordechai Shalom, Prudence W. H. Wong, Shmuel Zaks:
Online Regenerator Placement. - Baofeng Wu, Dongdai Lin:
New constructions of quaternary bent functions. - Fei Gao, Dacheng Tao, Xinbo Gao, Xuelong Li:
Learning to Rank for Blind Image Quality Assessment. - Mian Lu, Lei Zhang, Huynh Phung Huynh, Zhongliang Ong, Yun Liang, Bingsheng He, Rick Siow Mong Goh, Richard Huynh:
Optimizing the MapReduce Framework on Intel Xeon Phi Coprocessor. - Lars Buitinck, Gilles Louppe, Mathieu Blondel, Fabian Pedregosa, Andreas Mueller, Olivier Grisel, Vlad Niculae, Peter Prettenhofer, Alexandre Gramfort, Jaques Grobler, Robert Layton, Jake VanderPlas, Arnaud Joly, Brian Holt, Gaël Varoquaux:
API design for machine learning software: experiences from the scikit-learn project. - Paolo Castiglione, Gerald Matz:
Energy-Neutral Source-Channel Coding with Battery and Memory Size Constraints. - Dragan Vidakovic, Dusko Parezanovic:
Generating Keys in Elliptic Curve Cryptosystems. - Igor C. Oliveira:
Algorithms versus Circuit Lower Bounds. - Yossi Azar, Adi Vardi:
Colored Packets with Deadlines and Metric Space Transition Cost. - Dan C. Ciresan, Jürgen Schmidhuber:
Multi-Column Deep Neural Networks for Offline Handwritten Chinese Character Classification. - Mihaela van der Schaar, Yuanzhang Xiao, William R. Zame:
Designing Efficient Resource Sharing For Impatient Players Using Limited Monitoring. - Kamran Riaz Khan, Affan A. Syed, Syed Ali Khayam:
Traffic analyzer for differentiating BitTorrent handshake failures from port-scans. - Antonis Sidiropoulos, Dimitrios Katsaros, Yannis Manolopoulos:
Categorizing Influential Authors Using Penalty Areas. - Rade Vuckovac:
A new kind of complexity. - (Withdrawn) Fundamental Limits of HRR Profiling and Velocity Compensation For Stepped-Frequency Waveforms.
- Xiaojiang Peng, Qiang Peng, Yu Qiao, Junzhou Chen, Mehtab Afzal:
A Study on Unsupervised Dictionary Learning and Feature Encoding for Action Classification. - Attilio Fiandrotti, Valerio Bioglio, Marco Grangetto, Rossano Gaeta, Enrico Magli:
Band Codes for Energy-Efficient Network Coding with Application to P2P Mobile Streaming. - Michal Lopuszynski, Lukasz Bolikowski:
Tagging Scientific Publications using Wikipedia and Natural Language Processing Tools. Comparison on the ArXiv Dataset. - Taisuke Sato, Philipp J. Meyer:
Infinite probability computation by cyclic explanation graphs. - Indaco Biazzo, Alfredo Braunstein, Riccardo Zecchina:
On the performance of a cavity method based algorithm for the Prize-Collecting Steiner Tree Problem on graphs. - Florian Meyer, Ondrej Hlinka, Franz Hlawatsch:
Sigma Point Belief Propagation. - Manolis Ploumidis, Nikolaos Pappas, Apostolos Traganitis:
Throughput Optimal Flow Allocation on Multiple Paths for Random Access Wireless Multi-hop Networks. - Yi Cheng, Valery A. Ugrinovskii, Guanghui Wen:
Guaranteed Cost Tracking for Uncertain Coupled Multi-agent Systems Using Consensus over a Directed Graph. - Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Case study: Class diagram restructuring. 8-15 - Sebastiaan J. van Schaik, Dan Olteanu, Robert Fink:
ENFrame: A Platform for Processing Probabilistic Data. - Konrad Kulakowski:
Heuristic Rating Estimation approach to the pairwise comparisons method. - Philipp Hupp:
Hierarchization for the Sparse Grid Combination Technique. - Joachim Rosenthal, Natalia Silberstein, Anna-Lena Trautmann:
On the Geometry of Balls in the Grassmannian and List Decoding of Lifted Gabidulin Codes. - Aurélie Lagoutte, Sébastien Tavenas:
The complexity of Shortest Common Supersequence for inputs with no identical consecutive letters. - Frédéric Maffray, Nicolas Trotignon:
Algorithms for perfectly contractile graphs. - Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan:
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. - Ayse Ünsal, Raymond Knopp:
Distributed Sensing and Transmission of Sporadic Random Samples in a Multiple-Access Channel. - Jean-Rémy Falleri, Cédric Teyton, Matthieu Foucault, Marc Palyart, Floréal Morandat, Xavier Blanc:
The Harmony Platform. - Mahdi Cheraghchi, Venkatesan Guruswami:
Capacity of Non-Malleable Codes. - Eric Heim, Hamed Valizadegan, Milos Hauskrecht:
Relative Comparison Kernel Learning with Auxiliary Kernels. - William Bradley Glisson, Tim Storer:
Investigating Information Security Risks of Mobile Device Use within Organizations. - Louis-François Pau:
Botnet economics and devising defence schemes from attackers own reward processes. - Raphael 'kena' Poss:
Machines are benchmarked by code, not algorithms. - Daniel Zelazo, Antonio Franchi, Heinrich H. Bülthoff, Paolo Robuffo Giordano:
Decentralized Rigidity Maintenance Control with Range-only Measurements for Multi-Robot Systems. - Karim Habak, Khaled A. Harras, Moustafa Youssef:
Bandwidth Aggregation Techniques in Heterogeneous Multi-homed Devices: A Survey. - Shyam Srinivasan:
Optimizing the performance of Lattice Gauge Theory simulations with Streaming SIMD extensions. - Siu On Chan, James R. Lee, Prasad Raghavendra, David Steurer:
Approximate Constraint Satisfaction Requires Large LP Relaxations. - Jiadong Wang, Kasra Vakilinia, Tsung-Yi Chen, Thomas A. Courtade, Guiqiang Dong, Tong Zhang, Hari Shankar, Richard D. Wesel:
Enhanced Precision Through Multiple Reads for LDPC Decoding in Flash Memories. - K. P. Shaji, I. Alsheba, Y. A. Syed Khadar, S. Kannan:
Multiparameter Monitoring and Fault Indication Using Inductive Power Transfer System. - Vijay Borges, Wilson Jeberson:
Survey of Context Information Fusion for Sensor Networks based Ubiquitous Systems. - Eitan Altman, Konstantin Avrachenkov, Jasper Goseling:
Coding for Caches in the Plane. - Mingchao Yu, Parastoo Sadeghi, Neda Aboutorab:
On Throughput and Decoding Delay Performance of Instantly Decodable Network Coding. - Massimo Rimondini, Claudio Squarcella, Giuseppe Di Battista:
From BGP to RTT and Beyond: Matching BGP Routing Changes and Network Delay Variations with an Eye on Traceroute Paths. - Sándor Vágvölgyi:
Threefold Post Correspondence System. - Georgios Koutsoumpakis, Iakovos Koutsoumpakis, Anastasios Gounaris:
Skew Handling in Aggregate Streaming Queries on GPUs. - Nathanaël François, Frédéric Magniez:
Input/Output Streaming Complexity of Reversal and Sorting. - Yi Zhou:
Majority Rule for Belief Evolution in Social Networks. - Ruben Martinez-Cantin:
BayesOpt: A Library for Bayesian optimization with Robotics Applications. - Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati:
Strip Planarity Testing of Embedded Planar Graphs. - Chu-Xu Zhang, Zi-Ke Zhang, Lu Yu, Chuang Liu, Hao Liu, Xiao-Yong Yan:
Information Filtering via Collaborative User Clustering Modeling. - Frédéric Maffray, Nicolas Trotignon, Kristina Vuskovic:
Algorithms for square-$3PC(\cdot, \cdot)$-free Berge graphs. - Mohammad Tofighi, Kivanç Köse, Ahmet Enis Çetin:
Denoising Using Projection Onto Convex Sets (POCS) Based Framework. - Tsung-Yi Chen, Adam R. Williamson, Nambi Seshadri, Richard D. Wesel:
Feedback Communication Systems with Limitations on Incremental Redundancy. - Ashish Sureka, Monika Gupta, Dipto Sarkar, Vidushi Chaudhary:
A Case-Study on Teaching Undergraduate-Level Software Engineering Course Using Inverted-Classroom, Large-Group, Real-Client and Studio-Based Instruction Model. - Victor Khomenko, Roland Meyer, Reiner Hüchting:
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets. - Giuseppe Bianchi, Nicola Blefari-Melazzi, Alberto Caponi, Andrea Detti:
A General, Tractable and Accurate Model for a Cascade of Caches. - David M. Bryson, Charles Ofria:
Understanding Evolutionary Potential in Virtual CPU Instruction Set Architectures. - Mohammad Noshad, Maïté Brandt-Pearce:
Application of Expurgated PPM to Indoor Visible Light Communications - Part I: Single-User Systems. - Nadeem Javaid, Obaid Ur Rehman, Nabil Ali Alrajeh, Zahoor Ali Khan, Basit Manzoor, S. Ahmed:
AID: An Energy Efficient Decoding Scheme for LDPC Codes in Wireless Body Area Sensor Networks. - Frank Havlak, Mark E. Campbell:
Discrete and Continuous, Probabilistic Anticipation for Autonomous Robots in Urban Environments. - Mohammad Noshad, Maïté Brandt-Pearce:
Application of Expurgated PPM to Indoor Visible Light Communications - Part II: Access Networks. - Nick Williams:
An Exploratory Data Survey of Drug Name Incidence and Prevalence From the FDA's Adverse Event Reporting System, 2004 to 2012Q2. - Furong Huang, U. N. Niranjan, Mohammad Umar Hakeem, Prateek Verma, Animashree Anandkumar:
Fast Detection of Overlapping Communities via Online Tensor Methods on GPUs. - Sina Lashgari, Amir Salman Avestimehr, Changho Suh:
Linear Degrees of Freedom of the X-Channel with Delayed CSIT. - H. Lookman Sithic, T. Balasubramanian:
Survey of Insurance Fraud Detection Using Data Mining Techniques. - Abla Kammoun, Karim Abed-Meraim:
Performance Analysis and Optimal Power Allocation for Linear Receivers Based on Superimposed Training. - Bart Jacobs:
Bases as Coalgebras. - Zhao Tan, Peng Yang, Arye Nehorai:
Joint Sparse Recovery Method for Compressed Sensing with Structured Dictionary Mismatch. - Muhammad Nazmul Islam, Narayan B. Mandayam, Sastry Kompella, Ivan Seskar:
Optimal Spectrum Fragmentation in NC-OFDMA based Multi-hop Networks. - Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti:
On the Robustness of Temporal Properties for Stochastic Models. 3-19 - Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková:
Robustness Analysis for Value-Freezing Signal Temporal Logic. 20-36 - Ye Chen, Christopher Short, Ádám M. Halász, Jeremy S. Edwards:
The impact of high density receptor clusters on VEGF signaling. 37-52 - Thao Dang, Tommaso Dreossi:
Falsifying Oscillation Properties of Parametric Biological Models. 53-67 - Vincent Noël, Sergey Vakulenko, Ovidiu Radulescu:
A hybrid mammalian cell cycle model. 68-83 - Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler:
Exploring the Dynamics of Mass Action Systems. 84-91 - Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Eric Fanchon:
Producing a Set of Models for the Iron Homeostasis Network. 92-98 - Qin Shu, Diana Catalina Ardila, Ricardo G. Sanfelice, Jonathan P. Vande Geest:
A Hybrid Model of a Genetic Regulatory Network in Mammalian Sclera. 99-105 - Rachit Agarwal, Matthew Caesar, Brighten Godfrey, Ben Y. Zhao:
Shortest Paths in Microseconds. - Stefano Berardi, Ugo de'Liguoro:
Non-monotonic Pre-fixed Points and Learning. 1-10 - Corina Cîrstea:
From Branching to Linear Time, Coalgebraically. 11-27 - José Espírito Santo, Ralph Matthes, Luís Pinto:
A Coinductive Approach to Proof Search. 28-43 - Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen:
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. 44-55 - Eleftherios Matsikoudis, Edward A. Lee:
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. 56-71 - Stefan Milius, Tadeusz Litak:
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. 72-86 - Matteo Mio, Alex Simpson:
Łukasiewicz mu-Calculus. 87-104 - Yutao Ma, Yang Wu, Youwei Xu:
Dynamics of Open-Source Software Developer's Commit Behavior: An Empirical Investigation of Subversion. - Ibrahim Issa, Silas L. Fong, Amir Salman Avestimehr:
Two-Hop Interference Channels: Impact of Linear Schemes. - Ugo de'Liguoro, Alexis Saurin:
Proceedings First Workshop on Control Operators and their Semantics, COS 2013, Eindhoven, The Netherlands, June 24-25, 2013. EPTCS 127, 2013 [contents] - Henry Corrigan-Gibbs, Bryan Ford:
Conscript Your Friends into Larger Anonymity Sets with JavaScript. - Benjamin Lévêque, David Y. Lin, Frédéric Maffray, Nicolas Trotignon:
Detecting induced subgraphs. - Nicolas Derhy, Christophe Picouleau, Nicolas Trotignon:
The four-in-a-tree problem in triangle-free graphs. - Ayan Seal, Mita Nasipuri, Debotosh Bhattacharjee, Dipak Kumar Basu:
Minutiae Based Thermal Face Recognition using Blood Perfusion Data. - Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kr. Basu:
Automated Thermal Face recognition based on Minutiae Extraction. - Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
A Comparative Study of Human thermal face recognition based on Haar wavelet transform (HWT) and Local Binary Pattern (LBP). - Bruno Mery, Christian Retoré:
Advances in the Logical Representation of Lexical Semantics. - Bin Li, Hui Shen, David Tse:
Parallel Decoders of Polar Codes. - Maximilian Ranneberg:
Sensor Setups for State and Wind Estimation for Airborne Wind Energy Converters. - Turlough Neary, Matthew Cook:
Proceedings Machines, Computations and Universality 2013, MCU 2013, Zürich, Switzerland, September 9-11, 2013. EPTCS 128, 2013 [contents] - Luis M. Vaquero, Félix Cuadrado, Dionysios Logothetis, Claudio Martella:
xDGP: A Dynamic Graph Processing System with Adaptive Partitioning. - Elisângela Silva Dias, Diane Castonguay, Humberto J. Longo, Walid Abdala Rfaei Jradi:
Efficient Enumeration of All Chordless Cycles in Graphs. - Mathieu Andro, Gaëtan Tröger:
Statistiques et visibilité des bibliothèques numériques : quelles stratégies de diffusion ? - Damian Eads, David P. Helmbold, Edward Rosten:
Boosting in Location Space. - Zeyu Guo:
Randomness-efficient Curve Samplers. - Jeremy Cohen, Chris D. Cantwell, Neil P. Chue Hong, David Moxey, Malcolm Illingworth, Andrew Turner, John Darlington, Spencer J. Sherwin:
Simplifying the Development, Use and Sustainability of HPC Software. - Ana Cristina Mendes, Luísa Coheur, Sérgio Curto:
Learning to answer questions. - Rashmi Gupta, Nisheeth Joshi, Iti Mathur:
Analysing Quality of English-Hindi Machine Translation Engine Outputs Using Bayesian Classification. - Mahdi Cheraghchi, Venkatesan Guruswami:
Non-Malleable Coding Against Bit-wise and Split-State Tampering. - Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Minutiae Based Thermal Human Face Recognition using Label Connected Component Algorithm. - Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kr. Basu:
Thermal Human face recognition based on Haar wavelet transform and series matching technique. - Puneet Kumar Mongia, B. J. Singh:
Planning and Optimization of Wireless LANs through Field Measurements. - Eric M. Heien, Todd L. Miller, Becky Gietzel, Louise H. Kellogg:
Experiences with Automated Build and Test for Geodynamics Simulation Codes. - Mahmoud Ashour, Amr A. El-Sherif, Tamer A. ElBatt, Amr Mohamed:
Cooperative Access in Cognitive Radio Networks: Stable Throughput and Delay Tradeoffs.