default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, December 2013
December 2013
- Ayan Chakraborty, Shiladitya Munshi, Debajyoti Mukhopadhyay:
A Proposal for the Characterization of Multi-Dimensional Inter-relationships of RDF Graphs Based on Set Theoretic Approach. - Gabriel Scherer, Jan Hoffmann:
Tracking Data-Flow with Open Closure Types. - Hugues Randriambololona:
On products and powers of linear codes under componentwise multiplication. - Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari:
Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report). - Scott Aaronson, Andris Ambainis, Kaspars Balodis, Mohammad Bavarian:
Weak Parity. - Aly El Gamal, Venugopal V. Veeravalli:
Dynamic Interference Management. - Bojian Xu:
Boosting the Basic Counting on Distributed Streams. - Hossein Shokri Ghadikolaei, Ioannis Glaropoulos, Viktoria Fodor, Carlo Fischione, Konstantinos D. Dimou:
Energy Efficient Spectrum Sensing and Handoff Strategies in Cognitive Radio Networks. - Rong Jin:
Stochastic Optimization of Smooth Loss. - Shehroz S. Khan, Michael G. Madden:
One-Class Classification: Taxonomy of Study and Review of Techniques. - Oner Orhan, Deniz Gündüz, Elza Erkip:
Energy Harvesting Broadband Communication Systems with Processing Energy Cost. - Yuksel Ozan Basciftci, Onur Güngör, Can Emre Koksal, Füsun Özgüner:
On the Secrecy Capacity of Block Fading Channels with a Hybrid Adversary. - Ngoc-Son Vu, Thanh Phuong Nguyen, Christophe Garcia:
Improving Texture Categorization with Biologically Inspired Filtering. - Gérard Berry, Manuel Serrano:
Hop and HipHop : Multitier Web Orchestration. - Filomena Ferrucci, M. Tahar Kechadi
, Pasquale Salza, Federica Sarro:
A Framework for Genetic Algorithms Based on Hadoop. - Mamoon Rashid, Er. Rishma Chawla:
Extended Role Based Access Control with Blob Service on Cloud. - Alireza Vahid, Mohammad Ali Maddah-Ali, Amir Salman Avestimehr:
Communication Through Collisions: Opportunistic Utilization of Past Receptions. - Samson Abramsky:
Semantics of Interaction. - Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Characterizing and Extending Answer Set Semantics using Possibility Theory. - Adeyinka K. Akanbi, Olusanya Y. Agunbiade:
Integration of a city GIS data with Google Map API and Google Earth API for a web based 3D Geospatial Application. - Mehrdad Tahmasbi, Amirbehshad Shahrasbi, Amin Gohari:
Critical Graphs in Index Coding. - Liang Wang, Suzan Bayhan, Jussi Kangasharju:
Effects of Cooperation Policy and Network Topology on Performance of In-Network Caching. - Khaled M. Elbassioni, Mahmoud Fouz, Chaitanya Swamy:
Approximation Algorithms for Non-Single-minded Profit-Maximization Problems with Limited Supply. - Krasimir Yordzhev:
The bitwise operations related to a fast sorting algorithm. - Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Knowing Whether. - Minghua Xia, Sonia Aïssa:
Impact of Co-Channel Interference on Performance of Multi-Hop Relaying over Nakagami-$m$ Fading Channels. - Muhammad Aamir:
On Replacing PID Controller with ANN Controller for DC Motor Position Control. - Verena Kantere:
Datom: Towards modular data management. - Anastasya A. Bezzubtseva, Dmitry I. Ignatov:
A Typology of Collaboration Platform Users. - (Withdrawn) On Even Linear Indexed Languages with a Reduction to the Learning of Context-Free Languages.
- Haocheng Wu, Yunhua Hu, Hang Li, Enhong Chen:
Query Segmentation for Relevance Ranking in Web Search. - Krasimir Yordzhev:
On an Algorithm for Obtaining All Binary Matrices of Special Class Related to V. E. Tarakanov's Formula. - Hasan M. Jamil:
Empowering Evolving Social Network Users with Privacy Rights. - Krasimir Yordzhev:
Inclusion of regular and linear languages in group languages. - Hyokun Yun, Hsiang-Fu Yu, Cho-Jui Hsieh, S. V. N. Vishwanathan, Inderjit S. Dhillon:
NOMAD: Non-locking, stOchastic Multi-machine algorithm for Asynchronous and Decentralized matrix completion. - Krasimir Yordzhev:
Some Combinatorial Problems on Binary Matrices in Programming Courses. - Sébastien Bardin, Arnaud Gotlieb:
A Combined Approach for Constraints over Finite Domains and Arrays. - Thomas Y. Hou, Zuoqiang Shi, Peyman Tavallali:
Sparse Time Frequency Representations and Dynamical Systems. - Federico Boccardi, Robert W. Heath Jr., Angel E. Lozano, Thomas L. Marzetta, Petar Popovski:
Five Disruptive Technology Directions for 5G. - Yael Yankelevsky, Alfred M. Bruckstein:
On Optimal Disc Covers and a New Characterization of the Steiner Center. - Mohamed Gharzouli:
Reuse of existing applications during the development of Enterprise Portals integrating Web Services. - Mikko Vehkaperä, Yoshiyuki Kabashima, Saikat Chatterjee:
Analysis of Regularized LS Reconstruction and Random Matrix Ensembles in Compressed Sensing. - Felicity Allen, Russell Greiner, David S. Wishart:
Competitive Fragmentation Modeling of ESI-MS/MS spectra for metabolite identification. - Lukasz Golab, Marios Hadjieleftheriou, Howard J. Karloff, Barna Saha:
Distributed Data Placement via Graph Partitioning. - William L. Hamilton, Mahdi Milani Fard, Joelle Pineau:
Efficient Learning and Planning with Compressed Predictive States. - Abla Kammoun, Hajer Khanfir, Zwi Altman, Mérouane Debbah, Mohamed Kamoun:
Survey on 3D channel modeling : From theory to standardization. - Laszlo B. Kish:
Times in noise-based logic: increased dimensions of logic hyperspace. - Chunxiao Jiang, Yan Chen, K. J. Ray Liu:
Evolutionary Dynamics of Information Diffusion over Social Networks. - Hangguan Shan, Zhifeng Ni, Weihua Zhuang, Aiping Huang, Wei Wang:
State Transition Analysis of Time-Frequency Resource Conversion-based Call Admission Control for LTE-Type Cellular Network. - Kyatsandra G. Nagananda, Shalinee Kishore:
A Unifying Framework for the Electrical Structure-Based Approach to PMU Placement in Electric Power Systems. - Tassilo Horn:
The TTC 2013 Flowgraphs Case. 3-7 - Pieter Van Gorp, Louis M. Rose:
The Petri-Nets to Statecharts Transformation Case. 16-31 - Valerio Cosentino, Massimo Tisi, Fabian Büttner:
Analyzing Flowgraphs with ATL. 32-36 - Georg Hinkel, Thomas Goldschmidt, Lucia Happe:
An NMF solution for the Flowgraphs case at the TTC 2013. 37-42 - Jesús Sánchez Cuadrado:
Solving the Flowgraphs Case with Eclectic. 43-56 - Tassilo Horn:
Solving the TTC 2013 Flowgraphs Case with FunnyQT. 57-68 - Anthony Anjorin, Marius Lauder:
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon. 69-74 - Tassilo Horn:
Solving the Class Diagram Restructuring Transformation Case with FunnyQT. 75-82 - Wietse Smid, Arend Rensink:
Class Diagram Restructuring with GROOVE. 83-87 - Tassilo Horn:
Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT. 88-94 - Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian:
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. 101-105 - Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth:
PN2SC Case Study: An EMF-IncQuery solution. 106-114 - Benjamin Rossman:
Formulas vs. Circuits for Small Distance Connectivity. - Tomás Martínez-Ruiz, Félix García, Mario Piattini, Jürgen Münch:
Applying AOSE Concepts to Model Crosscutting Variability in Variant-Rich Processes. - Yuanming Shi, Jun Zhang, Khaled Ben Letaief:
Optimal Stochastic Coordinated Beamforming with Compressive CSI Acquisition for Cloud-RAN. - Marc P. C. Fossorier:
Polar Codes: Graph Representation and Duality. - Sophie Theresa Spirkl:
The guillotine approach for TSP with neighborhoods revisited. - Pradeesha Ashok, Sathish Govindarajan:
On Strong Centerpoints. - Hossein Ghasemalizadeh, Mohammadreza Razzazi:
Output sensitive algorithm for covering many points. - Junyuan Wang, Lin Dai:
Asymptotic Rate Analysis of Downlink Multi-user Systems with Co-located and Distributed Antennas. - Arnim Bleier:
Practical Collapsed Stochastic Variational Inference for the HDP. - Abhishek Dubey, Ambedkar Dukkipati:
Comprehensive Border Bases for Zero Dimensional Parametric Polynomial Ideals. - Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller:
Radix Conversion for IEEE754-2008 Mixed Radix Floating-Point Arithmetic. - Alper Ortac, Martin Monperrus, Mira Mezini:
Abmash: Mashing Up Legacy Web Applications by Automated Imitation of Human Actions. - Jin-San Cheng, Kai Jin:
A Generic Position Based Method for Real Root Isolation of Zero-Dimensional Polynomial Systems. - Jennifer D. Warrender, Phillip Lord:
A pattern-driven approach to biomedical ontology engineering. - Serguei A. Mokhov:
Intensional Cyberforensics. - Jianfeng Gao, Xiaodong He, Wen-tau Yih, Li Deng:
Learning Semantic Representations for the Phrase Translation Model. - Weiyu Xu, Jian-Feng Cai, Kumar Vijay Mishra, Myung Cho, Anton Kruger:
Precise Semidefinite Programming Formulation of Atomic Norm Minimization for Recovering d-Dimensional ($d\geq 2$) Off-the-Grid Frequencies. - Antoine Desmet, Erol Gelenbe:
Capacity Based Evacuation with Dynamic Exit Signs. - Ozan Irsoy, Claire Cardie:
Bidirectional Recursive Neural Networks for Token-Level Labeling with Structure. - David Gajser:
Verifying whether one-tape NTMs run in time $Cn+D$. - Frank Hellweg, Christian Sohler:
Property-Testing in Sparse Directed Graphs: 3-Star-Freeness and Connectivity. - Nicolas Le Scouarnec, Christoph Neumann, Gilles Straub:
Cache policies for cloud-based systems: To keep or not to keep. - Andrey Demichev, Viatcheslav A. Ilyin, Alexander P. Kryukov, Stanislav Polyakov:
Fault Tolerance of Small-World Regular and Stochastic Interconnection Networks. - Weicong Ding, Prakash Ishwar, Venkatesh Saligrama, W. Clem Karl:
Sensing-Aware Kernel SVM. - Vassilis Kekatos, Georgios B. Giannakis, Ross Baldick:
Grid Topology Identification using Electricity Prices. - Arun Keepanasseril, Kathleen Ann McKibbon, Alfonso Iorio:
Theoretical Foundation for Research in Communication using Information and Communication Technology Devices in Healthcare: An Interdisciplinary Scoping Review. - Brett Kaufman, Jorma Lilleberg, Behnaam Aazhang:
Analog Baseband Cancellation for Full-Duplex: An Experiment Driven Analysis. - Kiryung Lee, Yihong Wu, Yoram Bresler:
Near Optimal Compressed Sensing of Sparse Rank-One Matrices via Sparse Power Factorization. - Djamal Belazzougui, Paolo Boldi, Giuseppe Ottaviano, Rossano Venturini, Sebastiano Vigna:
Cache-Oblivious Peeling of Random Hypergraphs. - Alexander Grubb, Daniel Munoz, J. Andrew Bagnell, Martial Hebert:
SpeedMachines: Anytime Structured Prediction. - Georg Hinkel, Thomas Goldschmidt, Lucia Happe:
An NMF solution for the Petri Nets to State Charts case study at the TTC 2013. 95-100 - Yi Zheng, Zhi Zhu He, Jun Yang, Jing Liu:
Fully Automatic Liquid Metal Printer towards Personal Electronics Manufacture. - Uri Shalit, Gal Chechik:
Efficient coordinate-descent for orthogonal matrices through Givens rotations. - Fatma Almajadub, Abdul Razaque, Eman Abdelfattah:
Stream Control Transmission Protocol (SCTP): Robust and Efficient for Data Centre Applications. - Greg Ver Steeg, Cristopher Moore, Aram Galstyan, Armen E. Allahverdyan:
Phase Transitions in Community Detection: A Solvable Toy Model. - Yingjie Hu, Zhenhua Lv, Jianping Wu, Krzysztof Janowicz, Xizhi Zhao, Bailang Yu:
A Multi-stage Collaborative 3D GIS to Support Public Participation. - Samet Oymak, Christos Thrampoulidis, Babak Hassibi:
Simple Bounds for Noisy Linear Inverse Problems with Exact Side Information. - Louis Lei Yu, Sitaram Asur, Bernardo A. Huberman:
Dynamics of Trends and Attention in Chinese Social Media. - Francesco De Pellegrini, Alexandre Reiffers, Eitan Altman:
Differential Games of Competition in Online Content Diffusion. - Quan Geng, Pramod Viswanath:
The Optimal Mechanism in Differential Privacy: Multidimensional Setting. - Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann:
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation. - Wayes Tushar, Jian A. Zhang, David B. Smith, H. Vincent Poor, Sylvie Thiébaux:
Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. - Yong Wang:
Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography. - Mustafa S. Mehmetoglu, Emrah Akyol, Kenneth Rose:
Optimization of zero-delay mappings for distributed coding by deterministic annealing. - Yong Wang, Li Lin, Kai Li:
A Process Algebra for Games. - Jeremy G. Siek, Michael M. Vitousek:
Monotonic References for Gradual Typing. - Suayb S. Arslan:
Redundancy and Aging of Efficient Multidimensional MDS-Parity Protected Distributed Storage Systems. - Farbod Roosta-Khorasani, Kees van den Doel, Uri M. Ascher:
Data completion and stochastic algorithms for PDE inversion problems with many measurements. - Frank Elberzhager, Stephan Kremer, Jürgen Münch, Danilo Assmann:
Guiding Testing Activities by Predicting Defect-prone Parts Using Product and Inspection Metrics. - Andrei Rusu:
On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic $GL$. - Yong Zeng, Rui Zhang, Zhi Ning Chen:
Electromagnetic Lens-focusing Antenna Enabled Massive MIMO: Performance Improvement and Cost Reduction. - Tao Zhao, Pengkun Yang, Huimin Pan, Ruichen Deng, Sheng Zhou, Zhisheng Niu:
Software Defined Radio Implementation of Signaling Splitting in Hyper-Cellular Network. - Stavros G. Kolliopoulos, Yannis Moysoglou:
Sherali-Adams gaps, flow-cover inequalities and generalized configurations for capacity-constrained Facility Location. - Rasmus Pagh, Francesco Silvestri:
The Input/Output Complexity of Triangle Enumeration. - Vasile Calofir, Valentin Tanasa, Ioana Fagarasan, Iulia Stamatescu, Nicoleta Arghira, Grigore Stamatescu:
A Backstepping Control Method for a Nonlinear Process - Two Coupled-Tanks. - Jean-Baptiste Lamy, Anis Ellini, Vahid Ebrahiminia, Jean-Daniel Zucker, Hector Falcoff, Alain Venot:
Use of the C4.5 machine learning algorithm to test a clinical guideline-based decision support system. - Jean-Baptiste Lamy, Vahid Ebrahiminia, Brigitte Séroussi, Jacques Bouaud, Christian Simon, Madeleine Favre, Hector Falcoff, Alain Venot:
A generic system for critiquing physicians' prescriptions: usability, satisfaction and lessons learnt. - Leandro Pacheco, Daniele Sciascia, Fernando Pedone:
Parallel Deferred Update Replication. - Jean-Baptiste Lamy, Rosy Tsopra, Alain Venot, Catherine Duclos:
A semi-automatic semantic method for mapping SNOMED CT concepts to VCM Icons. - Jayanth Krishna Mogali, Adithya Kumar Pediredla, Chandra Sekhar Seelamantula:
Template-Based Active Contours. - Frank Elberzhager, Robert Eschbach, Jürgen Münch:
The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing. - Yiyi Liao, Yue Wang, Yong Liu:
Image Representation Learning Using Graph Regularized Auto-Encoders. - Guillermo Gallego, Anthony J. Yezzi:
A compact formula for the derivative of a 3-D rotation in exponential coordinates. - (Withdrawn) Test Set Selection using Active Information Acquisition for Predictive Models.
- Pramit Ghosh, Debotosh Bhattacharjee, Soma Datta:
Adaptive Intelligent Controller for Household Cooling Systems. - Amir Najafi, Amir Joudaki, Emad Fatemizadeh:
Nonlinear Dimensionality Reduction via Path-Based Isometric Mapping. - Pramit Ghosh, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Round-The-Clock Urine Sugar Monitoring System for Diabetic Patients. - Pramit Ghosh, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Automatic White Blood Cell Measuring Aid for Medical Diagnosis. - Renyuan Zhang, Kai Cai, Yongmei Gan, Walter Murray Wonham:
Delay-Robustness for Localization-Based Distributed Control of Timed Discrete-Event Systems. - Sheng Cai, Mayank Bakshi, Sidharth Jaggi, Minghua Chen:
FRANTIC: A Fast Reference-based Algorithm for Network Tomography via Compressive Sensing. - Ben Ruijl, Jos Vermaseren, Aske Plaat, H. Jaap van den Herik:
Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification. - Samir Kumar Bandyopadhyay, S. Arunkumar, Saptarshi Bhattacharjee:
Feature Extraction of Human Lip Prints. - Zhiting Hu, Chong Wang, Junjie Yao, Eric P. Xing, Hongzhi Yin, Bin Cui:
Community Specific Temporal Topic Discovery from Social Media. - Yi Li, Mustafa Cenk Gursoy, Senem Velipasalar:
On the Throughput of Hybrid-ARQ under QoS Constraints. - Antonio Hernandez Coarasa, Prusayon Nintanavongsa, Sugata Sanyal, Kaushik R. Chowdhury:
Impact of Mobile Transmitter Sources on Radio Frequency Wireless Energy Harvesting. - Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber:
Linear transformation distance for bichromatic matchings. - (Withdrawn) Row-Based Dual Vdd Assignment, for a Level Converter Free CSA Design and Its Near-Threshold Operation.
- Derek Groen, Steven Rieder, Simon Portegies Zwart:
MPWide: a light-weight library for efficient message passing over wide area networks. - Carlos Sarraute, Gervasio Calderon:
Evolution of Communities with Focus on Stability. - Chao Tian:
Characterizing the Rate Region of the (4, 3, 3) Exact-Repair Regenerating Codes. - Moritz Hardt:
On the Provable Convergence of Alternating Minimization for Matrix Completion. - Inaki Estella Aguerri, Deniz Gündüz:
Joint Source-Channel Coding with Time-Varying Channel and Side-Information. - Siddhartha Banerjee, Avhishek Chatterjee, Sanjay Shakkottai:
Epidemic Thresholds with External Agents. - Pramit Ghosh, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Medical Aid for Automatic Detection of Malaria. - Eyal En Gad, Eitan Yaakobi, Anxiao Jiang, Jehoshua Bruck:
Rank-Modulation Rewrite Coding for Flash Memories. - Scott A. Hale:
Multilinguals and Wikipedia Editing. - Heiner Perrey, Martin Landsmann, Osman Ugus, Thomas C. Schmidt, Matthias Wählisch:
TRAIL: Topology Authentication in RPL. - Anu Mercian, Michael P. McGarry, Martin Reisslein:
Impact of Report Message Scheduling (RMS) in 1G/10G EPON and GPON (Extended Version). - Luis Barba, Stefan Langerman:
Detecting intersections between convex polyhedra. - Upul Senanayake, Rahal Prabuddha, Roshan G. Ragel:
High Throughput Virtual Screening with Data Level Parallelism in Multi-core Processors. - Ko-Feng Chen, Yen-Cheng Liu, Yu T. Su:
Composite Channel Estimation in Massive MIMO Systems. - Joseph Y. Halpern, Rafael Pass, Lior Seeman:
The Truth Behind the Myth of the Folk Theorem. - Jun Yang, Wei E. I. Sha, Hongyang Chao, Zhu Jin:
Efficient Compressive Sensing Using Mixed Adaptive-Random Measurements. - Adam R. Williamson, Matthew J. Marshall, Richard D. Wesel:
Reliability-output Decoding of Tail-biting Codes. - Mark Zhandry:
A Note on the Quantum Collision and Set Equality Problems. - Tianbao Yang, Shenghuo Zhu, Rong Jin, Yuanqing Lin:
On Theoretical Analysis of Distributed Stochastic Dual Coordinate Ascent. - B. Hari Ram, G. Kanchana Vaishnavi, K. Giridhar:
Blind Fractional Interference Alignment. - Aviv Adler, Mark de Berg, Dan Halperin, Kiril Solovey:
Efficient Multi-Robot Motion Planning for Unlabeled Discs in Simple Polygons. - Martin Kowalczyk, Henning Barthel, Jürgen Münch, Jens Heidrich, Adam Trendowicz:
A Deployment Process for Strategic Measurement Systems. - Michael Kläs, Constanza Lampasona, Jürgen Münch:
Adapting Software Quality Models: Practical Challenges, Approach, and First Empirical Results. - Frank Elberzhager, Jürgen Münch:
Using Early Quality Assurance Metrics to Focus Testing Activities. - Kwabena Doku-Amponsah:
Basic information theory for fitness preferential attachment random networks Via Large deviations. - Constantinos Daskalakis, Gautam Kamath:
Faster and Sample Near-Optimal Algorithms for Proper Learning Mixtures of Gaussians. - Hamid Ahmadinezhad, Zijia Li, Josef Schicho:
Analytic and algebraic kinematics. - K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor:
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis. - Farhad Farokhi, Walid Krichene, Alexandre M. Bayen, Karl Henrik Johansson:
A Necessary and Sufficient Condition for the Existence of Potential Functions for Heterogeneous Routing Games. - Franck Iutzeler, Pascal Bianchi, Philippe Ciblat, Walid Hachem:
Explicit Convergence Rate of a Distributed Alternating Direction Method of Multipliers. - Thomas Seiller:
Interaction Graphs: Exponentials. - Samson Abramsky, Radha Jagadeesan:
A Game Semantics for Generic Polymorphism. - Anna Palczewska, Jan Palczewski, Richard Marchese Robinson, Daniel Neagu:
Interpreting random forest classification models using a feature contribution method. - Zhengzheng Xiang, Meixia Tao, Xiaodong Wang:
Massive MIMO Multicasting in Noncooperative Cellular Networks. - Anna Roubícková, Ivan Serina:
Case-Based Merging Techniques in OAKPLAN. - Pedram Pad, Michael Unser:
Optimality of Operator-Like Wavelets for Representing Sparse AR(1) Processes. - Serge Kernbach:
Unconventional research in USSR and Russia: short overview. - Dima Grigoriev, Vladimir Shpilrain:
Yao's millionaires' problem and decoy-based public key encryption by classical physics. - Johannes Köbler, Sebastian Kuhnert, Oleg Verbitsky:
Circular-arc hypergraphs: Rigidity via Connectedness. - Ben de Lacy Costello, Andrew Adamatzky:
Routing of Physarum polycephalum signals using simple chemicals. - David Contreras, Nancy Hitschfeld-Kahler:
Study on Delaunay tessellations of 1-irregular cuboids for 3D mixed element meshes. - Bruce D. Scott, Volker Weinberg, Olivier Hoenen, Anumap Karmakar, Luis Fazendeiro:
Scalability of the plasma physics code GEM. - Anastasia Izmaylova, Paul Klint, Ashim Shahi, Jurgen J. Vinju:
M3: An Open Model for Measuring Code Artifacts. - Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. - Ulrich Bauer, Herbert Edelsbrunner:
The Morse theory of Čech and Delaunay filtrations. - Yangyang Xu, Ruru Hao, Wotao Yin, Zhixun Su:
Parallel matrix factorization for low-rank tensor completion. - Sandra Payette, Carl Lagoze:
Flexible and Extensible Digital Object and Repository Architecture (FEDORA). - Sandra Payette, Carl Lagoze:
Policy-Carrying, Policy-Enforcing Digital Objects. - Boris Mitavskiy, Jun He:
Design and Analysis of an Estimation of Distribution Approximation Algorithm for Single Machine Scheduling in Uncertain Environments. - Robert Kleinberg, Aleksandrs Slivkins, Eli Upfal:
Bandits and Experts in Metric Spaces. - Istiadi, Azhari:
An Ontology Model for Organizing Information Resources Sharing on Personal Web. - Pierre-Étienne Meunier:
The self-assembly of paths and squares at temperature 1. - Kaniska Mohanty, Mahesh K. Varanasi:
On the DoF Region of the K-user MISO Broadcast Channel with Hybrid CSIT. - Sariel Har-Peled:
Quasi-Polynomial Time Approximation Scheme for Sparse Subsets of Polygons. - Florin Coras, Jordi Domingo-Pascual, Darrel Lewis, Albert Cabellos-Aparicio:
An Analytical Model for Loc/ID Mappings Caches. - Tsvi Kopelowitz, Robert Krauthgamer, Ely Porat, Shay Solomon:
Orienting Fully Dynamic Graphs with Worst-Case Time Bounds. - Sandra Payette, Thornton Staples:
The Mellon Fedora Project: Digital Library Architecture Meets XML and Web Services. - Phillip Lee, Andrew Clark, Linda Bushnell, Radha Poovendran:
A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems. - Gordon D. Plotkin, Matija Pretnar:
Handling Algebraic Effects. - Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl:
Don't sit on the fence: A static analysis approach to automatic fence insertion. - Eugene d'Eon:
Rigorous asymptotic and moment-preserving diffusion approximations for generalized linear Boltzmann transport in d dimensions. - Mark A. Iwen, Felix Krahmer:
Fast Subspace Approximation via Greedy Least-Squares. - Mostafa Khoshnevisan, J. Nicholas Laneman:
Intermittent Communication. - Muhammad Marwan Muhammad Fuad:
ABC-SG: A New Artificial Bee Colony Algorithm-Based Distance of Sequential Data Using Sigma Grams. - Subodh Pudasaini, Seokjoo Shin:
Initial Ranging for Prioritized Network Entry in IEEE 802.16 Network. - Jie Xu, Rui Zhang:
Energy Beamforming with One-Bit Feedback. - Qing Yang, Soung Chang Liew:
Asynchronous Convolutional-Coded Physical-Layer Network Coding. - M. A. El-Dosuky, Magdi Zakria Rashad, T. T. Hamza, A. H. El-Bassiouny:
Food Recommendation using Ontology and Heuristics. - Liang Liu, Rui Zhang, Kee-Chaing Chua:
Multi-Antenna Wireless Powered Communication with Energy Beamforming. - Fabian Fagerholm, Jürgen Münch:
Developer Experience: Concept and Definition. - Brijender Kahanwal, Tejinder Pal Singh:
Towards the Framework of Information Security. - Sourav Pramanik, Debotosh Bhattacharjee:
Multi-Sensor Image Fusion Based on Moment Calculation. - Sourav Pramanik, Debotosh Bhattacharjee:
Geometric Feature Based Face-Sketch Recognition. - Fabian Schuh, Johannes B. Huber:
Low Complexity Decoding for Punctured Trellis-Coded Modulation Over Intersymbol Interference Channels. - Vitaliy Kurlin:
Persistent homotopy types of noisy images. - (Withdrawn) Approximating persistent homology for a cloud of $n$ points in a subquadratic time.
- Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
An adaptive block based integrated LDP, GLCM, and Morphological features for Face Recognition. - Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
A Gabor block based Kernel Discriminative Common Vector (KDCV) approach using cosine kernels for Human Face Recognition. - Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
A Face Recognition approach based on entropy estimate of the nonlinear DCT features in the Logarithm Domain together with Kernel Entropy Component Analysis. - Avi Averbuch, R. Hollander Shabtai, Yehuda Roditty:
Efficient construction of broadcast graphs. - Saeed Akhoondian Amiri, Ali Golshani, Stephan Kreutzer, Sebastian Siebertz:
Vertex Disjoint Path in Upward Planar Graphs. - M. Dokuchaev, Boris Novikov, Grygorii Zholtkevych:
Partial actions and automata. - Jan A. Bergstra, Cornelis A. Middelburg:
Instruction sequence expressions for the Karatsuba multiplication algorithm. - Nir Ailon:
Bandit Online Optimization Over the Permutahedron. - Tarek Hamrouni, Sadok Ben Yahia, Engelbert Mephu Nguifo:
Efficient construction of the lattice of frequent closed patterns and simultaneous extraction of generic bases of rules. - Antonis G. Gotsis, Angeliki Alexiou:
On Coordinating Ultra-Dense Wireless Access Networks: Optimization Modeling, Algorithms and Insights. - Harald Niederreiter, Chaoping Xing:
Sequences with high nonlinear complexity. - Tugcan Aktas, Ali Özgür Yilmaz, Emre Aktas:
Performance Analysis of Network Coded Systems Under Quasi-static Rayleigh Fading Channels. - Eugene Kharitonov, Craig Macdonald, Pavel Serdyukov, Iadh Ounis:
Intent Models for Contextualising and Diversifying Query Suggestions. - Manoj Rameshchandra Thakur, Divye Raj Khilnani, Kushagra Gupta, Sandeep Jain, Vineet Agarwal, Suneeta Sane, Sugata Sanyal, Prabhakar S. Dhekne:
Detection and prevention of botnets and malware in an enterprise network. - Magali Bardet, Jean-Charles Faugère, Bruno Salvy:
On the Complexity of the F5 Gröbner basis Algorithm. - Anais Vergne, Laurent Decreusefond, Philippe Martins:
Simplicial homology for future cellular networks. - Ronald de Haan, Stefan Szeider:
The Parameterized Complexity of Reasoning Problems Beyond NP. - Ming-Deh A. Huang, Anand Kumar Narayanan:
On the relation generation method of Joux for computing discrete logarithms. - Sourav Pramanik, Debotosh Bhattacharjee:
An Approach: Modality Reduction and Face-Sketch Recognition. - Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
Face Recognition using Hough Peaks extracted from the significant blocks of the Gradient Image. - Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
High Performance Human Face Recognition using Gabor based Pseudo Hidden Markov Model. - Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
Human Face Recognition using Gabor based Kernel Entropy Component Analysis. - Bruno Bauwens:
Upper semicomputable sumtests for lower semicomputable semimeasures. - Pat Bosshart, Dan Daly, Martin Izzard, Nick McKeown, Jennifer Rexford, Dan Talayco, Amin Vahdat, George Varghese, David Walker:
Programming Protocol-Independent Packet Processors. - Vitaliy Kurlin:
Book embeddings of Reeb graphs. - Quan Geng, Hieu T. Do:
On the Capacity Region of Broadcast Packet Erasure Relay Networks With Feedback. - Gerard Vidal, Murilo S. Baptista, Héctor Mancini:
A fast and light stream cipher for smartphones. - Jérôme Louradour, Christopher Kermorvant:
Curriculum Learning for Handwritten Text Line Recognition. - Jean Barbier, Florent Krzakala, Christophe Schülke:
Compressed sensing and Approximate Message Passing with spatially-coupled Fourier and Hadamard matrices. - Deva Ramanan:
Dual coordinate solvers for large-scale structural SVMs. - Muhammad Marwan Muhammad Fuad:
Particle Swarm Optimization of Information-Content Weighting of Symbolic Aggregate Approximation. - David J. Rosenbaum, Fabian Wagner:
Beating the Generator-Enumeration Bound for $p$-Group Isomorphism. - Yinghao Guo, Jie Xu, Lingjie Duan, Rui Zhang:
Joint Energy and Spectrum Cooperation for Cellular Communication Systems. - Muhammad Marwan Muhammad Fuad:
Towards Normalizing the Edit Distance Using a Genetic Algorithms Based Scheme. - Mohsen Ghaffari, Bernhard Haeupler:
Optimal Error Rates for Interactive Coding II: Efficiency and List Decoding. - Mohsen Ghaffari, Bernhard Haeupler, Madhu Sudan:
Optimal Error Rates for Interactive Coding I: Adaptivity and Other Settings. - Chengwen Xing, Shaodan Ma, Yiqing Zhou:
Matrix-Monotonic Optimization for MIMO Systems. - Hoon Hong, Xiaoxian Tang, Bican Xia:
Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems. - Kai Chen, Kai Niu, Jiaru Lin:
Space-Time Polar Coded Modulation. - Brijender Kahanwal, Tejinder Pal Singh, Ruchira Bhargava, Girish Pal Singh:
File System - A Component of Operating System. - Jan A. Bergstra, Cornelis A. Middelburg:
Long multiplication by instruction sequences with backward jump instructions. - Brijender Kahanwal, Tejinder Pal Singh:
Java File Security System (JFSS) Evaluation Using Software Engineering Approaches. - Stavros G. Kolliopoulos, Yannis Moysoglou:
Exponential lower bounds on the size of approximate formulations in the natural encoding for Capacitated Facility Location. - Brijender Kahanwal, Tejinder Pal Singh:
Towards the Framework of the File Systems Performance Evaluation Techniques and the Taxonomy of Replay Traces. - Sajid Musa, Rushan Ziatdinov, Carol Griffiths:
Introduction to computer animation and its possible educational applications. - Manindra Agrawal, Rohit Gurjar, Arpita Korwar, Nitin Saxena:
Hitting-sets for low-distance multilinear depth-3. - Youssef Mroueh, Lorenzo Rosasco:
Quantization and Greed are Good: One bit Phase Retrieval, Robustness and Greedy Refinements. - Deeparnab Chakrabarty, Chaitanya Swamy:
Welfare Maximization and Truthfulness in Mechanism Design with Ordinal Preferences. - David Eigen, Jason Tyler Rolfe, Rob Fergus, Yann LeCun:
Understanding Deep Architectures using a Recursive Convolutional Network. - Dominic Wilson, Devinder Kaur:
A New Schema and Landscape for Programs: The Santa Fe Ant Case Study. - Olfa Arfaoui, Minyar Sassi Hidri:
Flexible queries in XML native databases. - Jingon Joung, Yeow-Khiang Chia, Sumei Sun:
Energy-Efficient, Large-scale Distributed-Antenna System (L-DAS) for Multiple Users. - Isaac Z. Pesenson:
Shannon Sampling and Parseval Frames on Compact Manifolds. - Julio Lemos:
Constraints on the search space of argumentation. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu, N. S. S. S. N. Usha Devi:
FELFCNCA: Fast & Efficient Log File Compression Using Non Linear Cellular Automata Classifier. - Toni Grütze, Gjergji Kasneci, Zhe Zuo, Felix Naumann:
Bootstrapped Grouping of Results to Ambiguous Person Name Queries. - Hideaki Ishii, Roberto Tempo:
The PageRank Problem, Multi-Agent Consensus and Web Aggregation - A Systems and Control Viewpoint. - Qi Wang, Joseph F. JáJá:
From Maxout to Channel-Out: Encoding Information on Sparse Pathways. - Robin Aly, Maria Eskevich, Roeland Ordelman, Gareth J. F. Jones:
Adapting Binary Information Retrieval Evaluation Metrics for Segment-based Retrieval Tasks. - Alejandro Cornejo, Radhika Nagpal:
Long-Lived Distributed Relative Localization of Robot Swarms. - Silas L. Fong, Raymond W. Yeung:
Cut-Set Bounds for Generalized Networks. - Carlos Ameixieira, André Cardote, Filipe Neves, Rui Meireles, Susana Sargento, Luís Coelho, João Afonso, Bruno Areias, Eduardo Mota, Rui A. Costa, Ricardo Matos, João Barros:
HarborNet: A Real-World Testbed for Vehicular Networks. - Liheng Bian, Jin-Li Suo, Feng Chen, Qionghai Dai:
Denoising High Speed Optical Coherence Tomography Data Using Inter-frame and Intra-frame Priors. - Mark Braverman, Jing Chen, Sampath Kannan:
Optimal Provision-After-Wait in Healthcare. - Wei Bao, Ben Liang:
Uplink Interference Analysis for Two-tier Cellular Networks with Diverse Users under Random Spatial Patterns. - Marc Bui, Franck Butelle, Christian Lavault:
A Distributed Algorithm for Constructing a Minimum Diameter Spanning Tree. - Jordi M. Cortes, Sarwat Nizamani, Nasrullah Memon:
PSN: Portfolio Social Network. - Sarwat Nizamani, Nasrullah Memon, Uffe Kock Wiil, Panagiotis Karampelas:
Modeling Suspicious Email Detection using Enhanced Feature Selection. - Lorenzo Maggi, Francesco De Pellegrini:
Not Always Sparse: Flooding Time in Partially Connected Mobile Ad Hoc Networks. - Adi Livnat, Christos H. Papadimitriou, Aviad Rubinstein, Andrew Wan:
Satisfiability and Evolution. - Christina E. Lee, Asuman E. Ozdaglar, Devavrat Shah:
Computing the Stationary Distribution Locally. - Lars Arge, Mikkel Thorup:
RAM-Efficient External Memory Sorting. - Hui Zhou, Donglin Hu, Saketh Anuma Reddy, Shiwen Mao, Prathima Agrawal:
On Cell Association and Scheduling Policies in Femtocell Networks. - Daphney-Stavroula Zois, Marco Levorato, Urbashi Mitra:
Active Classification for POMDPs: a Kalman-like State Estimator. - Ansuman Adhikary, Ebrahim Al Safadi, Mathew Samimi, Rui Wang, Giuseppe Caire, Theodore S. Rappaport, Andreas F. Molisch:
Joint Spatial Division and Multiplexing for mm-Wave Channels. - Taher Mekki, Slim Triki, Anas Kamoun:
Diagnosis of Switching Systems using Hybrid Bond Graph. - Brian P. Hanley:
The False Premises and Promises of Bitcoin. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
Power-Aware Hybrid Intrusion Detection System (PHIDS) using Cellular Automata in Wireless AdHoc Networks. - Henrik Ohlsson, Lillian J. Ratliff, Roy Dong, S. Shankar Sastry:
Blind Identification via Lifting. - Krishna A. N, B. G. Prasad:
Region and Location Based Indexing and Retrieval of MR-T2 Brain Tumor Images. - Debajit Sensarma, Koushik Majumder:
A Novel Hierarchical Ant based QoS aware Intelligent Routing Scheme for MANETS. - Amir Ingber, Tsachy Weissman:
The Minimal Compression Rate for Similarity Identification. - S. Hanumanth Sastry, M. S. Prasada Babu:
Implementation of CRISP Methodology for ERP Systems. - Ali Azimi, Azar Kaffashpour:
Applying the Apriori algorithm for investigating the relationships between demographic characteristics of Iranian top 100 enterprises and the strcture of their commercial website. - Ranjan Kumar, G. Sahoo:
Load Balancing using Ant Colony in Cloud Computing. - Raman Beena, Subramani Sarala:
Code Coverage Based Test Case Selection and Prioritization. - Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo:
Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3. - Nicholas H. Kirk:
Towards Structural Natural Language Formalization: Mapping Discourse to Controlled Natural Language. - Songyang Wang, Ruyi Ma:
Name: A Naming Mechanism for Delay/Disruption-Tolerant Network. - Rui Guo, Hongzhi Wang, Mengwen Chen, Jianzhong Li, Hong Gao:
Parallelization in Extracting Fresh Information from Online Social Network. - Rui Guo, Hongzhi Wang, Lucheng Zhong, Jianzhong Li, Hong Gao:
Harbinger: An Analyzing and Predicting System for Online Social Network Users' Behavior. - Geetanjali Chellani, Anshuman Kalla:
A Review: Study of Handover Performance in Mobile IP. - Djamel Benmerzoug, Salim Djaaboub, Hani Mahmoudi:
Engineering Cooperative JADE Agents with the AMCIS Methodology: The Transportation Management Case Study. - Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry, Sanjit A. Seshia:
Robust Subspace System Identification via Weighted Nuclear Norm Optimization. - Karthikeyan Shanmugam, Dimitris S. Papailiopoulos, Alexandros G. Dimakis, Giuseppe Caire:
A Repair Framework for Scalar MDS Codes. - Dimitri Palaz, Ronan Collobert, Mathew Magimai-Doss:
End-to-end Phoneme Sequence Recognition using Convolutional Neural Networks. - Peyman Mohammadi, Abdolreza Hatamlou, Mohammad Masdari:
A Comparative Study on Remote Tracking of Parkinsons Disease Progression Using Data Mining Methods. - Jenish C. Mehta:
Dynamic Complexity of Planar 3-connected Graph Isomorphism. - Ryan O'Donnell, Xiaorui Sun, Li-Yang Tan, John Wright, Yu Zhao:
A composition theorem for parity kill number. - Tomoki Kobayashi, Koji Eguchi:
Sequential Monte Carlo Inference of Mixed Membership Stochastic Blockmodels for Dynamic Social Networks. - Christopher G. Brinton, Mung Chiang, Shaili Jain, Henry Lam, Zhenming Liu, Felix Ming Fai Wong:
Learning about social learning in MOOCs: From statistical analysis to generative model. - Farzad Farnoud, Olgica Milenkovic:
Multipermutation Codes in the Ulam Metric for Nonvolatile Memories. - Nan Du, Yingyu Liang, Maria-Florina Balcan, Le Song:
Continuous-Time Influence Maximization for Multiple Items. - Ahmad Abu Al Haija, Mai Vu:
Spectral Efficiency and Outage Performance for Device-to-Device Cooperation in Uplink Cellular Communication. - Norman Huang, Allan Borodin:
Bounds on Double-Sided Myopic Algorithms for Unconstrained Non-monotone Submodular Maximization. - (Withdrawn) Ant Colony based Routing for Mobile Ad-Hoc Networks towards Improved Quality of Services.
- Mahdi Zamani:
Machine Learning Techniques for Intrusion Detection. - R. V. Mayer:
Solve of problems of mathematical theory of learning with using computer modeling methods. - Jiang Zhu, Xiaohan Wang, Yuantao Gu:
Maximum Likelihood Estimation from Sign Measurements with Sensing Matrix Perturbation. - Abhijeet Khopkar, Sathish Govindarajan:
Geometric graphs on convex point sets. - Fotis Foukalas, George T. Karetsos, Periklis Chatzimisios:
Cross-layer Design of CSMA/CA with Spectrum Sensing for Cognitive Radio Networks. - Natan Rubin:
On Kinetic Delaunay Triangulations: A Near Quadratic Bound for Unit Speed Motions. - Kai Nie, Man Yu:
Research on fresh agriculture product based on overconfidence of the retailer under options and spot markets dominated. - (Withdrawn) A Cache Energy Optimization Technique for STT-RAM Last Level Cache.
- Yong Tan:
Construct Graph Logic. - Philip K. F. Hölzenspies:
Proceedings Second Workshop on Trends in Functional Programming In Education, TFPIE 2013, Provo, Utah, USA, 13th May 2013. EPTCS 136, 2013 [contents] - Szymon Grabowski:
New tabulation and sparse dynamic programming based techniques for sequence similarity problems. - Nobuko Yoshida, Wim Vanderbauwhede:
Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013. EPTCS 137, 2013 [contents] - Philipp Walk, Peter Jung:
A Stability Result for Sparse Convolutions. - Amor Lazzez:
VoIP Technology: Security Issues Analysis. - Mikhail V. Berlinkov:
On two Algorithmic Problems about Synchronizing Automata. - Domenico Ciuonzo, Pierluigi Salvo Rossi:
Decision Fusion with Unknown Sensor Detection Probability. - Rajet Krishnan, Giulio Colavolpe, Alexandre Graell i Amat, Thomas Eriksson:
Algorithms for Joint Phase Estimation and Decoding for MIMO Systems in the Presence of Phase Noise. - Mustafa H. Hajeer, Alka Singh, Dipankar Dasgupta, Sugata Sanyal:
Clustering online social network communities using genetic algorithms. - Mohammad Noormohammadpour, Mohammad Javad Salehi, Seyed Mohammad Asghari Pari, Babak Hossein Khalaj, Hamidreza Bagheri, Marcos D. Katz:
ABMQ: An Agent-Based Modeler and Simulator for Self-Organization in MANETs using Qt. - N. Mavridis, Stasinos Konstantopoulos, Ioannis A. Vetsikas, Ilona Heldal, Pythagoras Karampiperis, G. Mathiason, Serge Thill, Kostas Stathis, Vangelis Karkaletsis:
CLIC: A Framework for Distributed, On-Demand, Human-Machine Cognitive Systems. - Virginia Maria Araujo, José Ayude Vazquez:
Business and technical requirements of Software-as-a-Service: Implications in portuguese enterprise business context. - Tao Wang:
Time-dependent Hierarchical Dirichlet Model for Timeline Generation. - Neki Frasheri:
E-Governance, International Cooperation and Security - New Millennium Challenges for a Small Country. - Dumitru Erhan, Christian Szegedy, Alexander Toshev, Dragomir Anguelov:
Scalable Object Detection using Deep Neural Networks. - Tianxian Zhang, Xiang-Gen Xia, Lingjiang Kong:
IRCI Free Range Reconstruction for SAR Imaging with Arbitrary Length OFDM Pulse. - Ugur Küçük, A. C. Cem Say, Abuzer Yakaryilmaz:
Finite automata with advice tapes. - Jun Geng, Weiyu Xu, Lifeng Lai:
Quickest Search over Multiple Sequences with Mixed Observation. - Nicole Immorlica, Gregory Stoddard, Vasilis Syrgkanis:
Social Status and Badge Design. - Rajendra Patel, Arvind Rajawat:
Dominant block guided optimal cache size estimation to maximize IPC of embedded software. - Mohammad Naghshvar, Tara Javidi, Kamalika Chaudhuri:
Noisy Bayesian Active Learning. - Ansgar Lamersdorf, Jürgen Münch, Alicia Fernández del Viso Torre, Carlos Rebate Sánchez:
A Risk-driven Model for Work Allocation in Global Software Development Projects. - A. Meiappane, V. Prasanna Venkatesan, S. Selva Murugan, A. Arun, A. Ramachandran:
Architectural Pattern of Health Care System Using GSM Networks. - A. Meiappane, V. Prasanna Venkatesan, V. Jegatheeswari, B. Kalpana, U. Sarumathy:
Pattern Based Adaptive Architecture for Internet Banking. - A. Meiappane, J. Prabavadhi, V. Prasanna Venkatesan:
Strategy pattern: payment pattern for Internet banking. - James Elliott, Mark Hoemmen, Frank Mueller:
Exploiting Data Representation for Fault Tolerance. - Matija Pretnar:
Inferring Algebraic Effects. - Pin-Hsun Lin, Gabriel Porto Villardi, Zhou Lan, Hiroshi Harada:
Practical Design for Multiple-Antenna Cognitive Radio Networks with Coexistence Constraint. - A. Meiappane, V. Prasanna Venkatesan, J. Prabavadhi:
Visitor Pattern: Implementation of Enquiry Pattern for Internet Banking. - A. Meiappane, B. Chithra, V. Prasanna Venkataesan:
Evaluation of Software Architecture Quality Attribute for an Internet Banking System. - A. Meiappane, V. Prasanna Venkataesan:
Request and notification Pattern for an internet banking System. - Davide Martinenghi:
On the difference between checking integrity constraints before or after updates. - Davide Martinenghi:
On the dependency on the size of the data when chasing under conceptual dependencies. - Shenglong Zhou, Naihua Xiu, Yingnan Wang, Lingchen Kong:
Exact Recovery for Sparse Signal via Weighted l_1 Minimization. - Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering. - Ramachandra Rao Kurada, K. Karteeka Pavan, A. V. Dattatreya Rao:
A preliminary survey on optimized multiobjective metaheuristic methods for data clustering using evolutionary approaches. - Tali Kaufman, Alexander Lubotzky:
High Dimensional Expanders and Property Testing. - George Christodoulou, Annamária Kovács, Alkmini Sgouritsa, Bo Tang:
Tight Bounds for the Price of Anarchy of Simultaneous First Price Auctions. - Ramachandra Rao Kurada, K. Karteeka Pavan:
Novel text categorization by amalgamation of augmented k-nearest neighborhood classification and k-medoids clustering. - Ramachandra Rao Kurada:
Unsupervised classification of uncertain data objects in spatial databases using computational geometry and indexing techniques. - Maxime Crochemore, Costas S. Iliopoulos, Tomasz Kociumaka, Marcin Kubica, Alessio Langiu, Jakub Radoszewski, Wojciech Rytter, Bartosz Szreder, Tomasz Walen:
A Note on the Longest Common Compatible Prefix Problem for Partial Words. - Griffith Selorm Klogo, Akpeko Gasonoo, Isaac K. E. Ampomah:
On the Performance of Filters for Reduction of Speckle Noise in SAR Images off the Coast of the Gulf of Guinea. - Mourine Achieng, Ephias Ruhode:
The adoption and challenges of electronic voting technologies within the South African context. - Mark Burgin, Gordana Dodig-Crnkovic:
Typologies of Computation and Computational Models. - Sarwat Nizamani, Nasrullah Memon:
CEAI: CCM based Email Authorship Identification Model. - Mike E. Davies, Gilles Puy, Pierre Vandergheynst, Yves Wiaux:
Compressed Quantitative MRI: Bloch Response Recovery through Iterated Projection. - Tiago Simas, Luis M. Rocha:
Distance Closures on Complex Networks. - Mike E. Davies, Gilles Puy, Pierre Vandergheynst, Yves Wiaux:
A Compressed Sensing Framework for Magnetic Resonance Fingerprinting. - Brett Kaufman, Jorma Lilleberg, Behnaam Aazhang:
An Analog Baseband Approach for Designing Full-Duplex Radios. - Jesse Berwald, Marian Gidea, Mikael Vejdemo-Johansson:
Automatic recognition and tagging of topologically different regimes in dynamical systems. - Thomas Holenstein, Robin Künzler:
A Protocol for Generating Random Elements with their Probabilities. - Thomas Holenstein, Robin Künzler:
A New View on Worst-Case to Average-Case Reductions for NP Problems. - Martin Wimmer, Daniel Cederman, Francesco Versaci, Jesper Larsson Träff, Philippas Tsigas:
Data Structures for Task-based Priority Scheduling. - Matthias Mnich, Tobias Mömke:
Improved integrality gap upper bounds for TSP with distances one and two. - Daniela Inclezan:
An Application of Answer Set Programming to the Field of Second Language Acquisition. - Vaibhav Kumar Mehta, Filippo Arrichiello:
Connectivity maintenance by robotic Mobile Ad-hoc NETwork. - Trevor Owens:
Mr. Moo's First RPG: Rules, Discussion and the Instructional Implications of Collective Intelligence on the Open Web. - Subhash C. Kak:
A Key Set Cipher for Wireless Sensor Networks. - Guilherme Luiz Moritz, João Luiz Rebelatto, Richard Demo Souza, Bartolomeu F. Uchôa Filho, Yonghui Li:
Time-Switching Uplink Network-Coded Cooperative Communication with Downlink Energy Transfer. - Adrian Dumitrescu, Minghui Jiang:
On the approximability of covering points by lines and related problems. - (Withdrawn) A state vector algebra for algorithmic implementation of second-order logic.
- Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Abstract Interpretation of Temporal Concurrent Constraint Programs. - Sidi Mohamed Sedjelmaci, Christian Lavault:
A New Modular Division Algorithm and Applications. - Yuxin Chen, Andrea J. Goldsmith, Yonina C. Eldar:
Backing off from Infinity: Tight Performance Bounds for Large Random Vector Channels. - Cong Li, Michael Georgiopoulos, Georgios C. Anagnostopoulos:
Output-Space Distance Metric Learning for k-NN Classification. - Amor Lazzez, Thabet Slimani:
Deployment of VoIP Technology: QoS Concerns. - Kerimbayev Nurassyl, Aliya Akramova, Suleimenova Jarkynbike:
E-learning for ungraded schools of Kazakhstan: experience, implementation, and innovation. - Lina Ramirez, Ian Dobson:
Monitoring voltage collapse margin by measuring the area voltage across several transmission lines with synchrophasors. - Cong Li, Michael Georgiopoulos, Georgios C. Anagnostopoulos:
Multi-Task Classification Hypothesis Space with Improved Generalization Bounds. - Jianming Liu, Steven L. Grant:
A New Variable Step-size Zero-point Attracting Projection Algorithm. - Carlton A. Thompson, Haniph A. Latchman, Nathan Angelacos, Bharath Kumar Pareek:
A Distributed IP-Based Telecommunication System using SIP. - Ibrahim Umar, Otto J. Anshus, Phuong Hoai Ha:
DeltaTree: A Practical Locality-aware Concurrent Search Tree. - Yongcai Wang, Haoran Feng, Xiangyu Xi:
Sense, Model and Identify the Load Signatures of HVAC Systems in Metro Stations. - Yongcai Wang, Haoran Feng, Xiao Qi:
SEED: Public Energy and Environment Dataset for Optimizing HVAC Operation in Subway Stations. - Mingyue Ji, Giuseppe Caire, Andreas F. Molisch:
The Throughput-Outage Tradeoff of Wireless One-Hop Caching Networks. - Pokkuluri Kiran Sree, G. V. S. Raju, S. Viswanadha Raju, N. S. S. S. N. Usha Devi:
Cellular Automata based Feedback Mechanism in Strengthening biological Sequence Analysis Approach to Robotic Soccer. - Akira Otsuki, Masayoshi Kawamura:
The Study about the Analysis of Responsiveness Pair Clustering to Social Network Bipartite Graph. - Sidhant Misra, Michael W. Fisher, Scott Backhaus, Russell Bent, Michael Chertkov, Feng Pan:
Optimal compression in natural gas networks: a geometric programming approach. - R. H. Vishwanath, T. V. Samartha, K. C. Srikantaiah, K. R. Venugopal, Lalit M. Patnaik:
DRSP : Dimension Reduction For Similarity Matching And Pruning Of Time Series Data Streams. - Austin R. Benson, Sven Schmit, Robert Schreiber:
Silent error detection in numerical time-stepping schemes. - S. Hanumanth Sastry, M. S. Prasada Babu:
Analysis & Prediction of Sales Data in SAP-ERP System using Clustering Algorithms. - Gokul Sridharan, Wei Yu:
Degrees of Freedom of MIMO Cellular Networks: Decomposition and Linear Beamforming Design. - Xiaoshi Song, Changchuan Yin, Danpu Liu, Rui Zhang:
Spatial Throughput Characterization in Cognitive Radio Networks with Threshold-Based Opportunistic Spectrum Access. - James L. Caldwell:
Structural Induction Principles for Functional Programmers. 16-26 - Luca Padovani:
From Lock Freedom to Progress Using Session Types. 3-19 - Cinzia Di Giusto, Jorge A. Pérez:
Session Types with Runtime Adaptation: Overview and Examples. 21-32 - Yoichi Hirai:
Session Types in Abelian Logic. 33-52 - Laura Bocchi, Romain Demangeon:
Embedding Session Types in HML. 53-62 - Tarmo Uustalu:
Coinductive Big-Step Semantics for Concurrency. 63-78 - Ashkan Tousimojarad, Wim Vanderbauwhede:
The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition. 79-94 - Rumyana Neykova:
Session Types Go Dynamic or How to Verify Your Python Conversations. 95-102 - Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins:
Towards deductive verification of MPI programs against session types. 103-113 - Romain Demeyer, Wim Vanhoof:
Static Application-Level Race Detection in STM Haskell using Contracts. 115-134 - Simon Dobson, Alan Dearle, Barry Porter:
Minimising virtual machine support for concurrency. 135-141 - Anugrah Kumar, Sanjiban Sekhar Roy, Sarvesh S. S. Rawat, Sanklan Saxena:
Phishing Detection by determining reliability factor using rough set theory. - Sarvesh S. S. Rawat, Dheeraj Dilip Mor, Anugrah Kumar, Sanjiban Sekhar Roy, Rohit Kumar:
Improving circuit miniaturization and its efficiency using Rough Set Theory. - Aurélie Lagoutte, Théophile Trunck:
Clique-Stable Set separation in perfect graphs with no balanced skew-partitions. - Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu:
Shortest Unique Substring Query Revisited. - Srishti Gupta, Ponnurangam Kumaraguru:
OCEAN: Open-source Collation of eGovernment data And Networks - Understanding Privacy Leaks in Open Government Data. - Mathis Seidl, Johannes B. Huber:
An efficient length- and rate-preserving concatenation of polar and repetition codes. - Doreswamy, Chanabasayya M. Vastrad:
Performance Analysis Of Regularized Linear Regression Models For Oxazolines And Oxazoles Derivitive Descriptor Dataset. - Daniel Torres-Salinas, Nicolás Robinson-García, Juan Miguel Campanario, Emilio Delgado López-Cózar:
Coverage, field specialization and impact of scientific publishers indexed in the 'Book Citation Index'. - Simon Arberet, Pierre Vandergheynst:
Reverberant Audio Source Separation via Sparse and Low-Rank Modeling. - Shao Fen Liang, Donia Scott, Robert Stevens, Alan L. Rector:
OntoVerbal: a Generic Tool and Practical Application to SNOMED CT. - Simon Parkinson, Andrew Crampton:
A Novel Software Tool for Analysing NT File System Permissions. - Susumu Matsumae, Fukuhito Ooshita:
Hierarchical Low Power Consumption Technique with Location Information for Sensor Networks. - Susumu Matsumae:
Polylogarithmic Gap between Meshes with Reconfigurable Row/Column Buses and Meshes with Statically Partitioned Buses. - Abhishek Kumar Singh, Aditi Sharma, Rahul Mishra:
Personalized real time weather forecasting. - Susumu Matsumae:
Energy-Efficient Cell Partition of 3D Space for Sensor Networks with Location Information. - Jan van den Heuvel:
The Complexity of Change. - Jean Cardinal, Stefan Felsner:
Covering Partial Cubes with Zones. - Konstantinos Charalampous, Ioannis Kostavelis, Dimitrios Chrysostomou, Angelos Amanatiadis, Antonios Gasteratos:
3D Maps Registration and Path Planning for Autonomous Robot Navigation. - Pardis Pourghomi, Muhammad Qasim Saeed, Gheorghita Ghinea:
A Proposed NFC Payment Application. - Doreswamy, Chanabasayya M. Vastrad:
Predictive Comparative QSAR Analysis Of As 5-Nitofuran-2-YL Derivatives Myco bacterium tuberculosis H37RV Inhibitors Bacterium Tuberculosis H37RV Inhibitors. - Norbert Rimoux, Patrice Descourt:
mARC: Memory by Association and Reinforcement of Contexts. - Doreswamy, Chanabasayya M. Vastrad:
Performance Analysis Of Neural Network Models For Oxazolines And Oxazoles Derivatives Descriptor Dataset. - Doreswamy, Chanabasayya M. Vastrad:
A Robust Missing Value Imputation Method MifImpute For Incomplete Molecular Descriptor Data And Comparative Analysis With Other Missing Value Imputation Methods. - Doreswamy, Chanabasayya M. Vastrad:
Identification Of Outliers In Oxazolines AND Oxazoles High Dimension Molecular Descriptor Dataset Using Principal Component Outlier Detection Algorithm And Comparative Numerical Study Of Other Robust Estimators. - Vitali Volovoi:
Abridged Petri Nets. - Doreswamy, Chanabasayya M. Vastrad:
Study Of E-Smooth Support Vector Regression And Comparison With E- Support Vector Regression And Potential Support Vector Machines For Prediction For The Antitubercular Activity Of Oxazolines And Oxazoles Derivatives. - Victoriano Valencia García, Eugenio J. Fernández Vicente, Luis Usero Aragonés:
Maturity Model for IT Service Outsourcing in Higher Education Institutions. - Ioannis Z. Emiris, Vissarion Fisikopoulos:
Efficient Random-Walk Methods for Approximating Polytope Volume. - Mohammad H. Alomari, Aya Samaha, Khaled AlKamha:
Automated Classification of L/R Hand Movement EEG Signals using Advanced Feature Extraction and Machine Learning. - Muhammad Usman Sheikh, Jukka Lempiäinen:
Advanced Antenna Techniques and High Order Sectorization with Novel Network Tessellation for Enhancing Macro Cell Capacity in DC-HSDPA Network. - Julien Baste, Ignasi Sau:
The role of planarity in connectivity problems parameterized by treewidth. - Marta Cialdea Mayer:
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version). - Rishi Saket:
Hardness of Finding Independent Sets in 2-Colorable Hypergraphs and of Satisfiable CSPs. - Daniel Zinn, Todd J. Green, Bertram Ludäscher:
Win-Move is Coordination-Free (Sometimes). - Julian Togelius, Noor Shaker, Georgios N. Yannakakis:
Active Player Modelling. - Rajendra Patel, Arvind Rajawat:
A Survey of Embedded Software Profiling Methodologies. - Ahmed Ben Achballah, Slim Ben Saoud:
A Survey of Network-On-Chip Tools. - S. Hossein Seyedmehdi, Gary Boudreau:
An Efficient Clustering Algorithm for Device-to-Device Assisted Virtual MIMO. - Atena Darvishi, Ian Dobson:
Synchrophasor monitoring of single line outages via area angle and susceptance. - Konrad Kulakowski:
Notes on discrepancy in the pairwise comparisons method. - Foto N. Afrati, Dimitris Fotakis, Angelos Vasilakopoulos:
Efficient Lineage for SUM Aggregate Queries. - Dan C. Marinescu, Ashkan Paya, John P. Morrison, Philip D. Healy:
An Auction-driven Self-organizing Cloud Delivery Model. - Andrew Wan, John Wright, Chenggang Wu:
Decision Trees, Protocols, and the Fourier Entropy-Influence Conjecture. - Ciprian Chelba, Tomás Mikolov, Mike Schuster, Qi Ge, Thorsten Brants, Phillipp Koehn:
One Billion Word Benchmark for Measuring Progress in Statistical Language Modeling. - Abdullah Gharaibeh, Elizeu Santos-Neto, Lauro Beltrão Costa, Matei Ripeanu:
Efficient Large-Scale Graph Processing on Hybrid CPU and GPU Systems. - Huasha Zhao, John F. Canny:
Sparse Allreduce: Efficient Scalable Communication for Power-Law Data. - Venkatesan Guruswami, Ali Kemal Sinop:
Rounding Lasserre SDPs using column selection and spectrum-based approximation schemes for graph partitioning and Quadratic IPs. - Michael M. Bronstein, Klaus Glashoff:
Heat kernel coupling for multiple graph analysis. - Fan Zhang, Vincent K. N. Lau:
Cross-Layer MIMO Transceiver Optimization for Multimedia Streaming in Interference Networks. - Ansgar Lamersdorf, Jürgen Münch, H. Dieter Rombach:
A Decision Model for Supporting Task Allocation Processes in Global Software Development. - Pham Luu Trung Duong, Moonyong Lee:
Deterministic and stochastic analysis of distributed order systems using operational matrix. - Istiadi, Emma Budi Sulistiarini:
Representing Knowledge Base into Database for WAP and Web-based Expert System. - Jingdong Wang, Jing Wang, Qifa Ke, Gang Zeng, Shipeng Li:
Fast Approximate $K$-Means via Cluster Closures. - Jingdong Wang, Jing Wang, Gang Zeng, Rui Gan, Shipeng Li, Baining Guo:
Fast Neighborhood Graph Search using Cartesian Concatenation. - Marcin Kozak, Lutz Bornmann, Loet Leydesdorff:
How have the Eastern European countries of the former Warsaw Pact developed since 1990? A bibliometric study. - Christian Häger, Lotfollah Beygi, Erik Agrell, Pontus Johannisson, Magnus Karlsson, Alexandre Graell i Amat:
A Low-Complexity Detector for Memoryless Polarization-Multiplexed Fiber-Optical Channels. - R. V. Mayer:
Various models of process of the learning, based on the numerical solution of the differential equations. - Michael Lunglmayr, Christoph Unterrieder, Mario Huemer:
Approximate Least Squares. - João Pedro Couto, Teresa Tiago, Flavio Tiago:
An analysis of Internet Banking in Portugal: the antecedents of mobile banking adoption. - Stefan Rass:
Blind Turing-Machines: Arbitrary Private Computations from Group Homomorphic Encryption. - Bruno Mery, Christian Retoré:
Semantic Types, Lexical Sorts and Classifiers. - R. Ram Kumar, Kannan Balakrishnan, Manoj Changat, A. Sreekumar, Prasanth G. Narasimha-Shenoi:
On The Center Sets and Center Numbers of Some Graph Classes. - Adedayo M. Balogun, Shao Ying Zhu:
Privacy Impacts of Data Encryption on the Efficiency of Digital Forensics Technology. - Matthias Keil, Peter Thiemann:
Efficient Dynamic Access Analysis Using JavaScript Proxies. - Victor Alvarez, Karl Bringmann, Saurabh Ray:
A Simple Sweep Line Algorithm for Counting Triangulations and Pseudo-triangulations. - Eric Miles:
Iterated group products and leakage resilience against NC^1. - Natalia Silberstein, Ankit Singh Rawat, Sriram Vishwanath:
Error-Correcting Regenerating and Locally Repairable Codes via Rank-Metric Codes. - Mahtab Mirmohseni, Panagiotis Papadimitratos:
Scaling Laws for Secrecy Capacity in Cooperative Wireless Networks. - Rahele Kafieh, Hossein Rabbani, Fedra Hajizadeh, Michael D. Abràmoff, Milan Sonka:
Thickness Mapping of Eleven Retinal Layers in Normal Eyes Using Spectral Domain Optical Coherence Tomography. - Mahtab Mirmohseni, Panagiotis Papadimitratos:
Constrained Colluding Eavesdroppers: An Information-Theoretic Model. - Akram Aldroubi, Jacqueline Davis, Ilya A. Krishtal:
Exact Reconstruction of Spatially Undersampled Signals in Evolutionary Systems. - Serge Abiteboul:
Les connaissances de la toile. - Attila Pásztor, Róbert Pap-Szigeti, Erika Lakatos Török:
Mobile Robots in Teaching Programming for IT Engineers and its Effects. - Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek:
How to deal with malleability of BitCoin transactions. - Alexander Vezhnevets, Vittorio Ferrari:
Associative embeddings for large-scale knowledge transfer with self-assessment. - Hien Thi Thu Truong, Eemil Lagerspetz, Petteri Nurmi, Adam J. Oliner, Sasu Tarkoma, N. Asokan, Sourav Bhattacharya:
The Company You Keep: Mobile Malware Infection Rates and Inexpensive Risk Indicators. - Antoine Amarilli, Yael Amsterdamer, Tova Milo:
On the Complexity of Mining Itemsets from the Crowd Using Taxonomies. - Nayan Jyoti Kalita, Navanath Saharia, Smriti Kumar Sinha:
Towards The Development of a Bishnupriya Manipuri Corpus. - Henda Chorfi Ouertani:
Implicit Sensitive Text Summarization based on Data Conveyed by Connectives. - Hailong Shi, Hao Zhang, Xiqin Wang:
A Stable Embedding Phenomenon of Signals on the Grassmann Manifold from Compressive Measurements. - Jie Chen, Gang Wang, Jian Sun, Yongjian Cai:
Kalman Filtering Under Innovation-Based Power Scheduling and Data Packet Drops. - Antonio J. Durán, Mario Pérez, Juan Luis Varona:
Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust? - Chayan Sarkar, Vijay S. Rao, R. Venkatesha Prasad:
No-Sense: Sense with Dormant Sensors. - Nathalie Revol, Philippe Théveny:
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. - Franck Butelle, Christian Lavault, Marc Bui:
A Uniform Self-Stabilizing Minimum Diameter Spanning Tree Algorithm. - Alexandre J. Pierrot, Remi A. Chou, Matthieu R. Bloch:
Practical Limitations of Secret-Key Generation in Narrowband Wireless Environments. - Peruvemba Sundaram Ravi, Levent Tunçel, Michael Huang:
Worst-Case Performance Analysis of Some Approximation Algorithms for Minimizing Makespan and Flow-Time. - Mohamed Naimi, Ousmane Thiare:
A Distributed Deadlock Free Quorum Based Algorithm for Mutual Exclusion. - Dmitri V. Truhachev, David G. M. Mitchell, Michael Lentmaier, Daniel J. Costello Jr.:
New Codes on Graphs Constructed by Connecting Spatially Coupled Chains. - Giorgi Japaridze:
On resources and tasks. - Yong Hsia, Ruey-Lin Sheu:
On RIC bounds of Compressed Sensing Matrices for Approximating Sparse Solutions Using ℓq Quasi Norms. - Randal S. Olson, Zachary P. Neal:
Navigating the massive world of reddit: Using backbone networks to map user interests in social media. - Tianlin Shi, Jun Zhu:
Online Bayesian Passive-Aggressive Learning. - Yun Fan, San Ling, Hongwei Liu:
Matrix Product Codes over Finite Commutative Frobenius Rings. - Masrour Zoghi, Shimon Whiteson, Rémi Munos, Maarten de Rijke:
Relative Upper Confidence Bound for the K-Armed Dueling Bandit Problem. - Daniel Zwillinger:
Voting Power of Teams Working Together. - Shahab Kaynama, Ian M. Mitchell, Meeko Oishi, Guy Albert Dumont:
Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. - Olivier Finkel:
The Determinacy of Context-Free Games. - Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking: Extended Version. - Wasim Huleihel, Neri Merhav:
Asymptotic MMSE Analysis Under Sparse Representation Modeling. - Wenhui Liu, Da Gong, Zhiqiang Xu:
One-Bit Compressed Sensing by Greedy Algorithms. - Xinyu Lei, Xiaofeng Liao, Yonghong Xiong:
Group Key Agreement Protocol for MANETs Based on HSK Scheme. - Travis Gagie, Giovanni Manzini, Daniel Valenzuela:
Compressed Spaced Suffix Arrays. - Kishore Reddy Konda, Roland Memisevic:
Unsupervised learning of depth and motion. - Prachi Jain, Ponnurangam Kumaraguru:
Call Me MayBe: Understanding Nature and Risks of Sharing Mobile Numbers on Online Social Networks. - Pradip Debnath:
Some results of domination and total domination in the direct product of two fuzzy graphs. - Shuhao Liu, Hong Xu, Zhiping Cai:
Low Latency Datacenter Networking: A Short Survey. - Dimitris Bertsimas, Ebrahim Nasrabadi, James B. Orlin:
On the power of randomization in network interdiction. - Warren Smith, Shava Smallen:
Building An Information System for a Distributed Testbed. - Nikolai Dokuchaev:
Transmission of a continuous signal via one-bit capacity channel. - Weizhi Lu, Weiyu Li, Kidiyo Kpalma, Joseph Ronsin:
Sparsest Matrix based Random Projection for Classification. - Dedi Rianto Rahadi, Leon Andretti Abdillah:
The utilization of social networking as promotion media (Case study: Handicraft business in Palembang). - Md. Jawaherul Alam, Michael A. Bekos, Michael Kaufmann, Philipp Kindermann, Stephen G. Kobourov, Alexander Wolff:
Smooth Orthogonal Drawings of Planar Graphs. - Zhuwei Wang, Xiaodong Wang:
Optimal Distributed Control for Networked Control Systems with Delays. - Peter beim Graben, Roland Potthast:
Universal neural field computation. - Rupam Acharyya, Sourav Chakraborty, Nitesh Jha:
Counting Popular Matchings in House Allocation Problems. - Jason Jo:
Iterative Hard Thresholding for Weighted Sparse Approximation. - Michael P. May:
A closed-form solution for the flat-state geometry of cylindrical surface intersections bounded on all sides by orthogonal planes. - James Bellamy:
Randomness of D Sequences via Diehard Testing. - Milad Sefidgaran, Aslan Tchamkerten:
Distributed Function Computation Over a Rooted Directed Tree. - Alphan Sahin, Erdem Bala, Ismail Güvenç, Rui Yang, Hüseyin Arslan:
Partially Overlapping Tones for Uncoordinated Networks. - David Isaac Wolinsky, Bryan Ford:
WiNoN - Plugging the Leaky Boat of Web Anonymity. - Marc Lichtman, Jeffrey H. Reed, T. Charles Clancy, Mark Norton:
Vulnerability of LTE to Hostile Interference. - Bao Hoai Lam, Tai Tan Phan, Long Huynh Vuong, Hiep Xuan Huynh, Bernard Pottier:
Designing a brown planthoppers surveillance network based on wireless sensor network approach. - Kwang Deok Kim, Liaquat Hossain:
Policy Network Approach to Coordinated Disaster Response. - Jianhua Mo, Meixia Tao, Yuan Liu, Rui Wang:
Secure Beamforming for MIMO Two-Way Communications with an Untrusted Relay. - Robert V. Mayer:
The solution of complex problems on calculation of the electrostatic fields on lessons on computer modeling. - Zolfa Zeinalpour-Yazdi, Shirin Jalali:
Outage Analysis of Uplink Two-tier Networks. - Sang Won Bae, Matias Korman, Yoshio Okamoto, Haitao Wang:
Computing the L1 Geodesic Diameter and Center of a Simple Polygon in Linear Time. - Pierluigi Gallo, Ilenia Tinnirello, Laura Giarré, Domenico Garlisi, Daniele Croce, Adriano Fagiolini:
ARIANNA: pAth Recognition for Indoor Assisted NavigatioN with Augmented perception. - Christoph Bunte, Amos Lapidoth:
Codes for Tasks and Rényi Entropy Rate. - Amiraj Dhawan, Parag Oak, Rahul Mishra, George Puthanpurackal:
Path Based Mapping Technique for Robots. - Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu:
Semantics of (Resilient) X10. - Ashish Jain, Narendra S. Chaudhari:
Analytical Observations on Knapsack Cipher 0/255. - Yuanyu Zhang, Yulong Shen, Hua Wang, Xiaohong Jiang:
On Eavesdropper-Tolerance Capability of Two-Hop Wireless Networks. - Sebastiano Vigna:
Fibonacci Binning. - Nicola Basilico, Nicola Gatti, Luca Goffredi, Matteo Cesana:
Beaconing-Aware Optimal Policies for Two-Hop Routing in Multi-Class Delay Tolerant Networks. - Sounaka Mishra, Ashwin Pananjady, N. Safina Devi:
On the Complexity of Making a Distinguished Vertex Minimum or Maximum Degree by Vertex Deletion. - S. Dharini, M. Guru Prasad, V. Hari Haran, J. L. Kiran Tej, Kunal Ghosh:
Analysis and Understanding of Various Models for Efficient Representation and Accurate Recognition of Human Faces. - Nicolas Dugué, Vincent Labatut, Anthony Perez:
Identification de rôles communautaires dans des réseaux orientés appliquée à Twitter. - Olivier Finkel:
Infinite Games Specified by 2-Tape Automata. - Benjamin Wilking, Daniel Alexander Meissner, Stephan Reuter, Klaus Dietmayer:
Information Maps: A Practical Approach to Position Dependent Parameterization. - Frank Sehnke:
Efficient Baseline-free Sampling in Parameter Exploring Policy Gradients: Super Symmetric PGPE. - Yanbo Yang, Tracey Ho, Wentao Huang:
Network error correction with limited feedback capacity. - Claas Ahlrichs, Michael Lawo:
Parkinson's Disease Motor Symptoms in Machine Learning: A Review. - Qi Qi, Yufei Cao:
Cloud Service-Aware Location Update in Mobile Cloud Computing. - Geetika Silakari Pandey, R. C. Jain:
Computational impact of hydrophobicity in protein stability. - Rahul R. Upadhyay:
Data Hiding and Retrieval Using Permutation Index Method. - Stephen J. Bensman:
Eugene Garfield, Francis Narin, and PageRank: The Theoretical Bases of the Google Search Engine. - Mine Alsan:
A novel partial order for the information sets of polar codes over B-DMCs. - Michael Stewart:
Algorithmic Diversity for Software Security. - Vittorio Bilò, Michele Flammini, Gianpiero Monaco:
Approximating the Revenue Maximization Problem with Sharp Demands. - Marlos C. Machado:
A Methodology for Player Modeling based on Machine Learning. - Panagiotis Cheilaris, Elena Khramtcova, Stefan Langerman, Evanthia Papadopoulou:
A Randomized Incremental Approach for the Hausdorff Voronoi Diagram of Non-crossing Clusters. - Ruben Becker, Andreas Karrenbauer:
A Combinatorial $\tilde{O}(m^{3/2})$-time Algorithm for the Min-Cost Flow Problem. - Petr Jancar:
Bisimulation equivalence of first-order grammars is Ackermann-hard. - Xi He, Ashwin Machanavajjhala, Bolin Ding:
Blowfish Privacy: Tuning Privacy-Utility Trade-offs using Policies. - Christine Gaßner:
Strong Turing Degrees for Additive BSS RAM's. - Jiajun Cao, Kapil Arya, Gene Cooperman:
Transparent Checkpoint-Restart over InfiniBand. - Avik Sengupta, Ravi Tandon, T. Charles Clancy:
Fundamental Limits of Caching with Secure Delivery. - Mark Borgerding, Philip Schniter:
Generalized Approximate Message Passing for the Cosparse Analysis Model. - Michael R. Smith, Tony R. Martinez:
An Extensive Evaluation of Filtering Misclassified Instances in Supervised Classification Tasks. - Tommaso Urli:
Balancing bike sharing systems (BBSS): instance generation from the CitiBike NYC data. - Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification. - Nima Hatami, Camelia Chira:
Classifiers With a Reject Option for Early Time-Series Classification. - Nima Hatami, Reza Ebrahimpour, Reza Ghaderi:
ECOC-Based Training of Neural Networks for Face Recognition. - Ping-Chung Wang, Yu-Chih Huang, Krishna R. Narayanan:
Asynchronous Compute-and-Forward/Integer-Forcing with Qusai-Cyclic Codes. - Arvind Arasu, Raghav Kaushik:
Oblivious Query Processing. - Yannis Tzitzikas:
A Simple Method to Produce Algorithmic MIDI Music based on Randomness, Simple Probabilities and Multi-Threading. - Xiongfeng Geng, Yongcai Wang, Haoran Feng, Zhoufeng Chen:
Hybrid Radio-map for Noise Tolerant Wireless Indoor Localization. - Piotr Skowron, Piotr Faliszewski, Arkadii M. Slinko:
Achieving Fully Proportional Representation: Approximability Results. - Apoorv Narang, Srikanta J. Bedathur:
Mind Your Language: Effects of Spoken Query Formulation on Retrieval Effectiveness. - Mina Mishra, Vijay H. Mankar:
Chaotic Encryption Scheme Using 1-D Chaotic Map. - Alejandro Sánchez, César Sánchez:
Parametrized Invariance for Infinite State Processe. - M. A. El-Dosuky:
CACO : Competitive Ant Colony Optimization, A Nature-Inspired Metaheuristic For Large-Scale Global Optimization. - Lam Thu Bui, Van Vien Mac:
Toward an agent based distillation approach for protesting crowd simulation. - Kévin Perrot, Eric Rémila:
Emergence of wave patterns on Kadanoff Sandpiles. - Srinjoy Ganguly, Arpita Chakraborty, Mrinal Kanti Naskar:
A Trust-based Framework for Congestion-aware Energy Efficient Routing in Wireless Multimedia Sensor Networks. - Srinjoy Ganguly, Digbalay Bose, Amit Konar:
Clustering using Vector Membership: An Extension of the Fuzzy C-Means Algorithm. - Ebrahim Nasrabadi, James B. Orlin:
Robust optimization with incremental recourse. - Rodrigo Lopez-Pablos:
Elementos de ingeniería de explotación de la información: réplica y algunos trazos sobre teoría informática. - Arpita Chakraborty, Srinjoy Ganguly, Mrinal Kanti Naskar, Anupam Karmakar:
A Trust Based Congestion Aware Hybrid Ant Colony Optimization Algorithm for Energy Efficient Routing in Wireless Sensor Networks (TC-ACO). - Ahmad Mozaffari, Alireza Fathi:
A natural-inspired optimization machine based on the annual migration of salmons in nature. - Asma Mesmoudi, Mohammed Feham, Nabila Labraoui:
Wireless sensor networks localization algorithms: a comprehensive survey. - (Withdrawn) On Dissemination Time of Random Linear Network Coding in Ad-hoc Networks.
- Edouard Grave, Guillaume Obozinski, Francis R. Bach:
Domain adaptation for sequence labeling using hidden Markov models. - Therese Biedl:
Trees and co-trees with constant maximum degree in planar 3-connected graphs. - Ferhat Özgür Çatak, Mehmet Erdal Balaban:
A MapReduce based distributed SVM algorithm for binary classification. - Nicholas Mattei, Thomas Dodson, Joshua T. Guerin, Judy Goldsmith, Joan M. Mazur:
Lessons Learned from Creating a Course Advising Tool. - Egor Ianovski, Luke Ong:
EGuaranteeNash for Boolean Games is NEXP-Hard. - Maryam Soltanali Khalili, Hamed Sadjedi:
A robust Iris recognition method on adverse conditions. - Paul Beame, Jerry Li, Sudeepa Roy, Dan Suciu:
Model Counting of Query Expressions: Limitations of Propositional Methods. - Bruno Durand, Guilhem Gamard, Anaël Grandjean:
Aperiodic tilings and entropy. - Ashraf M. Mohy Eldin, Aliaa A. A. Youssif:
A Hybrid Approach for Co-Channel Speech Segregation based on CASA, HMM Multipitch Tracking, and Medium Frame Harmonic Model. - Ahmad Mozaffari, Alireza Fathi:
An introduction to synchronous self-learning Pareto strategy. - Julia Brodskaya:
The Generation of Minimal Tests Sets and Some Minimal Tests. - Andrew Adamatzky:
Towards slime mould colour sensor: Recognition of colours by Physarum polycephalum. - Alaa El. Sagheer, Mohammed Zidan:
Autonomous Quantum Perceptron Neural Network. - David Espès, Ana-Maria Pistea, Charles Canaff, Ioana Iordache, Philippe Le Parc, Emanuel Radoi:
New Method for Localization and Human Being Detection using UWB Technology: Helpful Solution for Rescue Robots. - Gabriele Oliva, Roberto Setola:
Distributed k-means algorithm. - Congduc Pham, S. Mamour Diop, Ousmane Thiare:
Selecting source image sensor nodes based on 2-hop information to improve image transmissions to mobile robot sinks in search \& rescue operations. - Satyajit Rath, B. P. S. Sahoo, S. K. Pandey, D. P. Sandha:
Multi-Parameter Decision Support with Data Transmission over GSM/GPRS Network: a Case Study of Landslide Monitoring. - Shweta Agrawal, Ran Gelles, Amit Sahai:
Adaptive Protocols for Interactive Communication. - Lior Seeman:
I'd Rather Stay Stupid: The Advantage of Having Low Utility. - Kamal Chandra Reddy, Ankit Tharwani, Ch. Vamshi Krishna, V. Lakshminarayanan:
Parallel Firewalls on General-Purpose Graphics Processing Units. - James Gerald Holland Whiting, Ben de Lacy Costello, Andrew Adamatzky:
Towards slime mould chemical sensor: Mapping chemical inputs onto electrical potential dynamics of Physarum Polycephalum. - Jakub Konecný, Michal Hagara:
One-Shot-Learning Gesture Recognition using HOG-HOF Features. - Dimitris Fotakis, Ioannis Milis, Emmanouil Zampetakis, Georgios Zois:
Scheduling MapReduce Jobs on Unrelated Processors. - Wei Chen, Yiannis Andreopoulos, Ian J. Wassell, Miguel R. D. Rodrigues:
Unlocking Energy Neutrality in Energy Harvesting Wireless Sensor Networks: An Approach Based on Distributed Compressed Sensing. - Richard Davis, Sanjay Chawla, Philip H. W. Leong:
Feature Graph Architectures. - Aiping Huang, William Zhu:
Dependence space of matroids and its application to attribute reduction. - Aiping Huang, William Zhu:
Geometric lattice structure of covering and its application to attribute reduction through matroids. - Aiping Huang, William Zhu:
Connectedness of graphs and its application to connected matroids through covering-based rough sets. - Cunsheng Ding, Qi Wang, Maosheng Xiong:
Three New Families of Zero-difference Balanced Functions with Applications. - Sandeep Kaur, Harjot Kaur, Sumeet Kaur Sehra:
Modification of Contract Net Protocol(CNP) : A Rule-Updation Approach. - Pierre-Louis Cayrel, Mohammed Meziani:
Post-Quantum Cryptography: Code-based Signatures. - Chunlei Xu, Yun-Bin Zhao:
Uniqueness Conditions for A Class of l0-Minimization Problems. - Yeye He, Siddharth Barman, Jeffrey F. Naughton:
On Load Shedding in Complex Event Processing. - Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani:
Strategic Argumentation is NP-Complete. - David Eigen, Marc'Aurelio Ranzato, Ilya Sutskever:
Learning Factored Representations in a Deep Mixture of Experts. - Disa Mhembere, William R. Gray Roncal, Daniel L. Sussman, Carey E. Priebe, Rex E. Jung, Sephira Ryman, R. Jacob Vogelstein, Joshua T. Vogelstein, Randal C. Burns:
Computing Scalable Multivariate Glocal Invariants of Large (Brain-) Graphs. - Steve Bryson:
Virtual Reality: A Definition History - A Personal Essay. - Luc De Raedt, Angelika Kimmig:
Probabilistic Programming Concepts. - Marius Buliga, Louis H. Kauffman:
GLC actors, artificial chemical connectomes, topological issues and knots. - Rosa Maria Videira de Figueiredo, Yuri Frota:
An improved Branch-and-cut code for the maximum balanced subgraph of a signed graph. - Noritaka Sato, Masataka Ito, Yoshifumi Morita, Fumitoshi Matsuno:
Teleoperation System Using Past Image Records Considering Narrow Communication Band. - Tim Genewein, Daniel A. Braun:
Abstraction in decision-makers with limited information processing capabilities. - Maurizio Adriano Strangio:
On the Security of Wang's Provably Secure Identity-based Key Agreement Protocol. - Daoyi Dong, Chunlin Chen, Ruixing Long, Bo Qi, Ian R. Petersen:
Sampling-based Learning Control for Quantum Systems with Hamiltonian Uncertainties. - Shirin Saeedi Bidokhti, Vinod M. Prabhakaran:
Is Non-Unique Decoding Necessary? - Eren Golge, Pinar Duygulu:
Rectifying Self Organizing Maps for Automatic Concept Learning from Web Images. - Shantanu Chhabra:
On the number of proper $k$-colorings in an $n$-gon. - Min Lin, Qiang Chen, Shuicheng Yan:
Network In Network. - Xiao-Lei Zhang:
Learning Deep Representations By Distributed Random Samplings. - Changseok Yoon, Sung Sik Nam, Sung Ho Cho:
Technical Report: A New Multi-Device Wireless Power Transfer Scheme Using an Intermediate Energy Storage Circuit. - Stephen Alstrup, Esben Bistrup Halvorsen, Kasper Green Larsen:
Near-optimal labeling schemes for nearest common ancestors. - Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan:
Small Universal Petri Nets with Inhibitor Arcs. - Chang-Ick Song, Cong Ling:
Achievable Diversity-Rate Tradeoff of MIMO AF Relaying Systems with MMSE Transceivers. - Winfried Gödert:
An Ontology-based Model for Indexing and Retrieval. - László Egri:
On Constraint Satisfaction Problems below P. - Eyal Ackerman, Michelle M. Allen, Gill Barequet, Maarten Löffler, Joshua Mermelstein, Diane L. Souvaine, Csaba D. Tóth:
The Flip Diameter of Rectangulations and Convex Subdivisions. - Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras:
Exploiting Parallelism in Coalgebraic Logic Programming. - Andrew S. Davis, Itamar Arel:
Low-Rank Approximations for Conditional Feedforward Computation in Deep Neural Networks. - Mine Alsan:
Extremality for Gallager's Reliability Function $E_0$. - Lars Kaczmirek, Philipp Mayr, Ravikiran Vatrapu, Arnim Bleier, Manuela Blumenberg, Tobias Gummer, Abid Hussain, Katharina Kinder-Kurlanda, Kaveh Manshaei, Mark Thamm, Katrin Weller, Alexander Wenz, Christof Wolf:
Social Media Monitoring of the Campaigns for the 2013 German Bundestag Elections on Facebook and Twitter. - Ghazi Al-Naymat:
GCG: Mining Maximal Complete Graph Patterns from Large Spatial Data. - Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani:
Call-by-value non-determinism in a linear logic type discipline. - Gabriel Paillard, Christian Lavault, Felipe Maia Galvão França:
A distributed prime sieving algorithm based on Scheduling by Multiple Edge Reversal. - Lilia Zaourar, Mathieu Jan, Maurice Pitel:
Cache-aware static scheduling for hard real-time multicore systems based on communication affinities. - Adiya Abisheva, Venkata Rama Kiran Garimella, David García, Ingmar Weber:
Who Watches (and Shares) What on YouTube? And When? Using Twitter to Understand YouTube Viewership. - Zoran Cvetkovic, Vincent Sinn:
Weyl-Heisenberg Spaces for Robust Orthogonal Frequency Division Multiplexing. - Konrad W. Schwerdtfeger:
A Computational Trichotomy for Connectivity of Boolean Satisfiability. - Khoat Than, Tu Bao Ho:
Probable convexity and its application to Correlated Topic Models. - Muhammad Zohaib, Syed Mustafa Pasha, Nadeem Javaid, Jamshed Iqbal:
Intelligent Bug Algorithm (IBA): A Novel Strategy to Navigate Mobile Robots Autonomously. - Samer Seraj:
Dispersion and Diffusion. - Vu Pham, Christopher Kermorvant, Jérôme Louradour:
Dropout improves Recurrent Neural Networks for Handwriting Recognition. - Jingwei Lu, Pengwen Chen, Chin-Chih Chang, Lu Sha, Dennis Jen-Hsin Huang, Chin-Chi Teng, Chung-Kuan Cheng:
FFTPL: An Analytic Placement Algorithm Using Fast Fourier Transform for Density Equalization. - István Kovács:
Indecomposable coverings with homothetic polygons. - Tohru Ishii, Yasutake Takahashi, Yoichiro Maeda, Takayuki Nakamura:
Tethered Flying Robot for Information Gathering System. - Arka Bhattacharya:
Evolution and Computational Learning Theory: A survey on Valiant's paper. - Eduardo Feo Flushing, Luca Maria Gambardella, Gianni A. Di Caro:
Strategic Control of Proximity Relationships in Heterogeneous Search and Rescue Teams. - Mariam Adedoyin-Olowe, Mohamed Medhat Gaber, Frederic T. Stahl:
A Survey of Data Mining Techniques for Social Media Analysis. - Victor Alvarez, Karl Bringmann, Radu Curticapean, Saurabh Ray:
Counting Triangulations and other Crossing-free Structures via Onion Layers. - Sharul Agrawal, Ravi Prakash, Zunnun Narmawala:
Implementation of WSN which can simultaneously monitor Temperature conditions and control robot for positional accuracy. - Zhen Zhang, Qinfeng Shi, Yanning Zhang, Chunhua Shen, Anton van den Hengel:
Constraint Reduction using Marginal Polytope Diagrams for MAP LP Relaxations. - Yan Liu, Haode Yan:
A Class of Five-weight Cyclic Codes and Their Weight Distribution. - Renata Cristina Barros Madeo, Priscilla Koch Wagner, Sarajane Marques Peres:
A Review of Temporal Aspects of Hand Gesture Analysis Applied to Discourse Analysis and Natural Conversation. - Vladimir Naidenko:
Logics for complexity classes. - Alexander Toshev, Christian Szegedy:
DeepPose: Human Pose Estimation via Deep Neural Networks. - Vladimir Kostyukov:
A Functional Approach to Standard Binary Heaps. - Günce Keziban Orman, Vincent Labatut, Marc Plantevit, Jean-François Boulicaut:
Une méthode pour caractériser les communautés des réseaux dynamiques à attributs. - Ibrahim Chegrane, Djamal Belazzougui:
Simple, compact and robust approximate string dictionary. - Toni Ernvall, Jyrki T. Lahtonen, Hsiao-feng Lu, Roope Vehkalahti:
An error event sensitive trade-off between rate and coding gain in MIMO MAC. - Wiktor Mlynarski:
Sparse, complex-valued representations of natural sounds learned with phase and amplitude continuity priors. - Alex Stolz, Bene Rodriguez-Castro, Martin Hepp:
RDF Translator: A RESTful Multi-Format Data Converter for the Semantic Web. - Donna Vakharia, Rachel Gibbs:
Designing Spontaneous Speech Search Interface for Historical Archives. - George Nomikos, Panagiotis Pantazopoulos, Merkourios Karaliopoulos, Ioannis Stavrakakis:
The Multiple Instances of Node Centrality and their Implications on the Vulnerability of ISP Networks. - Gaofei Wu, Nian Li, Tor Helleseth, Yuqing Zhang:
More Classes of Complete Permutation Polynomials over $\F_q$. - Marcos Dias de Assunção, Rodrigo N. Calheiros, Silvia Bianchi, Marco Aurélio Stelmar Netto, Rajkumar Buyya:
Big Data Computing and Clouds: Challenges, Solutions, and Future Directions. - Yalong Bai, Kuiyuan Yang, Wei Yu, Wei-Ying Ma, Tiejun Zhao:
Learning High-level Image Representation for Image Retrieval via Multi-Task DNN using Clickthrough Data. - Alexis Ocampo, Fabio Bella, Jürgen Münch:
Software Process Commonality Analysis. - Claudia Nieuwenhuis, Daniel Cremers, Simon Hawe, Martin Kleinsteuber:
Co-Sparse Textural Similarity for Image Segmentation. - Ricardo Martins:
BW - Eye Ophthalmologic decision support system based on clinical workflow and data mining techniques-image registration algorithm. - Dheerendra Mishra, Ankita Chaturvedi, Sourav Mukhopadhyay:
Cryptanalysis and Improvement of Jiang et al.'s Smart Card Based Remote User Authentication Scheme. - Thabet Slimani:
Semantic Annotation: The Mainstay of Semantic Web. - Baran Tan Bacinoglu, Elif Uysal-Biyikoglu:
Finite Horizon Online Lazy Scheduling with Energy Harvesting Transmitters over Fading Channels. - Thabet Slimani:
New Approach to Optimize the Time of Association Rules Extraction. - Niraj Kumar Singh, Soubhik Chakraborty, Dheeresh Kumar Mallick:
A Statistical Peek into Average Case Complexity. - Marco Baldi, Giovanni Cancellieri, Franco Chiaraluce:
Array Convolutional Low-Density Parity-Check Codes. - Tsz-Ching Ng, Shenghao Yang:
Finite-Length Analysis of BATS Codes. - Hugo Daniel Macedo, Tayssir Touili:
Mining Malware Specifications through Static Reachability Analysis. - Hugo Daniel Macedo, José Nuno Oliveira:
Typing linear algebra: A biproduct-oriented approach. - Bhagwati Prasad Pande, Pawan Tamta, H. S. Dhami:
Generation, Implementation and Appraisal of a Language Independent Stemming Algorithm. - Elena Zattoni:
Geometric Methods for Invariant-Zero Cancellation in Linear Multivariable Systems: Illustrative Examples.