default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, June 2013
- (Withdrawn) An Open Question on the Uniqueness of (Encrypted) Arithmetic.
- Jens Gerlach:
Recursive Sorting in Lattices. - Abdel Nasser Tawfik
:
Calibrated Fair Measures of Measure: Indices to Quantify an Individual's Scientific Research Output. - Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Contract agreements via logic. 5-19 - Hong Jiang, Paul A. Wilford:
A Hierarchical Modulation for Upgrading Digital Broadcast Systems. - Hong Jiang, Paul A. Wilford, Stephen A. Wilkus:
Providing Local Content in a Hybrid Single Frequency Network using Hierarchical Modulation. - Andrew G. Lamperski, Laurent Lessard:
Optimal Decentralized State-Feedback Control with Sparsity and Delays. - Hong Jiang, Paul A. Wilford:
Digital predistortion for power amplifiers using separable functions. - Mickaël Buchet, Frédéric Chazal, Steve Y. Oudot, Donald R. Sheehy:
Efficient and Robust Topological Data Analysis on Metric Spaces. - Ali Seyfi:
Analysis and Evaluation of the Link and Content Based Focused Treasure-Crawler. - Camelia-Mihaela Pintea, Petrica C. Pop:
Sensitive Ants for Denial Jamming Attack on Wireless Sensor Network. - Steven Cheng, Lisa Higham, Jalal Kawash:
Partition Consistency: A Case Study in Modeling Systems with Weak Memory Consistency and Proving Correctness of their Implementations. - Amitabha Sinha, Mitrava Sarkar, Soumojit Acharyya, Suranjan Chakraborty:
A Novel Reconfigurable Architecture of a DSP Processor for Efficient Mapping of DSP Functions using Field Programmable DSP Arrays. - I. Ayachi, Ryan Kammarti, Mekki Ksouri, Pierre Borne:
Harmony search algorithm for the container storage problem. - Wasim Huleihel, Neri Merhav:
Analysis of Mismatched Estimation Errors Using Gradients of Partition Functions. - Alexey Potapov, Sergey Rodionov:
Universal Induction with Varying Sets of Combinators. - Rastislav Telgarsky:
Dominant Frequency Extraction. - Jacob Whitehill:
Understanding ACT-R - an Outsider's Perspective. - Mark Sh. Levin:
Towards Detection of Bottlenecks in Modular Systems. - Firas A. Jassim:
Image Inpainting by Kriging Interpolation Technique. - Luca Felicetti, Mauro Femminella, Gianluca Reali:
Simulation of Molecular Signaling in Blood Vessels: Software Design and Application to Atherogenesis. - Eugenio Culurciello, Jonghoon Jin, Aysegul Dundar, Jordan Bates:
An Analysis of the Connections Between Layers of Deep Neural Networks. - Miklós Ajtai:
Lower Bounds for RAMs and Quantifier Elimination. - Aleksandrs Slivkins:
Dynamic Ad Allocation: Bandits with Budgets. - Lilian Weng, Filippo Menczer, Yong-Yeol Ahn:
Virality Prediction and Community Structure in Social Networks. - Mouhamed Abdulla, Yousef R. Shayan:
Cellular-Based Statistical Model for Mobile Dispersion. - Daqiang Zhang, Qin Zou, Haoyi Xiong:
CRUC: Cold-start Recommendations Using Collaborative Filtering in Internet of Things. - Parinaz Naghizadeh Ardabili, Mingyan Liu:
Perceptions and Truth: A Mechanism Design Approach to Crowd-Sourcing Reputation. - Riadh Bouslimi, Abir Messaoudi, Jalel Akaichi:
Using a bag of Words for Automatic Medical Image Annotation with a Latent Semantic. - Manoj Panda, Anurag Kumar:
Cell-Level Modeling of IEEE 802.11 WLANs. - Haleh Amintoosi, Salil S. Kanhere:
A Trust-based Recruitment Framework for Multi-hop Social Participatory Sensing. - Matthias Bechmann, John A. Clark, Angelika Sebald:
Genetic algorithms and solid state NMR pulse sequences. - Prateek Dewan, Niharika Sachdeva, Mayank Gupta, Ponnurangam Kumaraguru:
ChaMAILeon: Exploring the Usability of a Privacy Preserving Email Sharing System. - Peng Bao, Huawei Shen, Wei Chen, Xueqi Cheng:
Cumulative Effect in Information Diffusion: A Comprehensive Empirical Study on Microblogging Network. - John Iacono:
In pursuit of the dynamic optimality conjecture. - Mohammed Alreshoodi, John Woods:
Survey on QoE\QoS Correlation Models For Multimedia Services. - Ibrahim Kabiru Musa, Stuart D. Walker:
Hybrid Optical and Electrical Network Flows Scheduling in Cloud Data Centres. - José H. H. Grisi-Filho, Raul Ossada, Fernando Ferreira, Marcos Amaku:
Scale-Free Networks with the Same Degree Distribution: Different Structural Properties. - Houtao Deng:
Guided Random Forest in the RRF Package. - Yichuan Tang:
Deep Learning using Support Vector Machines. - Andrew Adamatzky:
Slime mould tactile sensor. - Jie Lu, Choon Yik Tang:
Distributed Asynchronous Algorithms for Solving Positive Definite Linear Equations over Dynamic Networks. - (Withdrawn) Epidemic-like Proximity-based Traffic Offloading.
- Marina Danilevsky, Chi Wang, Nihit Desai, Jingyi Guo, Jiawei Han:
KERT: Automatic Extraction and Ranking of Topical Keyphrases from Content-Representative Document Titles. - Zvika Brakerski, Adeline Langlois, Chris Peikert, Oded Regev, Damien Stehlé:
Classical Hardness of Learning with Errors. - Junjie Rong, Lihua Wen, Jinyou Xiao:
An efficient method for evaluating BEM singular integrals on curved elements with application in acoustic analysis. - Mouhamed Abdulla, Yousef R. Shayan, Junho Baek:
Revisiting Circular-Based Random Node Simulation. - Subramanian Ganesh, Ramachandran Amutha:
Efficient and Secure Routing Protocol for Wireless Sensor Networks through SNR based Dynamic Clustering Mechanisms. - Özgür Dagdelen, Marc Fischlin, Tommaso Gagliardoni:
The Fiat-Shamir Transformation in a Quantum World. - Hector Zenil, Fernando Soler-Toscano, Kamaludin Dingle, Ard A. Louis:
Graph Automorphism and Topological Characterization of Synthetic and Natural Complex Networks by Information Content. - Tomasz Kajdanowicz, Przemyslaw Kazienko, Wojciech Indyk:
Parallel Processing of Large Graphs. - Xiaoying Zheng, Chunglae Cho, Ye Xia:
Algorithms and Stability Analysis for Content Distribution over Multiple Multicast Trees. - Daniel Graziotin:
An Analysis of issues against the adoption of Dynamic Carpooling. - Arnav Goyal, Dixita Limbachiya, Shikhar Kumar Gupta, Foram Joshi, Sushant Pritmani, Akshita Sahai, Manish K. Gupta:
DNA Pen: A Tool for Drawing on a Molecular Canvas. - Michael P. Wellman, Tae Hyung Kim, Quang Duong:
Analyzing Incentives for Protocol Compliance in Complex Domains: A Case Study of Introduction-Based Routing. - Yuyi Wang, Jan Ramon, Zheng-Chu Guo:
Learning from networked examples in a k-partite graph. - Michael Brand:
The RAM equivalent of P vs. RP. - Jun He, Dejiao Zhang, Laura Balzano, Tao Tao:
Iterative Grassmannian Optimization for Robust Image Alignment. - Amihood Amir, Gianni Franceschini, Roberto Grossi, Tsvi Kopelowitz, Moshe Lewenstein, Noa Lewenstein:
Managing Unbounded-Length Keys in Comparison-Driven Data Structures with Applications to On-Line Indexing. - Abdelhamid Salah Brahim, Lionel Tabourier, Bénédicte Le Grand:
A data-driven analysis to question epidemic models for citation cascades on the blogosphere. - Arthur Carvalho, Kate Larson:
Sharing a Reward Based on Peer Evaluations. - Juan Carlos Vera, Eric Vigoda, Linji Yang:
Improved Bounds on the Phase Transition for the Hard-Core Model in 2-Dimensions. - Islam Elgedawy:
DCaaS: Data Consistency as a Service for Managing Data Uncertainty on the Clouds. - Ryan Kammarti, I. Ayachi, Mekki Ksouri, Pierre Borne:
Evolutionary Approach for the Containers Bin-Packing Problem. - Wafaa El-Haweet, Islam Elgedawy, Ibrahim Abd El-Salam:
Adaptive Fixed Priority End-To-End Imprecise Scheduling In Distributed Real Time Systems. - Mohamed Ibrahim, Ahmed Saeed, Moustafa Youssef, Khaled A. Harras:
Unconventional TV Detection using Mobile Devices. - Tao Zhang, Peer-Olaf Siebers, Uwe Aickelin:
A Three-Dimensional Model of Residential Energy Consumer Archetypes for Local Energy Policy Design in the UK. - Givon Zirkind:
One Time Pad Password Protection: Using T.E.C. Steganography and Secure Password Transmission Protocols. - Alberto Rico-Alvariño, Robert W. Heath Jr.:
Learning-Based Adaptive Transmission for Limited Feedback Multiuser MIMO-OFDM. - Yann Ollivier:
Persistent Contextual Neural Networks for learning symbolic data sequences. - Natalia Malinina:
Special Partial Graphs. - Paolo Minero, Sung Hoon Lim, Young-Han Kim:
Hybrid Coding: An Interface for Joint Source-Channel Coding and Network Communication. - Bruno Scherrer:
On the Performance Bounds of some Policy Search Dynamic Programming Algorithms. - Uri Kartoun:
Identifying Pairs in Simulated Bio-Medical Time-Series. - Misha Denil, Babak Shakibi, Laurent Dinh, Marc'Aurelio Ranzato, Nando de Freitas:
Predicting Parameters in Deep Learning. - Ming Li, Sandipan Kundu, Dimitrios A. Pados, Stella N. Batalama:
Waveform Design for Secure SISO Transmissions and Multicasting. - (Withdrawn) Details of an Automotive Sub-System: Saab Instrument Cluster Module.
- Jing Li, Kai Xie:
Iterative Decoding and Turbo Equalization: The Z-Crease Phenomenon. - Jing (Tiffany) Li, Kai Xie:
Analog Turbo Codes: Turning Chaos to Reliability. - Maria-Florina Balcan, Steven Ehrlich, Yingyu Liang:
Distributed Clustering on Graphs. - Moshe Lewenstein:
Orthogonal Range Searching for Text Indexing. - Prateek Jain, Inderjit S. Dhillon:
Provable Inductive Matrix Completion. - Justin Gilmer, Michael E. Saks, Srikanth Srinivasan:
Composition limits and separating examples for some Boolean function complexity measures. - Hamed Hatami, Shachar Lovett:
Estimating the distance from testable affine-invariant properties. - Franck Cassez, Alban Grastien:
Predictability of Event Occurrences in Timed Systems. - Manfred Eppe, Mehul Bhatt:
Narrative based Postdictive Reasoning for Cognitive Robotics. - Mei Leng, Wee-Peng Tay, Chong Meng Samson See, Sirajudeen Gulam Razul, Moe Z. Win:
Fundamental Limits for Location and Velocity Estimation using Signals of Opportunity. - Pooria Joulani, András György, Csaba Szepesvári:
Online Learning under Delayed Feedback. - Nicolas Ray, Dmitry Sokolov:
Tracing cross-free polylines oriented by a N-symmetry direction field on triangulated surfaces. - Xiaogang Liu, Yuan Luo, Kenneth W. Shum:
On the Optimum Cyclic Subcode Chains of (2, m)* for Increasing Message Length. - Derrick Wing Kwan Ng, Robert Schober:
Resource Allocation for Secure Communication in Systems with Wireless Information and Power Transfer. - Nader Ale Ebrahim, Hadi Farhadi, Hadi Salehi, Melor Md. Yunus, Arezoo Aghaei Chadegani, Maryam Farhadi, Masood Fooladi:
Does it Matter Which Citation Tool is Used to Compare the h-index of a Group of Highly Cited Researchers? - Diederik P. Kingma:
Fast Gradient-Based Inference with Continuous Latent Variable Models in Auxiliary Form. - Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay:
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. - Nadeem Javaid, R. D. Khan, Manzoor Ilahi, L. Ali, Zahoor Ali Khan, U. Qasim:
Evaluating Wireless Proactive Routing Protocols under Mobility and Scalability Constraints. - Nima Taghipour, Jesse Davis, Hendrik Blockeel:
First-Order Decomposition Trees. - Nadeem Javaid, Manzoor Ilahi, R. D. Khan, L. Ali, U. Qasim, Zahoor Ali Khan:
Evaluating Wireless Reactive Routing Protocols with Linear Programming Model for Wireless Ad-hoc Networks. - W. Arshad, Nadeem Javaid, R. D. Khan, Manzoor Ilahi, U. Qasim, Zahoor Ali Khan:
Modeling and Simulating Network Connectivity in Routing Protocols for MANETs and VANETs. - Jean-Marc Jézéquel, Benoît Combemale, Olivier Barais, Martin Monperrus, François Fouquet:
Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench. - Saad Wasiq, Nadeem Javaid, Manzoor Ilahi, R. D. Khan, U. Qasim, Zahoor Ali Khan:
Evaluating and Comparing Probability of Path Loss in DSDV, OLSR and DYMO at 802.11 and 802.11p. - Martin Monperrus, Mira Mezini:
Detecting Missing Method Calls as Violations of the Majority Rule. - Joan Boyar, Kim S. Larsen, Abyayananda Maiti:
The Frequent Items Problem in Online Streaming under Various Performance Measures. - Bartlomiej Blaszczyszyn, Holger Paul Keeler:
Equivalence and comparison of heterogeneous cellular networks. - Julianna Zsido:
Theorem of three circles in Coq. - Jean Gregoire, Silvère Bonnabel, Arnaud de La Fortelle:
Priority-based coordination of robots. - María Poza, César Domínguez, Jónathan Heras, Julio Rubio:
A certified reduction strategy for homological image processing. - Alan Perotti:
RuleRunner technical report. - Nicolò Cesa-Bianchi, Claudio Gentile, Giovanni Zappella:
A Gang of Bandits. - Kalina Bontcheva, Genevieve Gorrell, Bridgette Wessels:
Social Media and Information Overload: Survey Results. - Claudia Carapelle, Alexander Kartzow, Markus Lohrey:
Satisfiability of CTL* with constraints. - Waleed K. A. Najy, Jacob W. Crandall, Hatem H. Zeineldin:
A Critical Assessment of Cost-Based Nash Methods for Demand Scheduling in Smart Grids. - Hernan Haimovich, Richard H. Middleton, Lisandro De Nicolo:
Large-signal stability conditions for semi-quasi-Z-source inverters: switched and averaged models. - Gary A. McGilvary, Adam Barker, Ashley D. Lloyd, Malcolm P. Atkinson:
V-BOINC: The Virtualization of BOINC. - Jinkyu Kang, Osvaldo Simeone, Joonhyuk Kang, Shlomo Shamai:
Joint Signal and Channel State Information Compression for the Backhaul of Uplink Network MIMO Systems. - Felix X. Yu, Dong Liu, Sanjiv Kumar, Tony Jebara, Shih-Fu Chang:
$\propto$SVM for learning with label proportions. - Siby Abraham, Sugata Sanyal, Mukund A. Sanglikar:
Finding Numerical Solutions of Diophantine Equations using Ant Colony Optimization. - Wani W. Tamas, Gilles Notton, Christophe Paoli, Cyril Voyant, Marie-Laure Nivet, Aurélia Balu:
Urban ozone concentration forecasting with artificial neural network in Corsica. - James R. Wright, Kevin Leyton-Brown:
Evaluating, Understanding, and Improving Behavioral Game Theory Models For Predicting Human Behavior in Unrepeated Normal-Form Games. - Seongwook Jeong, Jaekyun Moon:
Self-Iterating Soft Equalizer. - Mouhamed Abdulla, Yousef R. Shayan:
An Exact Path-Loss Density Model for Mobiles in a Cellular System. - Mouhamed Abdulla, Yousef R. Shayan:
Closed-Form Path-Loss Predictor for Gaussianly Distributed Nodes. - Ismael Ràfols, Michael M. Hopkins, Jarno Hoekman, Josh Siepel, Alice O'Hare, Antonio Perianes-Rodríguez, Paul Nightingale:
Big Pharma, little science? A bibliometric perspective on big pharma's R&D decline. - Luis Felipe Tapia Cuitiño, Andrea Luigi Tironi:
Dual codes of product semi-linear codes. - Kenichi Kobayashi, Manabu Kamimura, Keisuke Yano, Koki Kato, Akihiko Matsuo:
SArF Map: Visualizing Software Architecture from Feature and Layer Viewpoints. - Been Kim, Caleb M. Chacha, Julie A. Shah:
Inferring Robot Task Plans from Human Team Meetings: A Generative Modeling Approach with Logic-Based Prior. - Taotao Wang, Tiejun Lv, Hui Gao, Yueming Lu:
BER Analysis of Decision-Feedback Multiple Symbol Detection in Noncoherent MIMO Ultra-Wideband Systems. - Liang Liu, Rui Zhang, Kee-Chaing Chua:
Secrecy Wireless Information and Power Transfer with MISO Beamforming. - Jiuqing Wan, Li Liu:
Distributed Bayesian inference for consistent labeling of tracked objects in non-overlapping camera networks. - Eckhard Hitzer:
KamiWaAi - Interactive 3D Sketching with Java Based on Cl(4, 1) Conformal Model of Euclidean Space. - Lars Kotthoff:
LLAMA: Leveraging Learning to Automatically Manage Algorithms. - Mehul Bhatt, Jakob Suchan, Christian Freksa:
ROTUNDE - A Smart Meeting Cinematography Initiative: Tools, Datasets, and Benchmarks for Cognitive Interpretation and Control. - Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber:
swMATH - a new information service for mathematical software. - Günther Koliander, Erwin Riegler, Giuseppe Durisi, Franz Hlawatsch:
Generic Correlation Increases Noncoherent MIMO Capacity. - Rupinder Kaur, Jyotsna Sengupta:
Software Process Models and Analysis on Failure of Software Development Projects. - Alexander Heußner, Alexander Kartzow:
Reachability in Higher-Order-Counters. - Bernhard Haslhofer, Simeon Warner, Carl Lagoze, Martin Klein, Robert Sanderson, Herbert Van de Sompel, Michael L. Nelson:
Web Synchronization Simulations using the ResourceSync Framework. - Se-Young Yun, Jinwoo Shin, Yung Yi:
CSMA using Statistical Physics toward Throughput and Utility Optimal CSMA. - Pierre-Yves Baudin, Danny Goodman, Puneet Kumar, Noura Azzabou, Pierre G. Carlier, Nikos Paragios, M. Pawan Kumar:
Discriminative Parameter Estimation for Random Walks Segmentation: Technical Report. - Yoshua Bengio, Eric Thibodeau-Laufer, Jason Yosinski:
Deep Generative Stochastic Networks Trainable by Backprop. - Shuiyin Liu, Yi Hong, Emanuele Viterbo:
Practical Secrecy using Artificial Noise. - Paul Tarau:
Arithmetic Algorithms for Hereditarily Binary Natural Numbers. - M. N. Ullah, Anzar Mahmood, Sohail Razzaq, Manzoor Ilahi, R. D. Khan, Nadeem Javaid:
A Survey of Different Residential Energy Consumption Controlling Techniques for Autonomous DSM in Future Smart Grid Communications. - Ilyas Khan, Anzar Mahmood, Nadeem Javaid, Sohail Razzaq, R. D. Khan, Manzoor Ilahi:
Home Energy Management Systems in Future Smart Grids. - Mohammad Ishfaq, Faran Ahmad Qadri, Nadeem Javaid:
Preventive Care Resource Allocation in Developing Countries: Can Rational Planning Techniques Help in Allocating Vaccinators in Dera Ismail Khan District of Pakistan? - Muhammad Zohaib, M. Pasha, R. A. Riaz, Nadeem Javaid, Manzoor Ilahi, R. D. Khan:
Control Strategies for Mobile Robot With Obstacle Avoidance. - Adeel Iqbal, Mariam Akbar, Nadeem Javaid, Safdar Hussain Bouk, Manzoor Ilahi, R. D. Khan:
Advanced LEACH: A Static Clustering-based Heteroneous Routing Protocol for WSNs. - S. Ahmed, Inam Ullah Khan, Muhammad Babar Rasheed, Manzoor Ilahi, R. D. Khan, Safdar Hussain Bouk, Nadeem Javaid:
Comparative Analysis of Routing Protocols for Under Water Wireless Sensor Networks. - Will Ma:
Improvements and Generalizations of Stochastic Knapsack and Multi-Armed Bandit Algorithms: Full Version. - Andy Diwen Zhu, Xiaokui Xiao, Sibo Wang, Wenqing Lin:
Efficient Single-Source Shortest Path and Distance Queries on Large Graphs. - T. Tony Cai, Anru Zhang:
Sparse Representation of a Polytope and Recovery of Sparse Signals and Low-rank Matrices. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Linear Network Coding, Linear Index Coding and Representable Discrete Polymatroids. - Jinwoo Shin, Andrew E. Gelfand, Michael Chertkov:
A Graphical Transformation for Belief Propagation: Maximum Weight Matchings and Odd-Sized Cycles. - Ge Xu, Shengyu Zhu, Biao Chen:
Decentralized Data Reduction with Quantization Constraints. - Erman Ayday, Emiliano De Cristofaro, Jean-Pierre Hubaux, Gene Tsudik:
The Chills and Thrills of Whole Genome Sequencing. - Kevin S. Xu:
Predictability of social interactions. - Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso:
MintHint: Automated Synthesis of Repair Hints. - Mouhamed Abdulla, Yousef R. Shayan:
Can Research be Taught? - Yi Wang:
MathGR: a tensor and GR computation package to keep it simple. - Waqas Nawaz, Yongkoo Han, Kifayat-Ullah Khan, Young-Koo Lee:
Personalized Email Community Detection using Collaborative Similarity Measure. - Joyeeta Singha, Karen Das:
Recognition of Indian Sign Language in Live Video. - Massimo Monti, Pierre Imai, Christian F. Tschudin:
Designing Run-Time Environments to Have Predefined Global Dynamics. - Putti Srinivasrao, V. P. C. Rao, A. Govardhan, Ambika Prasad Mohanty:
Scalable Distributed Job Processing with Dynamic Load Balancing. - Guoqiang Mao, Zihuai Lin, Xiaohu Ge, Yang Yang:
Towards a Simple Relationship to Estimate the Capacity of Static and Mobile Wireless Networks. - Yong Zeng, Rui Zhang, Zhi Ning Chen:
Electromagnetic Lens-focusing Antenna Enabled Massive MIMO. - Joël Goossens, Pascal Richard:
Partitioned scheduling of multimode multiprocessor real-time systems with temporal isolation. - T. Chandrasekhar, K. Thangavel, E. N. Sathishkumar:
Verdict Accuracy of Quick Reduct Algorithm using Clustering and Classification Techniques for Gene Expression Data. - A. Nisthana Parveen, H. Hannah Inbarani, E. N. Sathishkumar:
Performance analysis of unsupervised feature selection methods. - Ferdous A. Barbhuiya, Santosh Biswas, Sukumar Nandi:
An Active Host-Based Intrusion Detection System for ARP-Related Attacks and its Verification. - Hitesh Chhinkaniwala, Sanjay Garg:
Tuple Value Based Multiplicative Data Perturbation Approach To Preserve Privacy In Data Stream Mining. - Hedi Raggad, Mohamed Latrach, Ali Gharsallah, Tchanguiz Razban:
A Compact Dual Band Dielectric Resonator Antenna For Wireless Applications. - Anuj Kumar Gupta, Harsh Sadawarti, Anil K. Verma:
Implementation of DYMO routing protocol. - Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel:
Certified HLints with Isabelle/HOLCF-Prelude. - Andrea Esuli:
The User Feedback on SentiWordNet. - Binh-Minh Bui-Xuan, Mamadou Moustapha Kanté, Vincent Limouzy:
A Note on Graphs of Linear Rank-Width 1. - Xiangyun Zhou, Matthew R. McKay, Behrouz Maham, Are Hjørungnes:
Rethinking the Secrecy Outage Formulation: A Secure Transmission Design Perspective. - Tuomo Sipola, Fengyu Cong, Tapani Ristaniemi, Vinoo Alluri, Petri Toiviainen, Elvira Brattico, Asoke K. Nandi:
Diffusion map for clustering fMRI spatial maps extracted by independent component analysis. - Holger Rauhut, Maryia Kabanava:
Analysis ℓ1-recovery with frames and Gaussian measurements. - Eckhard Hitzer:
Geometric operations implemented by conformal geometric algebra neural nodes. - Eldar Fischer, Yonatan Goldhirsh, Oded Lachish:
Some properties are not even partially testable. - Solomia Fedushko, Oksana Peleschyshyn, Andriy Peleschyshyn, Yuriy Syerov:
The verification of virtual community members socio-demographic profile. - Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino:
Sorting suffixes of a text via its Lyndon Factorization. - Kgotlaetsile Mathews Modieginyane, Zenzo Polite Ncube, Naison Gasela:
CUDA Based Performance Evaluation of the Computational Efficiency of the DCT Image Compression Technique on Both the CPU and GPU. - Jonathan Stuart Ward, Adam Barker:
A Cloud Computing Survey: Developments and Future Trends in Infrastructure as a Service Computing. - Martin Hoefer, Thomas Sauerwald:
Threshold Load Balancing in Networks. - Deepali Virmani, Akshay Jain, Ankit Khandelwal, Divik Gupta, Nitin Garg:
Dynamic Clustering Protocol for Data Forwarding in Wireless Sensor Networks. - Spencer Greenberg, Mehryar Mohri:
Tight Lower Bound on the Probability of a Binomial Exceeding its Expectation. - Lein Harn, Changlu Lin:
An efficient group authentication for group communications. - Omar Khattab, Omar Alani:
I am 4 vho: new approach to improve seamless vertical hanover in heterogeneous wireless networks. - Bob L. T. Sturm:
The GTZAN dataset: Its contents, its faults, their effects on evaluation, and its future use. - Kanika Bansal, Rajiv Kumar:
K-Algorithm A Modified Technique for Noise Removal in Handwritten Documents. - Munther Abualkibash, Ahmed ElSayed, Ausif Mahmood:
Highly Scalable, Parallel and Distributed AdaBoost Algorithm using Light Weight Threads and Web Services on a Network of Multi-Core Machines. - Benjamin Steinberg:
Topological dynamics and recognition of languages. - Mohamed Amroune, Pierre-Jean Charrel, Nacereddine Zarour, Jean-Michel Inglebert:
A model driven engineering approach to develop a cooperative information system. - Rohallah Benaboud, Ramdane Maamri, Zaïdi Sahnoun:
Agents and owl-s based semantic web service discovery with user preference support. - Philippe A. Martin:
Managing Knowledge to Enhance Learning. - Jie Chen, Kian Hsiang Low, Colin Keng-Yan Tan:
Gaussian Process-Based Decentralized Data Fusion and Active Sensing for Mobility-on-Demand System. - Tin Chi Nguyen, Zhiyu Zhao, Dongxiao Zhu:
SPATA: A Seeding and Patching Algorithm for Hybrid Transcriptome Assembly. - Laurent Signac:
Lattice Gas Symmetric Cryptography. - Bruno Scherrer, Matthieu Geist:
Policy Search: Any Local Optimum Enjoys a Global Performance Guarantee. - Alexandr Andoni, Piotr Indyk, Huy L. Nguyen, Ilya P. Razenshteyn:
Beyond Locality-Sensitive Hashing. - Sergey Rodionov, Alexey Potapov, Yurii Vinogradov:
Direct Uncertainty Estimation in Reinforcement Learning. - Martin Haenggi, Roxana Smarandache:
Diversity Polynomials for the Analysis of Temporal Correlations in Wireless Networks. - Alexey Potapov, Sergey Rodionov:
Extending Universal Intelligence Models with Formal Notion of Representation. - James Farre, Audrey Lee-St. John, Jessica Sidman, Louis Theran:
Special positions of body-and-cad frameworks. - Branko Ristic, Alex Skvortsov, Andrew Walker:
Autonomous search for a diffusive source in an unknown environment. - Reza Shoja Ghiass, Ognjen Arandjelovic, Hakim Bendada, Xavier Maldague:
Infrared face recognition: a literature review. - Yousef R. Shayan, Mouhamed Abdulla:
Design Based Teaching for Science and Engineering Students. - Reza Shoja Ghiass, Ognjen Arandjelovic, Hakim Bendada, Xavier Maldague:
Vesselness features and the inverse compositional AAM for robust face recognition using thermal IR. - Ji Won Yoon:
Statistical Denoising for single molecule fluorescence microscopic images. - Arunasalam Sambhanthan, Alice Good:
Enhancing Tourism Destination Accessibility in Developing Countries through Virtual Worlds. - Jie Luo:
A Generalized Channel Coding Model for Random Multiple Access Communication. - Inderveer Chana, Tarandeep Kaur:
Delivering IT as A Utility- A Systematic Review. - Wenchao Huang, Yan Xiong, Xiang-Yang Li, Hao Lin, XuFei Mao, Panlong Yang, Yunhao Liu:
Accurate Indoor Localization Using Acoustic Direction Finding via Smart Phones. - Eckhard Hitzer:
Non-constant bounded holomorphic functions of hyperbolic numbers - Candidates for hyperbolic activation functions. - Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang:
Results on independent sets in categorical products of graphs, the ultimate categorical independence ratio and the ultimate categorical independent domination ratio. - Michael A. Ruder, Raimund Meyer, Frank Obernosterer, Hans Kalveram, Robert Schober, Wolfgang H. Gerstacker:
Receiver Concepts and Resource Allocation for OSC Downlink Transmission. - Muhammed O. Sayin, Suleyman Serdar Kozat:
Single Bit and Reduced Dimension Diffusion Strategies Over Distributed Networks. - Eckhard Hitzer:
Algebraic foundations of split hypercomplex nonlinear adaptive filtering. - Sotiris E. Nikoletseas, Panagiota N. Panagopoulou, Christoforos L. Raptopoulos, Paul G. Spirakis:
On the Structure of Equilibria in Basic Network Formation. - Simon Razniewski, Marco Montali, Werner Nutt:
Verification of Query Completeness over Processes [Extended Version]. - Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler:
A DeterministicWorst-Case Message Complexity Optimal Solution for Resource Discovery. - Evgenii Khokhryakov:
Stable equilibrium study cascaded one bit sigma-delta modulator. - Dmytro Karamshuk, Anastasios Noulas, Salvatore Scellato, Vincenzo Nicosia, Cecilia Mascolo:
Geo-Spotting: Mining Online Location-based Services for Optimal Retail Store Placement. - Thomas Ehrhard, Ying Jiang:
CCS for Trees. - Alexander Petukhov, Inna Kozlov:
Fast greedy algorithm for subspace clustering from corrupted and incomplete data. - Nur Aini Rakhmawati, Jürgen Umbrich, Marcel Karnstedt, Ali Hasnain, Michael Hausenblas:
Querying over Federated SPARQL Endpoints - A State of the Art Survey. - M. Laxmaiah, A. Govardhan:
A Conceptual Metadata Framework for Spatial Data Warehouse. - Pankaj Choudhary, Rajendra Aaseri, Nirmal Roberts:
HTTPI Based Web Service Security over SOAP. - Tamara Heck, Philipp Schaer:
Performing Informetric Analysis on Information Retrieval Test Collections: Preliminary Experiments in the Physics Domain. - Alamgir Naushad:
Condition Driven Adaptive Music Generation for Computer Games. - Jinyuan Chen, Petros Elia:
Toward the Performance vs. Feedback Tradeoff for the Two-User MISO Broadcast Channel. - Federico Cabitza, Carla Simone:
Appropriation as neglected practice in communities: presenting a framework to enable EUD design for CoPs. - Isabel Méndez-Díaz, Graciela L. Nasini, Daniel E. Severín:
A new DSATUR-based algorithm for the Equitable Coloring Problem. - Antonio Fernández Anta, Chryssis Georgiou, Dariusz R. Kowalski, Joerg Widmer, Elli Zavou:
Measuring the Impact of Adversarial Errors on Packet Scheduling Strategies. - Daniel Graziotin, Xiaofeng Wang, Pekka Abrahamsson:
Are Happy Developers more Productive? The Correlation of Affective States of Software Developers and their self-assessed Productivity. - Daniel Graziotin, Pekka Abrahamsson:
Making Sense out of a Jungle of JavaScript Frameworks: towards a Practitioner-friendly Comparative Analysis. - Reza Shoja Ghiass, Ognjen Arandjelovic, Hakim Bendada, Xavier Maldague:
Illumination-invariant face recognition from a single image across extreme pose using a dual dimension AAM ensemble in the thermal infrared spectrum. - Paul Mineiro, Nikos Karampatziakis:
Loss-Proportional Subsampling for Subsequent ERM. - Jérôme Lang, Nicolas Maudet, Maria Polukarov:
New Results on Equilibria in Strategic Candidacy. - Ayad Ghany Ismaeel, Anar Auda Ablahad:
Enhancement of a Novel Method for Mutational Disease Prediction using Bioinformatics Techniques and Backpropagation Algorithm. - Marcel Nassar, Philip Schniter, Brian L. Evans:
A Factor Graph Approach to Joint OFDM Channel Estimation and Decoding in Impulsive Noise Environments. - Mark Korenblit, Vadim E. Levit:
Decomposition Lemmas. - Mark Korenblit, Vadim E. Levit:
A Solution of Simultaneous Recurrences. - Antonio Fernández Anta, Chryssis Georgiou, Dariusz R. Kowalski, Elli Zavou:
Online Parallel Scheduling of Non-uniform Tasks: Trading Failures for Energy. - José de Oliveira Guimarães:
The Cyan Language. - Shachar Lovett:
Communication is bounded by root of rank. - Camelia-Mihaela Pintea:
Artificial Ant Species on Solving Optimization Problems. - Elarbi Badidi:
A Framework for Software-as-a-Service Selection and Provisioning. - Aakash Gupta, Pradeep Singla, Jitendra Gupta, Nitin Maheshwari:
An Improved Structure Of Reversible Adder And Subtractor. - María Elena Buemi, Alejandro César Frery, Heitor S. Ramos:
Speckle Reduction with Adaptive Stack Filters. - Roberto Bagnara, Fred Mesnard:
Eventual Linear Ranking Functions. - Mouhamed Abdulla, Yousef R. Shayan:
Analytical Coexistence Benchmark for Assessing the Utmost Interference Tolerated by IEEE 802.20. - András Lörincz, László A. Jeni, Zoltán Szabó, Jeffrey F. Cohn, Takeo Kanade:
Emotional Expression Classification using Time-Series Kernels. - Kirat Pal Singh, Dilip Kumar:
Performance Evaluation of Low Power MIPS Crypto Processor based on Cryptography Algorithms. - Lars Bergstrom, Matthew Fluet, John H. Reppy, Nora Sandler:
Practical Inlining of Functions with Free Variables. - Theodoros Tsiligkaridis, Brian M. Sadler, Alfred O. Hero III:
Collaborative 20 Questions for Target Localization. - Joel M. Crichlow, Stephen J. Hartley, Michael Hosein:
A Light-Weight Distributed System for the processing of Replicated Counter-like Objects. - Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke:
Automatic Abstraction in SMT-Based Unbounded Software Model Checking. - Wan J. Fokkink, Dick Grune, Brinio Hond, Peter Rutgers:
Detecting Useless Transitions in Pushdown Automata. - Alexander Barabanov, Alexey Markov, Valentin Tsirlov:
A Formal Approach To Firewalls Testing Techniques. - Alexander Barabanov, Maxim Grishin, Alexey Markov:
The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware. - Paola Flocchini, Nicola Santoro, Giovanni Viglietta, Masafumi Yamashita:
Rendezvous of Two Robots with Constant Memory. - Mauricio Soto, Christopher Thraves:
(c-)AND(1) graphs - more than intersection, more than geometric. - Alexey Markov:
Software Testing Models Against Information Security Requirements. - (Withdrawn) Pattern Recognition and Revealing using Parallel Coordinates Plot.
- Tomás Feder, Pavol Hell, Oren Shklarsky:
Matrix Partitions of Split Graphs. - Se-Young Yun, Jinwoo Shin, Yung Yi:
CSMA over Time-varying Channels: Optimality, Uniqueness and Limited Backoff Rate. - Xiongbin Rao, Liangzhong Ruan, Vincent K. N. Lau:
CSI Feedback Reduction for MIMO Interference Alignment. - Ion Petre:
Proceedings Fourth International Workshop on Computational Models for Cell Processes, CompMod 2013, Turku, Finland, 11th June 2013. EPTCS 116, 2013 [contents] - Tshilidzi Marwala:
Flexibly-bounded Rationality and Marginalization of Irrationality Theories for Decision Making. - Elena Zattoni, Anna Maria Perdon, Giuseppe Conte:
A Numerical Example about the Geometric Approach to the Output Regulation Problem with Stability for Linear Switching Systems. - Zhiqing Wei:
A Raindrop Algorithm for Searching The Global Optimal Solution in Non-linear Programming. - Md. Jawaherul Alam, Stephen G. Kobourov, Sergey Pupyrev, Jackson Toeniskoetter:
Threshold-Coloring of Archimedean and Laves Lattices. - Steffen Lewitzka:
A modal logic amalgam of classical and intuitionistic propositional logic. - Lukasz Czajka:
Confluence of an extension of Combinatory Logic by Boolean Constants. - Martin Fink, Sergey Pupyrev:
Metro-Line Crossing Minimization: Hardness, Approximations, and Tractable Cases. - Bo Li, Henry Johan:
3D model retrieval using global and local radial distances. - Mallesh M. Pai, Aaron Roth:
Privacy and Mechanism Design. - Nathan Schneider, Brendan O'Connor, Naomi Saphra, David Bamman, Manaal Faruqui, Noah A. Smith, Chris Dyer, Jason Baldridge:
A framework for (under)specifying dependency syntax without overloading annotators. - Kiyana Zolfaghar, Nele Verbiest, Jayshree Agarwal, Naren Meadem, Si-Chi Chin, Senjuti Basu Roy, Ankur Teredesai, David Hazel, Paul Amoroso, Lester Reed:
Predicting Risk-of-Readmission for Congestive Heart Failure Patients: A Multi-Layer Approach. - Kenichi Kobayashi, Manabu Kamimura, Koki Kato, Keisuke Yano, Akihiko Matsuo:
Feature-Gathering Dependency-Based Software Clustering Using Dedication and Modularity. - Ognjen Arandjelovic:
Discriminative extended canonical correlation analysis for pattern set matching. - Giovanni Geraci, Sarabjot Singh, Jeffrey G. Andrews, Jinhong Yuan, Iain B. Collings:
Secrecy Rates in the Broadcast Channel with Confidential Messages and External Eavesdroppers. - Ognjen Arandjelovic:
Discriminative k-means clustering. - Orit E. Raz:
On the zone of the boundary of a convex body. - Olivier Bodini, Alice Jacquot, Philippe Duchon, Ljuben R. Mutafchiev:
Asymptotic Analysis and Random Sampling of Digitally Convex Polyominoes. - Sheng-Yuan Tu, Ali H. Sayed:
Distributed Decision-Making over Adaptive Networks. - Daniel Meister, Udi Rotics:
Minimal forbidden induced subgraphs of graphs of bounded clique-width and bounded linear clique-width. - E. N. Sathishkumar, K. Thangavel, T. Chandrasekhar:
A Novel Approach for Single Gene Selection Using Clustering and Dimensionality Reduction. - Francis R. Bach, Eric Moulines:
Non-strongly-convex smooth stochastic approximation with convergence rate O(1/n). - Carlo A. Furia, Paola Spoletini:
Bounded Variability of Metric Temporal Logic. - Karl Moritz Hermann, Edward Grefenstette, Phil Blunsom:
"Not not bad" is not "bad": A distributional account of negation. - Mikhail V. Kharinov:
Image segmentation by optimal and hierarchical piecewise constant approximations. - Ranieri Baraglia, Patrizio Dazzi, Matteo Mordacchini, Laura Ricci:
ATLAAS-P2P: a two layer network solution for easing the resource discovery process in unstructured networks. - Nadia Creignou, Arne Meier, Julian-Steffen Müller, Johannes Schmidt, Heribert Vollmer:
Paradigms for Parameterized Enumeration. - Pavel Klavík, Jan Kratochvíl, Yota Otachi, Toshiki Saitoh, Tomás Vyskocil:
Linear-time Algorithm for Partial Representation Extension of Interval Graphs. - Stefan Hoffmann, Egon Wanke:
Metric Dimension for Gabriel Unit Disk Graphs is NP-Complete. - Edouard Bonnet, Bruno Escoffier, Vangelis Th. Paschos, Emeric Tourniaire:
Multi-parameter complexity analysis for constrained size graph problems: using greediness for parameterization. - Jason Cloud, Flávio du Pin Calmon, Weifei Zeng, Giovanni Pau, Linda Zeger, Muriel Médard:
Multi-Path TCP with Network Coding for Mobile Devices in Heterogeneous Networks. - Nitish Salwan, Sandeep Singh, Suket Arora, Amarpreet Singh:
An Insight to Covert Channels. - Iztok Fister, Iztok Fister Jr.:
Using the quaternion's representation of individuals in swarm intelligence and evolutionary computation. - Dimitris Vartziotis, Benjamin Himpel:
An Efficient and Global Optimization-Based Smoothing Method for Mixed-Volume Meshes. - Patrizio Dazzi:
Let's Annotate to Let Our Code Run in Parallel. - Keehang Kwon, Mi-Young Park:
Accomplishable Tasks in Knowledge Representation. - Pierre Lescanne:
A simple case of rationality of escalation. - Gianluca Amato, Francesca Scozzari:
Optimal multi-binding unification for sharing and linearity analysis. - Alejandro Edera, Facundo Bromberg, Federico Schlüter:
Markov random fields factorization with context-specific independences. - Sadegh Motallebi, Sadegh Aliakbary, Jafar Habibi:
GMSCN: Generative Model Selection Using a Scalable and Size-Independent Complex Network Classifier. - Sivan Sabato, Anand D. Sarwate, Nathan Srebro:
Auditing: Active Learning with Outcome-Dependent Query Costs. - Veljko Pejovic, Mirco Musolesi:
Anticipatory Mobile Computing: A Survey of the State of the Art and Research Challenges. - I-Hong Hou, Rahul Singh:
Capacity and Scheduling of Access Points for Multiple Live Video Streams. - Patrick Clarke, Rodrigo C. de Lamare:
Joint Transmit Diversity Optimization and Relay Selection for Cooperative MIMO Systems using Discrete Stochastic Algorithms. - Patrick Clarke, Rodrigo C. de Lamare:
Bidirectional MMSE Algorithms for Interference Mitigation in CDMA Systems over Fast Fading Channels. - Junghoon Lee, Cihan Tepedelenlioglu:
Distributed Detection in Coexisting Large-scale Sensor Networks. - Zhongyuan Xu, Scott D. Stoller:
Mining Attribute-based Access Control Policies. - Weidong Huang:
An Aggregation-Based Overall Quality Measurement for Visualization. - Nicolas Oury, Michael Pedersen, Rasmus L. Petersen:
Canonical Labelling of Site Graphs. 13-28 - Luca Bortolussi, Herbert Wiklicky:
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. EPTCS 117, 2013 [contents] - Paulo Sérgio Medeiros dos Santos, Guilherme Horta Travassos:
Action Research Can Swing the Balance in Experimental Software Engineering. - Kai Cai, Renyuan Zhang, Walter Murray Wonham:
Relative Observability of Discrete-Event Systems and its Supremal Sublanguages. - Shantanu Pathak, Ranjani S:
Ber Performance Analysis of WiMAX PHY Layer under different channel conditions. - Karsten Fyhn, Marco F. Duarte, Søren Holdt Jensen:
Compressive Time Delay Estimation Using Interpolation. - Yakov Babichenko, Siddharth Barman:
Query Complexity of Correlated Equilibrium. - Dibakar Saha, Nabanita Das:
A Fast Fault Tolerant Partitioning Algorithm for Wireless Sensor Networks. - Sutanay Choudhury, Lawrence B. Holder, George Chin Jr., John Feo:
Fast Search for Dynamic Multi-Relational Graphs. - Sutanay Choudhury, Lawrence B. Holder, George Chin Jr., Abhik Ray, Sherman Beus, John Feo:
StreamWorks - A system for Dynamic Graph Search. - Amin Coja-Oghlan, Uriel Feige, Michael Krivelevich, Daniel Reichman:
Contagious Sets in Expanders. - Viet Hung Nguyen, Fabio Massacci:
A Systematically Empirical Evaluation of Vulnerability Discovery Models: a Study on Browsers' Vulnerabilities. - George Grispos, William Bradley Glisson, Tim Storer:
Cloud Security Challenges: Investigating Policies, Standards, and Guidelines in a Fortune 500 Organization. - Emanuele Giaquinta, Kimmo Fredriksson, Szymon Grabowski, Alexandru I. Tomescu, Esko Ukkonen:
Motif matching using gapped patterns. - Virendra Sule:
Generalization of Boole-Shannon expansion, consistency of Boolean equations and elimination by orthonormal expansion. - Mohammed Alaeddine Abderrahim, Mohammed El Amine Abderrahim, Mohammed Amine Chikh:
Using Arabic Wordnet for semantic indexation in information retrieval system. - Sukhpal Singh, Harinder Singh:
Case Study Based Software Engineering Project Development: State of Art. - (Withdrawn) DISCOMAX: A Proximity-Preserving Distance Correlation Maximization Algorithm.
- Lee-Ad Gottlieb, Aryeh Kontorovich, Robert Krauthgamer:
Efficient Classification for Metric Data. - Shubh Narayan Singh, Kanduru V. Krishna:
The Holonomy Decomposition of Circular Semi-Flower Automata. - Georg Böcherer, Rana Ali Amjad:
Fixed-to-Variable Length Resolution Coding for Target Distributions. - Andrea Pietracaprina, Geppino Pucci, Francesco Silvestri, Fabio Vandin:
Space-Efficient Parallel Algorithms for Combinatorial Search Problems. - Richard Combes, Ilham El Bouloumi, Stéphane Sénécal, Zwi Altman:
The association problem in wireless networks: a Policy Gradient Reinforcement Learning approach. - Pradeep Singla, Aakash Gupta, Ashutosh Bhardwaj, Pulkit Basia:
An Optimized Design of Reversible Sequential Digital Circuits. - Prashanth L. A., Nathaniel Korda, Rémi Munos:
Analysis of stochastic approximation for efficient least squares regression and LSTD. - William W. Cohen, David P. Redlawsk, Douglas Pierce:
The Effect of Biased Communications On Both Trusting and Suspicious Voters. - Sean Hooley, Latanya Sweeney:
Survey of Publicly Available State Health Databases. - (Withdrawn) A note on small cuts for a terminal.
- Eleftherios Kofidis:
Preamble-based Channel Estimation in OFDM/OQAM Systems: A Time-Domain Approach. - Elaine Tsiang:
A 10-dimensional Phonetic-prosodic Space and its Stochastic Structure (A framework for probabilistic modeling of spoken languages and their phonology). - Burak Çakmak, Ralf R. Müller, Bernard H. Fleury:
Beyond Multiplexing Gain in Large MIMO Systems. - Tao Qin, Tie-Yan Liu:
Introducing LETOR 4.0 Datasets. - Joyeeta Singha, Karen Das:
Hand Gesture Recognition Based on Karhunen-Loeve Transform. - Janusz Miskiewicz:
Effects of Publications in Proceedings on the Measure of the Core Size of Coauthors. - Manuel S. Stein, Amine Mezghani, Josef A. Nossek:
A Lower Bound for the Fisher Information Measure. - Yasel Garcés Suárez, Esley Torres, Osvaldo Pereira, Claudia Pérez, Roberto Rogríguez:
Stopping Criterion for the Mean Shift Iterative Algorithm. - Guoqiang Zhong, Mohamed Cheriet:
Large Margin Low Rank Tensor Analysis. - Myung Cho, Weiyu Xu:
Precisely Verifying the Null Space Conditions in Compressed Sensing: A Sandwiching Algorithm. - Ivan Gazeau, Dale Miller, Catuscia Palamidessi:
Preserving differential privacy under finite-precision semantics. 1-18 - Paolo Tranquilli:
Indexed Labels for Loop Iteration Dependent Costs. 19-33 - Tri Minh Ngo, Marieke Huisman:
Quantitative Security Analysis for Multi-threaded Programs. 34-48 - Viktor Schuppan:
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. 49-65 - Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese:
Modal Specifications for Probabilistic Timed Systems. 66-80 - Marco Bernardo, Rocco De Nicola, Michele Loreti:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. 81-96 - Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Concurrent Kleene Algebra. 97-115 - An Liu, Vincent K. N. Lau:
Hierarchical Interference Mitigation for Large MIMO Cellular Networks. - An Liu, Vincent K. N. Lau:
Cache-Enabled Opportunistic Cooperative MIMO for Video Streaming in Wireless Systems. - Tony T. Lee, Qingqi Shi:
Solvability of Cubic Graphs and the Four Color Theorem. - Tanaya Guha, Ehsan Nezhadarya, Rabab K. Ward:
Sparse Representation-based Image Quality Assessment. - Xuhui Fan, Longbing Cao, Richard Yi Da Xu:
Copula Mixed-Membership Stochastic Blockmodel for Intra-Subgroup Correlations. - Anvar Tukmanov, Said Boussakta, Zhiguo Ding, Abbas Jamalipour:
On the Impact of Relay-side Channel State Information on Opportunistic Relaying. - Raphael Poss, Merijn Verstraaten, Frank Penczek, Clemens Grelck, Raimund Kirner, Alexander V. Shafarenko:
S+Net: extending functional coordination with extra-functional semantics. - Jingjing Xie, Bing Xu, Chuang Zhang:
Horizontal and Vertical Ensemble with Deep Representation for Classification. - Pedro H. O. Pinheiro, Ronan Collobert:
Recurrent Convolutional Neural Networks for Scene Parsing. - Kyunghyun Cho:
Understanding Dropout: Training Multi-Layer Perceptrons with Auxiliary Independent Stochastic Neurons. - Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston:
Solving Parity Games on Integer Vectors. - Casper Kejlberg-Rasmussen, Yufei Tao, Konstantinos Tsakalidis, Kostas Tsichlas, Jeonghun Yoon:
I/O-Efficient Planar Range Skyline and Attrition Priority Queues. - Wouter Meulemans:
Map Matching with Simplicity Constraints. - Roberto Di Pietro, Luigi V. Mancini, Antonio Villani, Domenico Vitali:
Mapping the File Systems Genome: rationales, technique, results and applications. - Diederik Aerts, Jan Broekaert, Sandro Sozzo, Tomas Veloz:
The Quantum Challenge in Concept Theory and Natural Language Processing. - Plamen L. Simeonov:
On Some Recent Insights in Integral Biomathics. - Jun Sun, Xiaojun Wu, Vasile Palade, Wei Fang, Yuhui Shi:
Random Drift Particle Swarm Optimization. - Catarina Moreira, Andreas Wichert:
Finding Academic Experts on a MultiSensor Approach using Shannon's Entropy. - Shenghui Wang, Antoine Isaac, Valentine Charles, Rob Koopman, Anthi Agoropoulou, Titia van der Werf:
Hierarchical structuring of Cultural Heritage objects within large aggregations. - Valentine Charles, Antoine Isaac, Kate Fernie, Costis J. Dallas, Dimitris Gavrilis, Stavros Angelis:
Achieving interoperability between the CARARE schema for monuments and sites and the Europeana Data Model. - Samir Medina Perlaza, Ravi Tandon, H. Vincent Poor, Zhu Han:
Perfect Output Feedback in the Two-User Decentralized Interference Channel. - Haichang Gao, Zhongjie Ren, Xiuling Chang, Xiyang Liu, Uwe Aickelin:
A New Graphical Password Scheme Resistant to Shoulder-Surfing. - Haichang Gao, Honggang Liu, Dan Yao, Xiyang Liu, Uwe Aickelin:
An audio CAPTCHA to distinguish humans from computers. - Grazziela P. Figueredo, Uwe Aickelin:
Defining a Simulation Strategy for Cancer Immunocompetence. - Kawthar Yasmine Zergat, Abderrahmane Amrouche:
Robust Support Vector Machines for Speaker Verification Task. - Mario Bravo, Mathieu Faure:
Reinforcement learning with restrictions on the action set. - Prachi Goyal, Vikram Kamat, Neeldhara Misra:
On the Parameterized Complexity of the Maximum Edge Coloring Problem. - Andrew Adamatzky:
Slimy hairs: Hair sensors made with slime mould. - (Withdrawn) Optimization of Clustering for Clustering-based Image Denoising.
- Alexander Koch, Marcus Krug, Ignaz Rutter:
Graphs with Plane Outside-Obstacle Representations. - (Withdrawn) Matching with our Eyes Closed.
- Xuhui Fan, Longbing Cao, Richard Yi Da Xu:
Dynamic Infinite Mixed-Membership Stochastic Blockmodel. - Michael T. Goodrich, Pawel Pszona:
Cole's Parametric Search Technique Made Practical. - Xuhui Fan, Yiling Zeng, Longbing Cao:
Non-parametric Power-law Data Clustering. - Omer Reingold, Thomas Steinke, Salil P. Vadhan:
Pseudorandomness for Regular Branching Programs via Fourier Analysis. - Utkarsh R. Patel, Bjorn Gustavsen, Piero Triverio:
Proximity-Aware Calculation of Cable Series Impedance for Systems of Solid and Hollow Conductors. - Vitorino Ramos, David M. S. Rodrigues, Jorge Louçã:
Second Order Swarm Intelligence. - Karl Bringmann, Christian Engels, Bodo Manthey, B. V. Raghavendra Rao:
Random Shortest Paths: Non-Euclidean Instances for Metric Optimization Problems. - Kazutaka Kurihara, Masakazu Takasu, Kazuhiro Sasao, Hal Seki, Takayuki Narabu, Mitsuo Yamamoto, Satoshi Iida, Hiroyuki Yamamoto:
A Face-like Structure Detection on Planet and Satellite Surfaces using Image Processing. - Saeed Afshar, Gregory Cohen, Runchun Wang, André van Schaik, Jonathan Tapson, Torsten Lehmann, Tara Julia Hamilton:
The Ripple Pond: Enabling Spiking Networks to See. - Gerald Lüttgen, Walter Vogler:
Modal Interface Automata. - Haichang Gao, Zhongjie Ren, Xiuling Chang, Xiyang Liu, Uwe Aickelin:
The effect of baroque music on the PassPoints graphical password. - Haichang Gao, Xiuling Chang, Zhongjie Ren, Uwe Aickelin, Liming Wang:
Can background baroque music help to improve the memorability of graphical passwords? - Thomas Zeume, Thomas Schwentick:
On the quantifier-free dynamic complexity of Reachability. - Sébastien Paris, Yann Doh, Hervé Glotin, Xanadu Halkias, Joseph Razik:
Physeter catodon localization by sparse coding. - Roy Mennicke:
Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems. - Matthew England:
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance. - Mélanie Noyel, Philippe Thomas, Patrick Charpentier, André Thomas, Bruno Beaupretre:
Improving production process performance thanks to neuronal analysis. - Jorge Hernández, Beatriz Marcotegui:
Segmentation et Interprétation de Nuages de Points pour la Modélisation d'Environnements Urbains. - Klas Markström:
The straight line complexity of small factorials and primorials. - Rania Morsi, Diomidis S. Michalopoulos, Robert Schober:
Multi-user Scheduling Schemes for Joint Wireless Information and Energy Transfer. - Zheng-Chu Guo, Yiming Ying:
Guaranteed Classification via Regularized Similarity Learning. - (Withdrawn) Computer Architecture with Associative Processor Replacing Last Level Cache and SIMD Accelerator.
- John Jasper, Dustin G. Mixon, Matthew Fickus:
Kirkman Equiangular Tight Frames and Codes. - (Withdrawn) Multimaterial Front Tracking.
- Stepan Holub:
Words with unbounded periodicity complexity. - Christopher Griffin, George Kesidis:
Good Behavior in a Communications System with Cooperative, Greedy, and Vigilante Players. - Steffen Eger:
Opinion dynamics under opposition. - Christopher Griffin, George Kesidis, Panayotis Antoniadis, Serge Fdida:
Modeling and Control of Rare Segments in BitTorrent with Epidemic Dynamics. - Kishore Reddy Konda, Roland Memisevic, Vincent Michalski:
The role of spatio-temporal synchrony in the encoding of motion. - Vasilios A. Siris, Dimitrios Kalyvas:
Enhancing Mobile Data Offloading with Mobility Prediction and Prefetching. - Yixin Cao:
An Efficient Branching Algorithm for Interval Completion. - Michael Kohlhase, Felix Mance, Florian Rabe:
A Universal Machine for Biform Theory Graphs. - Florian Rabe:
The MMT API: A Generic MKM System. - Cho-Jui Hsieh, Mátyás A. Sustik, Inderjit S. Dhillon, Pradeep Ravikumar:
Sparse Inverse Covariance Matrix Estimation Using Quadratic Approximation. - Lila Kari, Steffen Kopecki, Shinnosuke Seki:
3-color Bounded Patterned Self-assembly. - P. Buckheister, Georg Zetzsche:
Semilinearity and Context-Freeness of Languages Accepted by Valence Automata. - Vincent Larivière, Cassidy R. Sugimoto, Benoit Macaluso, Stasa Milojevic, Blaise Cronin, Mike Thelwall:
arXiv e-prints and the journal of record: An analysis of roles and relationships. - Edith Cohen:
Scalable Neighborhood Sketching and Distance Distribution Estimation in Graph Datasets: Revisited, Unified, and Improved. - Dashun Wang, Chaoming Song, Albert-László Barabási:
Quantifying Long-term Scientific Impact. - Quan Wang, Kim L. Boyer:
Feature Learning by Multidimensional Scaling and its Applications in Object Recognition. - Mary W. Hall, Robert M. Kirby, Feifei Li, Miriah D. Meyer, Valerio Pascucci, Jeff M. Phillips, Robert Ricci, Jacobus E. van der Merwe, Suresh Venkatasubramanian:
Rethinking Abstractions for Big Data: Why, Where, How, and What. - Ognjen Arandjelovic:
Matching objects across the textured-smooth continuum. - Leonid Yavits, Amir Morad, Ran Ginosar:
The Effect of Communication and Synchronization on Amdahl Law in Multicore Systems. - Mohsen Joneidi:
Sparse Auto-Regressive: Robust Estimation of AR Parameters. - Zhong Fan, Russell J. Haines, Parag Kulkarni:
M2M Communications for E-Health and Smart Grid: An Industry and Standard Perspective. - Muhammad Salman Asif, Justin K. Romberg:
Sparse Recovery of Streaming Signals Using L1-Homotopy. - Zheng Pan, Changshui Zhang:
A Theory of High-dimensional Sparse Estimation via Non-Convex Regularized Regression. - Raphael 'kena' Poss:
The essence of component-based design and coordination. - Natalia O. Amelina, Alexander L. Fradkov, Yuming Jiang, Dimitrios J. Vergados:
Approximate Consensus Multi-Agent Control Under Stochastic Environment with Application to Load Balancing. - Laura Balzano, Stephen J. Wright:
Local Convergence of an Algorithm for Subspace Identification from Partial Data. - Ella Gale, Andrew Adamatzky, Ben de Lacy Costello:
Are Slime Moulds Living Memristors? - Ognjen Arandjelovic:
Live-wire 3D medical images segmentation. - Amaldev Manuel, Thomas Schwentick, Thomas Zeume:
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor. - Pierrick Burgain, Sang Hyun Kim, Eric Feron:
Valuating Surface Surveillance Technology for Collaborative Multiple-Spot Control of Airport Departure Operations. - Sang Hyun Kim, Eric Feron:
Impact of Gate Assignment on Gate-Holding Departure Control Strategies. - Rushikesh Kamalapurkar, Justin Klotz, Ryan Downey, Warren E. Dixon:
Supporting Lemmas for RISE-based Control Methods. - Amanda de Paula, Cristiano Panazio:
Comparison of OFDM and SC-DFE Capacities Without Channel Knowledge at the Transmitter. - Wolfgang Mulzer, Yannik Stein:
Algorithms for Tolerated Tverberg Partitions. - Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem:
EFSMT: A Logical Framework for Cyber-Physical Systems. - Yijun Wang:
Classifying Single-Trial EEG during Motor Imagery with a Small Training Set. - James Bergstra, David D. Cox:
Hyperparameter Optimization and Boosting for Classifying Facial Expressions: How good can a "Null" Model be? - (Withdrawn) A Faster Algorithm for Packing Branchings in Digraphs.
- David Eppstein, Michael T. Goodrich, Joseph A. Simons:
Set-Difference Range Queries. - Xun Gong, Negar Kiyavash, Parv Venkitasubramaniam:
An Information Theoretic Study of Timing Side Channels in Two-user Schedulers. - Shubh Narayan Singh, Kanduru V. Krishna:
Syntactic Complexity of Circular Semi-Flower Automata. - Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi:
Extended to Multi-Tilde-Bar Regular Expressions and Efficient Finite Automata Constructions. - Bogdan Gliwa, Piotr Bródka, Anna Zygmunt, Stanislaw Saganowski, Przemyslaw Kazienko, Jaroslaw Kozlak:
Different Approaches to Community Evolution Prediction in Blogosphere. - Sudipto Guha, Kamesh Munagala:
Approximation Algorithms for Bayesian Multi-Armed Bandit Problems. - Alexandre J. Raymond, Warren J. Gross:
Scalable Successive-Cancellation Hardware Decoder for Polar Codes. - Lucas Janson, Marco Pavone:
Fast Marching Trees: a Fast Marching Sampling-Based Method for Optimal Motion Planning in Many Dimensions - Extended Version. - Ashish Vulimiri, Brighten Godfrey, Scott Shenker:
A cost-benefit analysis of low latency via added utilization. - Yoshio Okamoto, Yuichi Tatsu, Yushi Uno:
Exact and fixed-parameter algorithms for metro-line crossing minimization problems. - Saadat Anwar, Chitta Baral, Katsumi Inoue:
Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning. - Randal C. Burns, William R. Gray Roncal, Dean Kleissas, Kunal Lillaney, Priya Manavalan, Eric A. Perlman, Daniel R. Berger, Davi Bock, Kwanghun Chung, Logan Grosenick, Narayanan Kasthuri, Nicholas C. Weiler, Karl Deisseroth, Michael M. Kazhdan, Jeff Lichtman, R. Clay Reid, Stephen J. Smith, Alexander S. Szalay, Joshua T. Vogelstein, R. Jacob Vogelstein:
The Open Connectome Project Data Cluster: Scalable Analysis and Vision for High-Throughput Neuroscience. - Jason Spencer:
Cellular Automata in Cryptographic Random Generators. - Saadat Anwar, Chitta Baral, Katsumi Inoue:
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. - Michael Zillich, Maren Bennewitz, Maria Fox, Justus H. Piater, Dejan Pangercic:
Proceedings of the 2nd Workshop on Robots in Clutter: Preparing robots for the real world (Berlin, 2013). - Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli, Giuseppe Manco:
Outlying Property Detection with Numerical Attributes. - Sean Ryan Fanello, Carlo Ciliberto, Matteo Santoro, Lorenzo Natale, Giorgio Metta, Lorenzo Rosasco, Francesca Odone:
iCub World: Friendly Robots Help Building Good Vision Data-Sets. - Tomasz Kociumaka, Marcin Pilipczuk:
Faster deterministic Feedback Vertex Set. - Nal Kalchbrenner, Phil Blunsom:
Recurrent Convolutional Neural Networks for Discourse Compositionality. - Huy L. Nguyen:
Approximate Nearest Neighbor Search in ℓp. - Shenshi Chen, Zhixiang Chen:
Faster Deterministic Algorithms for Packing, Matching and t-Dominating Set Problems. - Tianxian Zhang, Xiang-Gen Xia:
OFDM Synthetic Aperture Radar Imaging with Sufficient Cyclic Prefix. - Christian Schlegel, Marat V. Burnashev:
Thresholds of Spatially Coupled Systems via Lyapunov's Method. - David García, Marcelo Serrano Zanetti, Frank Schweitzer:
The Role of Emotions in Contributors Activity: A Case Study on the GENTOO Community. - Gökhan Gül, Abdelhak M. Zoubir:
Robust Distributed Detection. - Mingxin Zhou, Leiming Zhang, Lingyang Song, Mérouane Debbah:
A Differential Feedback Scheme Exploiting the Temporal and Spectral Correlation. - Shilin Lu, Rajiv Ranjan, Peter Strazdins:
Reporting an Experience on Design and Implementation of e-Health Systems on Azure Cloud. - Vasilios A. Siris, Maria Anagnostopoulou:
Performance and Energy Efficiency of Mobile Data Offloading with Mobility Prediction and Prefetching. - David A. Cohen, Jason Crampton, Gregory Z. Gutin, Mark Jones:
Pattern-Based Plan Construction for the Workflow Satisfiability Problem. - Felipe Sánchez-Martínez, Isabel Martínez-Sempere, Xavier Ivars-Ribes, Rafael C. Carrasco:
An open diachronic corpus of historical Spanish: annotation criteria and automatic modernisation of spelling. - Shachar Shayovitz, Dan Raphaeli:
Message Passing Algorithms for Phase Noise Tracking Using Tikhonov Mixtures. - Ashish Vulimiri, Brighten Godfrey, Radhika Mittal, Justine Sherry, Sylvia Ratnasamy, Scott Shenker:
Low latency via redundancy. - Jinyuan Chen, Petros Elia:
Symmetric Two-User MIMO BC and IC with Evolving Feedback. - Xiaoming Chen, Rui Yin:
Performance Analysis for Physical Layer Security in Multi-Antenna Downlink Networks with Limited CSI Feedback. - Huahua Wang, Arindam Banerjee:
Online Alternating Direction Method (longer version). - John Case, Sanjay Jain, Samuel Seah, Frank Stephan:
Automatic functions, linear time and learning. - Lin Chen, Deshi Ye, Guochuan Zhang:
A note on scheduling with low rank processing times. - Arun Tejasvi Chaganty, Percy Liang:
Spectral Experts for Estimating Mixtures of Linear Regressions. - Menghui Li, Hailin Zou, Shuguang Guan, Xiaofeng Gong, Kun Li, Zengru Di, Choy Heng Lai:
A coevolving model based on preferential triadic closure for social media networks. - MohammadTaghi Hajiaghayi, Rohit Khandekar, M. Reza Khani, Guy Kortsarz:
Approximation Algorithms for Movement Repairmen. - Netanel Raviv:
Truth Table Minimization of Computational Models. - Simon Harper, Tianyi Chen, Yeliz Yesilada:
Controlled Experimentation in Naturalistic Mobile Settings. - Mihailo Stojnic:
Lifting ℓ1-optimization strong and sectional thresholds. - Loet Leydesdorff:
Elsevier's Scopus has a revised SNIP indicator for journal ranking. - Sarel Cohen, Amos Fiat, Moshe Hershcovitch, Haim Kaplan:
Minimal Indices for Successor Search. - Mihailo Stojnic:
Under-determined linear systems and ℓq-optimization thresholds. - Mihailo Stojnic:
Upper-bounding ℓ1-optimization sectional thresholds. - Richard P. Smiraglia, Andrea Scharnhorst, Almila Akdag Salah, Cheng Gao:
UDC in Action. - Salvatore Talarico, Matthew C. Valenti, Don J. Torrieri:
Analysis of Multi-Cell Downlink Cooperation with a Constrained Spatial Model. - Mihailo Stojnic:
Towards a better compressed sensing. - Sebastian Wild, Markus E. Nebel, Hosam M. Mahmoud:
Analysis of Quickselect under Yaroslavskiy's Dual-Pivoting Algorithm. - Haichao Zhang, David P. Wipf:
Non-Uniform Blind Deblurring with a Spatially-Adaptive Sparse Prior. - Pierre Hyvernat:
The Size-Change Termination Principle for Constructor Based Languages. - Daniel Archambault, Derek Greene, Pádraig Cunningham:
TwitterCrowds: Techniques for Exploring Topic and Sentiment in Microblogging Data. - Dmytro Mishkin, Michal Perdoch, Jiri Matas:
Two-View Matching with View Synthesis Revisited. - Fedor V. Fomin, Archontia C. Giannopoulou, Michal Pilipczuk:
Computing Tree-depth Faster Than 2n. - Peter Sarlin, Samuel Rönnqvist:
Cluster coloring of the Self-Organizing Map: An information visualization perspective. - Kyunghyun Cho, Xi Chen:
Classifying and Visualizing Motion Capture Sequences using Deep Neural Networks. - Tiancheng Li, Tariq Pervez Sattar, Qing Han, Shudong Sun:
Roughening Methods to Prevent Sample Impoverishment in the Particle PHD Filter. - Anudhyan Boral, Marek Cygan, Tomasz Kociumaka, Marcin Pilipczuk:
Fast branching algorithm for Cluster Vertex Deletion. - Peter Schrammel, Tom Melham, Daniel Kroening:
Chaining Test Cases for Reactive System Testing (extended version). - Martin Slota, João Leite:
The Rise and Fall of Semantic Rule Updates Based on SE-Models. - J. Gerard Wolff:
The SP theory of intelligence: an overview. - J. Gerard Wolff:
The management and analysis of big data, and the SP theory of intelligence. - Jiazhong Nie, Wojciech Kotlowski, Manfred K. Warmuth:
On-line PCA with Optimal Regrets. - Marco Baldi, Marco Bianchi, Nicola Maturo, Franco Chiaraluce:
Improving the efficiency of the LDPC code-based McEliece cryptosystem through irregular codes. - Jérôme Ducoat:
Generalized rank weights : duality and Griesmer bound. - Ishita Bhakta, Sandip Chakraborty, Debarshi Kumar Sanyal, Barsha Mitra, Samiran Chattopadhyay, Matangini Chattopadhyay:
Designing an Efficient Delay Sensitive Routing Metric for IEEE 802.16 Mesh Networks. - Julien Audiffren, Hachem Kadri:
Stability of Multi-Task Kernel Regression Algorithms. - Masoud Saeida Ardekani, Pierre Sutra, Nuno M. Preguiça, Marc Shapiro:
Non-Monotonic Snapshot Isolation. - Xujin Chen, Donglei Du, Luis Fernando Zuluaga:
Copula-based Randomized Mechanisms for Truthful Scheduling on Two Unrelated Machines. - Laura Bernadó, Thomas Zemen, Fredrik Tufvesson, Andreas F. Molisch, Christoph F. Mecklenbräuker:
Time-, Frequency-, and Space-varying K-Factor of Non-Stationary Vehicular Channels for Safety Relevant Scenarios. - Thiago C. Silva, Diego R. Amancio:
Discriminating word senses with tourist walks in complex networks. - Hong Jiang, Gang Huang, Paul A. Wilford:
Multi-view in Lensless Compressive Imaging. - Mir Sajjad Hussain Talpur:
The Appliance Pervasive of Internet of Things in Healthcare Systems. - Mohammed El Amine Abderrahim, Benameur Said, Mohammed Alaeddine Abderrahim:
The Number of Terms and Documents for Pseudo-Relevant Feedback for Ad-hoc Information Retrieval. - Adel Alti, Philippe Roose:
A New Approach for Quality Management in Pervasive Computing Environments. - Mihailo Stojnic:
Lifting ℓq-optimization thresholds. - Mihailo Stojnic:
Compressed sensing of block-sparse positive vectors. - Mikhail Ivanov, Alex Alvarado, Fredrik Brannstrom, Erik Agrell:
On the Asymptotic Performance of Bit-Wise Decoders for Coded Modulation. - Balasubramanian Sivan, Vasilis Syrgkanis:
Auctions vs Negotiations in Irregular Markets. - Stefan Schneider:
Satisfiability Algorithms for Restricted Circuit Classes. - V. Sriram Siddhardh Nadendla, Yunghsiang S. Han, Pramod K. Varshney:
Distributed Inference with M-ary Quantized Data in the Presence of Byzantine Attacks. - Héctor Ferrada, Travis Gagie, Tommi Hirvola, Simon J. Puglisi:
Hybrid Indexes for Repetitive Datasets. - Carlos Sarraute, Gerardo Richarte, Jorge Lucángeli Obes:
An Algorithm to Find Optimal Attack Paths in Nondeterministic Scenarios. - Jorge Lucángeli Obes, Carlos Sarraute, Gerardo Richarte:
Attack Planning in the Real World. - Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev:
Drawing Permutations with Few Corners. - Lu Yang, Bican Xia:
Deciding Nonnegativity of Polynomials by MAPLE. - Shariq Hussain, Zhaoshun Wang, Ibrahima Kalil Toure, Abdoulaye Diop:
Web Service Testing Tools: A Comparative Study. - Tom Z. J. Fu, Qiufang Ying, Dah Ming Chiu:
MYE: Missing Year Estimation in Academic Social Networks. - Azhar Mahmood, Ke Shi, Shaheen Khatoon:
An Efficient Distributed Data Extraction Method for Mining Sensor Networks Data. - Nitin Jagadish, Manoj H., Nishanth K. Prasad, Sunil Kumar K. M:
A Microcontroller Based Device to Reduce Phanthom Power. - Zeng Jie:
A Novel Block-DCT and PCA Based Image Perceptual Hashing Algorithm. - An Bian, Xiong Li, Yuncai Liu:
Parallel Coordinate Descent Newton for Large-scale L1-Regularized Minimization. - Sohail Abid, Imran Shafi, Shahid Abid:
Energy efficient routing in mobile ad-hoc networks for Healthcare Environments. - Mauro Femminella, Gianluca Reali, Roberto Francescangeli:
Modeling the guaranteed delivery of bulk data. - Maryam Tayebinik, Marlia Mohd Puteh:
Blended Learning or E-learning? - Chang Liu, Fei Song, Huan Yan, Sidong Zhang:
Modeling of Multipath Transport. - Xiaolin Wang, Xun Qiu:
Application of particle swarm optimization for enhanced cyclic steam stimulation in a offshore heavy oil reservoir. - Mohammadi Akheela Khanum, Munesh Chandra Trivedi:
Exploring Verbalization and Collaboration during Usability Evaluation with Children in Context. - Andreas Björklund, Petteri Kaski, Lukasz Kowalik:
Counting thin subgraphs via packings faster than meet-in-the-middle time. - Manfred Sneps-Sneppe, Anatoly Maximenko, Dmitry Namiot:
On M2M communications standards for smart metering. - Suket Arora, Kamaljeet Batra, Sarabjit Singh:
Dialogue System: A Brief Review. - Preeti Verma, Suket Arora, Kamaljit Batra:
Punjabi Language Interface to Database: a brief review. - Jean-Marc Kelif, Marceau Coupechoux, Marc Sigelle:
Optimal Relay Placement for Capacity and Performance Improvement using a Fluid Model for Heterogeneous Wireless Networks. - Elchanan Mossel, Anupam Prakash, Gregory Valiant:
Computation in anonymous networks. - Maumita Bhattacharya:
Bioclimating Modelling: A Machine Learning Perspective. - Jean-Noël Quintin, Khalid Hasanov, Alexey L. Lastovetsky:
Hierarchical Parallel Matrix Multiplication on Large-Scale Distributed Memory Platforms. - Lachlan J. Gunn, James M. Chappell, Andrew Allison, Derek Abbott:
Physical-layer encryption on the public internet: a stochastic approach to the Kish-Sethuraman cipher. - Ragesh Jaiswal, Prachi Jain, Saumya Yadav:
A bad 2-dimensional instance for k-means++. - Iñaki Ucar, Felipe López-Fernandino, Pablo Rodriguez-Ulibarri, Laura Sesma-Sanchez, Veronica Urrea-Micó, Joaquín Sevilla:
Growth in the number of references in engineering journal papers during the 1972-2013 period. - Anvar Tukmanov, Zhiguo Ding, Said Boussakta, Abbas Jamalipour:
On the Broadcast Latency in Finite Cooperative Wireless Networks. - Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain:
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. - Razvan Barbulescu, Pierrick Gaudry, Antoine Joux, Emmanuel Thomé:
A quasi-polynomial algorithm for discrete logarithm in finite fields of small characteristic. - Omar S. Gómez, José L. Batún, Raúl A. Aguilar:
Pair versus Solo Programming - An Experience Report from a Course on Design of Experiments in Software Engineering. - Kang Ning, Kwok Pui Choi:
Systematic assessment of the expected length, variance and distribution of Longest Common Subsequences. - Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson:
Ore Polynomials in Sage. - Sasan Maleki, Long Tran-Thanh, Greg Hines, Talal Rahwan, Alex Rogers:
Bounding the Estimation Error of Sampling-based Shapley Value Approximation With/Without Stratifying. - Chaker Ben Mahmoud, Fathia Bettahar, Hajer Abderrahim, Houda Saidi:
Towards a Graph-Based Approach for Web Services Composition. - Moshe Lewenstein, J. Ian Munro, Venkatesh Raman:
Succinct data structures for representing equivalence classes. - Linda Farczadi, Konstantinos Georgiou, Jochen Könemann:
Network bargaining with general capacities. - Songcen Xu, Rodrigo C. de Lamare:
Distributed conjugate gradient strategies for parameter estimation over sensor networks. - Zohra Sbaï, Kamel Barkaoui:
Vérification Formelle des Processus Workflow Collaboratifs. - Vishakha Metre, Jayshree Ghorpade:
An Overview of the Research on Texture Based Plant Leaf Classification. - Anatoly Khina, Ayal Hitron, Idan Livni, Uri Erez:
Joint Unitary Triangularization for Gaussian Multi-User MIMO Networks. - Cédric Chauve, Murray Patterson, Ashok Rajaraman:
Hypergraph covering problems motivated by genome assembly questions. - Christophe Schülke, Francesco Caltagirone, Florent Krzakala, Lenka Zdeborová:
Blind Calibration in Compressed Sensing using Message Passing Algorithms. - António Leslie Bajuelos, Santiago Canales, Gregorio Hernández-Peñalver, Ana Mafalda Martins, Inês Matos:
Some Results on Open Edge and Open Mobile Guarding of Polygons and Triangulations. - Collin Anderson:
Dimming the Internet: Detecting Throttling as a Mechanism of Censorship in Iran. - Sears A. Merritt, Aaron Clauset:
Social Network Dynamics in a Massive Online Game: Network Turnover, Non-densification, and Team Engagement in Halo Reach. - Anand Louis, Konstantin Makarychev:
Approximation Algorithm for Sparsest k-Partitioning. - Akshay Soni, Jarvis D. Haupt:
On the Fundamental Limits of Recovering Tree Sparse Vectors from Noisy Linear Measurements. - Mostafa Saadi, Moulay Lahcen Hasnaoui, Abderrahim Beni Hssane, Said Benkirane, Mohamed Laghdir:
Energy-Aware Scheme used in Multi-level Heterogeneous Wireless Sensor Networks. - Chitta Baral, Nguyen Ha Vo:
Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information. - Ronald Y. Chang, Sian-Jheng Lin, Wei-Ho Chung:
Symbol and Bit Mapping Optimization for Physical-Layer Network Coding with Pulse Amplitude Modulation. - Geoffrey Chu, Peter J. Stuckey:
Structure Based Extended Resolution for Constraint Programming. - Nithin K. Anil, Sharath Basil Kurian, Aby Abahai T, Surekha Mariam Varghese:
Multidimensional User Data Model for Web Personalization. - Giuseppe Ateniese, Giovanni Felici, Luigi V. Mancini, Angelo Spognardi, Antonio Villani, Domenico Vitali:
Hacking Smart Machines with Smarter Ones: How to Extract Meaningful Data from Machine Learning Classifiers. - Ahmed Faouzi, Charif Mabrouki, Alami Semma:
Modeling a repository of modules for ports Terminals Operating System (TOS). - Lutz Bornmann, Loet Leydesdorff, Jian Wang:
Which percentile-based approach should be preferred for calculating normalized citation impact values? An empirical comparison of five approaches including a newly developed one (P100). - Michal Certický:
Implementing a Wall-In Building Placement in StarCraft with Declarative Programming. - Andris Ambainis, Yihan Gao, Jieming Mao, Xiaoming Sun, Song Zuo:
New upper bound on block sensitivity and certificate complexity in terms of sensitivity. - Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer:
A Generic Scheme and Properties of Bidirectional Transformations. - Stefanie Wuhrer, Jochen Lang, Motahareh Tekieh, Chang Shu:
Finite Element Based Tracking of Deforming Surfaces. - Bessaoudi Talel, Fayçal Ben Hmida:
Robust State and fault Estimation of Linear Discrete Time Systems with Unknown Disturbances. - Ezio Bartocci, Luca Bortolussi, Laura Nenzi:
A temporal logic approach to modular design of synthetic biological circuits. - Antonios Pitarokoilis, Saif Khan Mohammed, Erik G. Larsson:
Uplink Performance of Time-Reversal MRC in Massive MIMO Systems Subject to Phase Noise. - Henrik J. Nyman, Peter Sarlin:
From Bits to Atoms: 3D Printing in the Context of Supply Chain Strategies. - Mohsen Yousefbeiki, Julien Perruisseau-Carrier:
Towards Compact and Frequency-Tunable Antenna Solutions for MIMO Transmission with a Single RF Chain. - Deepak Ajwani, Nodari Sitchinava:
Empirical Evaluation of the Parallel Distribution Sweeping Framework on Multicore Architectures. - Antonio Lima, Manlio De Domenico, Veljko Pejovic, Mirco Musolesi:
Exploiting Cellular Data for Disease Containment and Information Campaigns Strategies in Country-Wide Epidemics. - Luis Sanabria-Russo:
CSMA/ECA in Non-Saturation. - Alexandre Perez:
Dynamic Code Coverage with Progressive Detail Levels. - Felix Krahmer, Rayan Saab, Özgür Yilmaz:
Sigma-Delta quantization of sub-Gaussian frame expansions and its application to compressed sensing. - (Withdrawn) A Novel Lowest Density MDS Array Code.
- Tirtharaj Dash:
Time Efficient Approach To Offline Hand Written Character Recognition Using Associative Memory Net. - Abdoulaye Diop, Yue Qi, Qin Wang, Shariq Hussain:
An Advanced Survey on Secure Energy-Efficient Hierarchical Routing Protocols in Wireless Sensor Networks. - Bogdan Gliwa, Anna Zygmunt, Jaroslaw Kozlak:
Analysis of roles and groups in blogosphere. - Luís Marujo, Márcio Viveiros, João Paulo da Silva Neto:
Keyphrase Cloud Generation of Broadcast News. - Luís Marujo, Miguel M. F. Bugalho, João Paulo da Silva Neto, Anatole Gershman, Jaime G. Carbonell:
Hourly Traffic Prediction of News Stories. - Tirtharaj Dash, Tanistha Nayak:
English Character Recognition using Artificial Neural Network. - Tanistha Nayak, Tirtharaj Dash:
Solution to Quadratic Equation Using Genetic Algorithm. - Tom Z. J. Fu, Qianqian Song, Dah Ming Chiu:
The Academic Social Network. - Andreas Griesmayer, Charles Morisset:
Automated Certification of Authorisation Policy Resistance. - Tirtharaj Dash, Tanistha Nayak:
Parallel Algorithm for Longest Common Subsequence in a String. - Tirtharaj Dash, Tanistha Nayak:
Non-Correlated Character Recognition using Artificial Neural Network. - Rachana Parikh, Avani R. Vasant:
Table of Content detection using Machine Learning. - Sumit Goswami, Mayank Singh Shishodia:
A Fuzzy Based Approach to Text Mining and Document Clustering. - Mark Sh. Levin:
Towards Multistage Design of Modular Systems. - Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek:
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. - Umakant Mishra:
Finding and Solving Contradictions of False Positives in Virus Scanning. - Satyen Kale:
Multiarmed Bandits With Limited Expert Advice. - Umakant Mishra:
Contradictions in Improving Speed of Virus Scanning. - Michael Huber:
Efficient Two-Stage Group Testing Algorithms for Genetic Screening. - Umakant Mishra:
Methods of Repairing Virus Infected Files, A TRIZ based Analysis. - Tirtharaj Dash, Goutam Mishra, Tanistha Nayak:
A Novel Approach for Intelligent Robot Path Planning. - Sam Tobin-Hochstadt, David Van Horn:
From Principles to Practice with Class in the First Year. 1-15 - Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
Penetration Testing == POMDP Solving? - Arian Shoari, Alireza Seyedi:
On Localization of A Non-Cooperative Target with Non-Coherent Binary Detectors. - Ognjen Arandjelovic:
Computer simulation based parameter selection for resistance exercise. - Dawei Zhao, Haipeng Peng, Lixiang Li, Yixian Yang:
A secure and effective anonymous authentication scheme for roaming service in global mobility networks. - Cícero Carvalho:
On the second Hamming weight of some Reed-Muller type codes. - Daniel Paul Barrett, Jeffrey Mark Siskind:
Felzenszwalb-Baum-Welch: Event Detection by Changing Appearance. - Armin Eftekhari, Michael B. Wakin:
New Analysis of Manifold Embeddings and Signal Recovery from Compressive Measurements. - Geoffrey J. Gordon:
Galerkin Methods for Complementarity Problems and Variational Inequalities. - Chen Gong, Xiaodong Wang:
On Finite Block-Length Quantization Distortion. - Shuying Li, Chen Gong, Xiaodong Wang:
Hybrid Group Decoding for Scalable Video over MIMO-OFDM Downlink Systems. - Payal Gulati, A. K. Sharma:
Analysing Word Importance for Image Annotation. - Yuming Jiang:
Performance Bounds for Multiclass FIFO in Communication Networks: A Deterministic Case. - Anyu Wang, Zhifang Zhang:
Repair Locality with Multiple Erasure Tolerance. - Fawzi Hasan Altaany, Firas Ajil Jassim:
Impact of Facebook Usage on Undergraduate Students Performance in Irbid National University: Case Study. - Larry Bull:
Evolving Boolean Regulatory Networks with Epigenetic Control. - Xinhua Wang:
Nonlinear time integral-derivative observer. - Muhammad Rizwan Asghar, Mihaela Ion, Giovanni Russello, Bruno Crispo:
ESPOON: Enforcing Encrypted Security Policies in Outsourced Environments. - Eitan Menahem, Gabi Nakibly, Yuval Elovici:
ACTIDS: An Active Strategy For Detecting And Localizing Network Attacks. - Matteo Piva, Massimiliano Sala:
A generalization of bounds for cyclic codes, including the HT and BS bounds. - Valeria Aman:
The potential of preprints to accelerate scholarly communication - A bibliometric analysis based on selected journals. - Abderrahmen Bouguerra, Djamel Saigaa, Kamel Kara, Samir Zeghlache, Keltoum Loukal:
Fault-Tolerant Control of a 2 DOF Helicopter (TRMS System) Based on H_infinity. - Jean Cardinal, Sébastien Collette, Hiro Ito, Matias Korman, Stefan Langerman, Hikaru Sakaidani, Perouz Taslakian:
Cannibal Animal Games: a new variant of Tic-Tac-Toe. - Luís Marujo, Anatole Gershman, Jaime G. Carbonell, Robert E. Frederking, João Paulo Neto:
Supervised Topical Key Phrase Extraction of News Stories using Crowdsourcing, Light Filtering and Co-reference Normalization. - Luís Marujo, Ricardo Ribeiro, David Martins de Matos, João Paulo Neto, Anatole Gershman, Jaime G. Carbonell:
Key Phrase Extraction of Lightly Filtered Broadcast News.