


default search action
CoRR, June 2014
- Szabolcs Iván, Ádám Dániel Lelkes, Judit Nagy-György, Balázs Szörényi, György Turán:
Biclique coverings, rectifier networks and the cost of $\varepsilon$-removal. - Laurent Jacques:
Error Decay of (almost) Consistent Signal Estimations from Quantized Random Gaussian Projections. - Erik Cuevas, Diego Oliva, Daniel Zaldivar, Marco Antonio Pérez Cisneros, Humberto Sossa:
Circle detection using electro-magnetism optimization. - Pollyanna Gonçalves, Matheus Araújo, Fabrício Benevenuto, Meeyoung Cha:
Comparing and Combining Sentiment Analysis Methods. - Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu:
SAT Modulo Monotonic Theories. - Xinyang Deng, Zhen Wang, Qi Liu, Yong Deng, Sankaran Mahadevan:
A belief-based evolutionarily stable strategy. - Guangxu Zhu, Caijun Zhong, Himal A. Suraweera, Zhaoyang Zhang, Chau Yuen, Rui Yin:
Ergodic Capacity Comparison of Different Relay Precoding Schemes in Dual-Hop AF Systems with Co-Channel Interference. - Johan Sebastian Rosenkilde Nielsen:
Fast Kötter-Nielsen-Høholdt Interpolation in the Guruswami-Sudan Algorithm. - Fahem Kebair, Frédéric Serin:
Towards a Multiagent Decision Support System for crisis Management. - Andris Ambainis, Jevgenijs Vihrovs:
Size of Sets with Small Sensitivity: a Generalization of Simon's Lemma. - Shradha Dakhare, Harshal Chowhan, Manoj B. Chandak:
Combined Approach for Image Segmentation. - Shashishekar Ramakrishna, Adrian Paschke:
Bridging the gap between Legal Practitioners and Knowledge Engineers using semi-formal KR. - Harm Derksen:
On the equivalence between low rank matrix completion and tensor rank. - Georg S. Seyboth, Wei Ren, Frank Allgöwer:
Cooperative Control of Linear Multi-Agent Systems via Distributed Output Regulation and Transient Synchronization. - Amirpasha Shirazinia, Saikat Chatterjee, Mikael Skoglund:
Joint Source-Channel Vector Quantization for Compressed Sensing. - Tobin Isaac, Carsten Burstedde, Lucas C. Wilcox, Omar Ghattas:
Recursive Algorithms for Distributed Forests of Octrees. - Arjun Puri, Sudesh Kumar:
Error Control Codes: A Novel Solution for Secret Key Generation and Key Refreshment Problem. - Hayden Field, Glen Anderson, Kerstin Eder:
EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development. - Manar Jammal, Taranpreet Singh, Abdallah Shami, Rasool Asal, Yiming Li:
Software-Defined Networking: State of the Art and Research Challenges. - Liang Zheng, Shengjin Wang, Fei He, Qi Tian:
Seeing the Big Picture: Deep Embedding with Contextual Evidences. - MohammadAmin Fazli, Azin Ghazimatin, Jafar Habibi, Hamid Haghshenas:
Team Selection For Prediction Tasks. - Fangfang Zhou, Hongbin Chen, Rong Yu, Lisheng Fan:
Power Allocation and Transmitter Switching for Broadcasting with Multiple Energy Harvesting Transmitters. - Nicola Apollonio, Massimiliano Caramia, Paolo Giulio Franciosa:
On the Galois Lattice of Bipartite Distance Hereditary Graphs. - Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi:
On the measure of conflicts: A MUS-Decomposition Based Framework. - Sheng Han, Suzhen Wang, Xinyu Wu:
l1-regularized Outlier Isolation and Regression. - Benny Applebaum, Liron David, Guy Even:
Deterministic Rateless Codes for BSC. - Ljubisa Stankovic:
On the ISAR Image Analysis and Recovery with Unavailable or Heavily Corrupted Data. - Zahid Halim:
Evolutionary Search in the Space of Rules for Creation of New Two-Player Board Games. - Kamran Latif:
Parallelism Via Concurrency at Multiple Levels. - Kezhi Li, Cristian R. Rojas, Saikat Chatterjee, Håkan Hjalmarsson:
Piecewise Toeplitz Matrices-based Sensing for Rank Minimization. - Ali Mansouri, Mohamed Salim Bouhlel:
A linear algorithm for the grundy number of a tree. - Ahmad Gomaa, Louay M. A. Jalloul:
Efficient Soft-Input Soft-Output Detection of Dual-Layer MIMO Systems. - Paul Bendich, Sang Chin, Jesse Clarke, Jonathan deSena, John Harer, Elizabeth Munch, Andrew Newman, David Porter, David Rouse, Nate Strawn, Adam Watkins:
Topological and Statistical Behavior Classifiers for Tracking Applications. - Lav R. Varshney, Shivali Agarwal, Yi-Min Chee, Renuka Sindhgatta, Daniel V. Oppenheim, Juhnyoung Lee, Krishna Ratakonda:
Cognitive Coordination of Global Service Delivery. - Jakob Huber, Timo Sztyler, Jan Noessner, Jaimie Murdock, Colin Allen, Mathias Niepert:
LODE: Linking Digital Humanities Content to the Web of Data. - Saima Aman, Yogesh Simmhan, Viktor K. Prasanna:
Holistic Measures for Evaluating Prediction Models in Smart Grids. - Quanquan Wang, Yongping Li:
Ambiguous Proximity Distribution. - Jiaqi Gu, Rodrigo C. de Lamare:
Joint PIC and relay selection based on greedy techniques for cooperative DS-CDMA systems. - M. H. Soorajprasad, Balapradeep K. N, Antony P. J:
VirtuMob : Remote Desktop Virtualization Solution for Smarphones. - Wiseborn Manfe Danquah, D. Turgay Altilar:
HYBRIST Mobility Model- A Novel Hybrid Mobility Model for VANET Simulations. - Hideo Bannai, Tomohiro I, Shunsuke Inenaga, Yuto Nakashima, Masayuki Takeda, Kazuya Tsuruta:
A new characterization of maximal repetitions by Lyndon trees. - Soheil Gherekhloo, Anas Chaaban, Aydin Sezgin:
Extended Generalized DoF Optimality Regime of Treating Interference as Noise in the X Channel. - Quan-Lin Li, John C. S. Lui:
Block-Structured Supermarket Models. - Kaustubh Kulkarni, Georgios D. Evangelidis, Jan Cech, Radu Horaud:
Continuous Action Recognition Based on Sequence Alignment. - Alessandro Sarti, Giovanna Citti:
The constitution of visual perceptual units in the functional architecture of V1. - Lars Hupel:
Interactive Simplifier Tracing and Debugging in Isabelle. - Stefan Gheorghe Pentiuc, Felicia Florentina Giza, Ovidiu-Andrei Schipor:
Mobile Agents for Distance Evaluation Procedures. - Felicia Florentina Giza, Cristina Elena Turcu, Ovidiu-Andrei Schipor:
Using Mobile Agents for Information Retrival in B2B Systems. - Sahabul Alam, Debashis De:
Analysis of Security Threats in Wireless Sensor Network. - Mnacho Echenim, Nicolas Peltier:
A Superposition Calculus for Abductive Reasoning. - Markus Schneider, Fabio Ramos:
Transductive Learning for Multi-Task Copula Processes. - Benjamin Marussig, Jürgen Zechner, Gernot Beer, Thomas-Peter Fries:
Fast Isogeometric Boundary Element Method based on Independent Field Approximation. - Christoforos Kachris, Georgios Ch. Sirakoulis, Dimitrios Soudris:
Network Function Virtualization based on FPGAs: A Framework for all-Programmable network devices. - Naila Murray, Florent Perronnin:
Generalized Max Pooling. - Jonathan Spreer, Uli Wagner, Benjamin A. Burton, Satoshi Murai, Eric Sedgwick, Henry Segerman:
Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto. - Yoshinori Aono:
A faster method for computing Gama-Nguyen-Regev's extreme pruning coefficients. - Tony Tan, Jan Van den Bussche, Xiaowang Zhang:
Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference. - Stefan Diewald, Andreas Möller, Luis Roalter, Matthias Kranz:
Simulation and Virtual Prototyping of Tangible User Interfaces. - Ryuhei Mori, Takeshi Koshiba, Osamu Watanabe, Masaki Yamamoto:
Linear Programming Relaxations for Goldreich's Generators over Non-Binary Alphabets. - Waldir Aranha Moreira Junior, Paulo Mendes, Susana Sargento:
Assessment Model for Opportunistic Routing. - Li Gou, Bo Wei, Rehan Sadiq, Sankaran Mahadevan, Yong Deng:
An improved vulnerability index of complex networks based on fractal dimension. - Christoph Gugg, Matthew Harker, Paul O'Leary, Gerhard Rath:
An Algebraic Framework for the Real-Time Solution of Inverse Problems on Embedded Systems. - James Pallister, Kerstin Eder, Simon J. Hollis:
Optimizing the flash-RAM energy trade-off in deeply embedded systems. - Anya Elaine Johnson, Eli Strauss, Rodney Pickett, Christoph Adami, Ian Dworkin, Heather Goldsby:
More Bang For Your Buck: Quorum-Sensing Capabilities Improve the Efficacy of Suicidal Altruism. - Jun-Sung Kim, Kyu-Young Whang, Hyuk-Yoon Kwon, Il-Yeol Song:
Odysseus/DFS: Integration of DBMS and Distributed File System for Transaction Processing of Big Data. - Diego Kreutz
, Fernando M. V. Ramos, Paulo Veríssimo, Christian Esteve Rothenberg, Siamak Azodolmolky, Steve Uhlig:
Software-Defined Networking: A Comprehensive Survey. - Cheng Chen, Lan Zheng, Srinivasan Venkatesh, Alex Thomo, Kui Wu, Anthony Sukow:
Buyer to Seller Recommendation under Constraints. - Marc Lanctot, Mark H. M. Winands, Tom Pepels, Nathan R. Sturtevant:
Monte Carlo Tree Search with Heuristic Evaluations using Implicit Minimax Backups. - Stefan Hougardy, Jannik Silvanus, Jens Vygen:
Dijkstra meets Steiner: a fast exact goal-oriented Steiner tree algorithm. - Stefan Gheorghe Pentiuc, Ovidiu-Andrei Schipor, Mirela Danubianu, Doina-Maria Schipor:
Automatic Recognition of Dyslalia Affecting Pre-Scholars. - Isabel Valera, Manuel Gomez-Rodriguez, Krishna P. Gummadi:
Modeling Diffusion of Competing Products and Conventions in Social Media. - Gonçalo Amaral da Silva:
Multimodal vs. Unimodal Physiological Control in Videogames for Enhanced Realism and Depth. - Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov:
Universal Convexification via Risk-Aversion. - Kyumin Lee, Steve Webb, Hancheng Ge:
The Dark Side of Micro-Task Marketplaces: Characterizing Fiverr and Automatically Detecting Crowdturfing. - Shahar Dobzinski, Michal Feldman, Inbal Talgam-Cohen, Omri Weinstein:
Welfare and Revenue Guarantees for Competitive Bundling Equilibrium. - Lukasz Domagala, Fabrice Rastello, P. Sadayappan, Duco van Amstel:
A Tiling Perspective for Register Optimization. - Shasha Bu, Yu-Jin Zhang:
Image retrieval with hierarchical matching pursuit. - Zhenghong Chen, Xiaoxian Tang, Bican Xia:
Hierarchical Comprehensive Triangular Decomposition. - (Withdrawn) Optimization for Speculative Execution of Multiple Jobs in a MapReduce-like Cluster.
- Guillaume Mercère, José A. Ramos, Olivier Prot:
Identification of parameterized gray-box state-space systems: from a black-box linear time-invariant representation to a structured one: detailed derivation of the gradients involved in the cost functions. - Cristian Prisacariu:
Extensions of Configuration Structures. - Georg Nawratil, Josef Schicho:
Pentapods with Mobility 2. - Carlos Galindo, Fernando Hernando, Diego Ruano:
New Quantum Codes from Evaluation and Matrix-Product Codes. - Chen Fei Du, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit:
Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance. - Lauri Anttila, Dani Korpi, Emilio Antonio-Rodriguez, Risto Wichman, Mikko Valkama:
Modeling and Efficient Cancellation of Nonlinear Self-Interference in MIMO Full-Duplex Transceivers. - Ziqiong Liu, Shengjin Wang, Liang Zheng, Qi Tian:
Visual Reranking with Improved Image Graph. - Mostafa Hosni Mohamed, Johan Sebastian Rosenkilde Nielsen, Martin Bossert:
Reduced List-Decoding of Reed-Solomon Codes Using Reliability Information. - Prateek Karandikar, Philippe Schnoebelen:
On the state complexity of closures and interiors of regular languages with subwords. - Di He, Wei Chen, Liwei Wang, Tie-Yan Liu:
A Game-theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search. - Gábor Simonyi, Ágnes Tóth:
A generalization of Witsenhausen's zero-error rate for directed graphs. - Edvin Wedin, Peter Hegarty:
A quadratic lower bound for the convergence rate in the one-dimensional Hegselmann-Krause bounded confidence dynamics. - Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat:
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? - Huibo Bi, Erol Gelenbe:
A Cooperative Emergency Navigation Framework using Mobile Cloud Computing. - Jinsub Kim, Lang Tong, Robert J. Thomas:
Subspace Methods for Data Attack on State Estimation: A Data Driven Approach. - (Withdrawn) Computing group rank with limited nondeterminism.
- Jorge Almeida, José Carlos Costa, Marc Zeitoun:
McCammond's normal forms for free aperiodic semigroups revisited. - Mathew Joseph, Gabriel M. Kuper, Luciano Serafini:
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version). - Paolo Missier, Simon Woodman, Hugo Hiden, Paul Watson:
Provenance and data differencing for workflow reproducibility analysis. - Mark Giesbrecht, Joseph Haraldson:
Computing GCRDs of Approximate Differential Polynomials. - S. Ildarabadi, M. Ebrahimi, H. R. Pourreza:
Improvement Tracking Dynamic Programming using Replication Function for Continuous Sign Language Recognition. - Patrick Seeling:
Towards Quality of Experience Determination for Video in Augmented Reality Settings. - Pedro F. Felzenszwalb, John G. Oberlin:
Multiscale Fields of Patterns. - Karina Mabell Gomez, Leonardo Goratti, Tinku Rasheed, Laurent Reynaud:
Enabling Disaster Resilient 4G Mobile Communication Networks. - Aaron Lee, Livia King:
ACO Implementation for Sequence Alignment with Genetic Algorithms. - Siamak Ravanbakhsh, Reihaneh Rabbany, Russell Greiner:
Augmentative Message Passing for Traveling Salesman Problem and Graph Partitioning. - Fei He, Shengjin Wang:
Beyond $χ^2$ Difference: Learning Optimal Metric for Boundary Detection. - Yan Gu, Yihan Sun, Yong He:
Cascading A*: a Parallel Approach to Approximate Heuristic Search. - Ioannis A. Skordas, George F. Fragulis, Athanassios G. Triantafyllou:
A.Q.M.E.I.S.: Air Quality Meteorological and Enviromental Information System in Western Macedonia, Hellas. - Takamitsu Matsubara, Vicenç Gómez, Hilbert J. Kappen:
Latent Kullback Leibler Control for Continuous-State Systems using Probabilistic Graphical Models. - Lakshmi Prabha S, T. N. Janakiraman:
Comfortability of a Team in Social Networks. - Gustavo Sacomoto, Blerina Sinaimeri, Camille Marchet, Vincent Miele, Marie-France Sagot, Vincent Lacroix:
Navigating in a sea of repeats in RNA-seq without drowning. - Smita Saini, Deep Mann:
Identity Management issues in Cloud Computing. - Christoph Salge, Daniel Polani:
Don't Believe Everything You Hear; Preserving Relevant Information by Discarding Social Information. - Pascal Weil:
From algebra to logic: there and back again - the story of a hierarchy. - Sumanta Sarkar:
Some Results on Bent-Negabent Boolean Functions over Finite Fields. - Lila Kari, Stavros Konstantinidis
, Steffen Kopecki, Meng Yang:
An efficient algorithm for computing the edit distance of a regular language via input-altering transducers. - Yun Fan, Bangteng Xu:
Fourier Transforms and Bent Functions on Finite Abelian Group-Acted Sets. - Lin Sok, Patrick Solé, Aslan Tchamkerten:
Lattice Codes for the Binary Deletion Channel. - Sevil Mehraghdam, Matthias Keller, Holger Karl:
Specifying and Placing Chains of Virtual Network Functions. - Gabriel E. Arrobo, Richard D. Gitlin:
Minimizing Energy Consumption for Cooperative Network and Diversity Coded Sensor Networks. - Vít Novácek:
A Methodology for Empirical Analysis of LOD Datasets. - Gabriel E. Arrobo, Calvin A. Perumalla, Stanley B. Hanke, Thomas P. Ketterl, Peter J. Fabri, Richard D. Gitlin:
An Innovative Wireless Cardiac Rhythm Management (iCRM) System. - Wolfgang Orthuber:
Worldwide Domain Spaces make quantitative data searchable and prepare these for interoperable exchange. - Stefan Engblom, Dimitar Lukarski:
Fast Matlab compatible sparse assembly on multicore computers. - Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri Games: Synthesis of Distributed Systems with Causal Memory. 217-230 - Miguel A. Lerma:
How inefficient can a sort algorithm be? - Kyunghyun Cho, Bart van Merrienboer, Çaglar Gülçehre, Fethi Bougares, Holger Schwenk, Yoshua Bengio:
Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation. - Zhi Chen, Pingyi Fan, Khaled Ben Letaief:
Throughput Optimized Multi-Source Cooperative Networks With Compute-and-Forward. - Sven Schewe, Thomas Varghese:
Tight Bounds for Complementing Parity Automata. - Pinghua Gong, Jieping Ye:
Linear Convergence of Variance-Reduced Projected Stochastic Gradient without Strong Convexity. - Yuva Sudhakar, P. M. Tiwari:
Online Rotor Resistance Adaptation Of Induction Motor Drive. - Bartlomiej Placzek:
A self-organizing system for urban traffic control based on predictive interval microscopic model. - José Marinho, Stefan M. Petters:
Timing Analysis for DAG-based and GFP Scheduled Tasks. - Woonhyun Nam, Piotr Dollár, Joon Hee Han:
Local Decorrelation For Improved Detection. - Gang Wang, Tianyi Wang, Bolun Wang, Divya Sambasivan, Zengbin Zhang, Haitao Zheng, Ben Y. Zhao:
Crowds on Wall Street: Extracting Value from Social Investing Platforms. - Zhi Chen, Teng Joon Lim, Mehul Motani:
Fading Two-Way Relay Channels: Physical-Layer Versus Digital Network Coding. - Sarah Weissman, Samet Ayhan, Joshua Bradley, Jimmy Lin:
Identifying Duplicate and Contradictory Information in Wikipedia. - Benjamin Tams:
Decodability Attack against the Fuzzy Commitment Scheme with Public Feature Transforms. - Ivan Bliznets, Marek Cygan, Pawel Komosa, Lukás Mach:
Kernelization lower bound for Permutation Pattern Matching. - Xu-Cheng Yin, Chun Yang, Hong-Wei Hao:
Learning to Diversify via Weighted Kernels for Classifier Ensemble. - Awais Khawar, Ahmed Abdel-Hadi, T. Charles Clancy:
On The Impact of Time-Varying Interference-Channel on the Spatial Approach of Spectrum Sharing between S-band Radar and Communication System. - Divyanshu Bhartiya, Ashudeep Singh:
A Semantic Approach to Summarization. - Michael Hanspach, Michael Goetz:
On Covert Acoustical Mesh Networks in Air. - Md. Maksudul Alam, Maleq Khan:
Parallel Algorithm for Generating Massive Random Networks with a Given Sequence of Expected Degrees. - Greg Ver Steeg, Aram Galstyan:
Discovering Structure in High-Dimensional Data Through Correlation Explanation. - Xuhui Li, Mengchi Liu, Shanfeng Zhu, Arif Ghafoor:
XTQ: A Declarative Functional XML Query Language. - Naeem Akl, Jihad Fahs, Zaher Dawy:
Statistical Intercell Interference Modeling for Capacity-Coverage Tradeoff Analysis in Downlink Cellular Networks. - Lijiang Chen:
A Geometric Method to Obtain the Generation Probability of a Sentence. - Freek Verbeek, Julien Schmaltz:
Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. EPTCS 152, 2014 [contents] - T. El-Shishtawy, A. El-Sammak:
The Best Templates Match Technique For Example Based Machine Translation. - Alexandra Hochuli, Stephan Holzer, Roger Wattenhofer:
Distributed Approximation of Minimum Routing Cost Trees. - Dong Yi, Zhen Lei, Shengcai Liao, Stan Z. Li:
Shared Representation Learning for Heterogeneous Face Recognition. - Yuedong Xu, Salah-Eddine Elayoubi, Eitan Altman, Rachid El Azouzi, Yinghao Yu:
Flow Level QoE of Video Streaming in Wireless Networks. - (Withdrawn) On The Communication Complexity of Finding an (Approximate) Stable Marriage.
- Ashraf Hossain, Rashmita Mishra:
Sensing and Link Model for Wireless Sensor Network: Coverage and Connectivity Analysis. - Sunil Kumar Kopparapu, Laxmi Narayana M.:
Basis Identification for Automatic Creation of Pronunciation Lexicon for Proper Names. - Nesibe Tüfekçi, Bahattin Yildiz:
On codes over R_{k, m} and constructions for new binary self-dual codes. - Bita Azimdoost, Cédric Westphal, Hamid R. Sadjadpour:
The Price of Updating the Control Plane in Information-Centric Networks. - Hailong Shi, Hao Zhang, Xiqin Wang:
A Generalized Volume-Correlation Subspace Detector and its application in Multiuser Detection. - Marco Dalai:
Elias Bound for General Distances and Stable Sets in Edge-Weighted Graphs. - Benoît Valiron, Steve Zdancewic:
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. - Ali Mansouri, Mohamed Salim Bouhlel:
Algorithmes dynamiques pour la communication dans le réseau ad hoc Coloration des graphes. - Muhammad Moeen Uddin, Muhammad Imran, Hassan Sajjad:
Understanding Types of Users on Twitter. - Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich:
Approximate analysis of biological systems by hybrid switching jump diffusion. - Lan Wang, Erol Gelenbe:
An Implementation of Voice over the Cognitive Packet Network. - Sergio Cabello, Josef Cibulka, Jan Kyncl, Maria Saumell, Pavel Valtr:
Peeling potatoes near-optimally in near-linear time. - Onur Dikmen, Zhirong Yang, Erkki Oja:
Learning the Information Divergence. - Paul Tarau, Fahmida Hamid:
Interclausal Logic Variables. - Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara:
An LTL Semantics of Business Workflows with Recovery. - Xiaowang Zhang, Jan Van den Bussche:
On the satisfiability problem for SPARQL patterns. - Siqi Nie, Denis Deratani Mauá, Cassio Polpo de Campos, Qiang Ji:
Advances in Learning Bayesian Networks of Bounded Treewidth. - Anatol E. Wegner:
Subgraph covers - An information theoretic approach to motif analysis in networks. - Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty:
A ToolBox for Conservative XML Schema Evolution and Document Adaptation. - Ali Mansouri, Youssef Amghar:
Intégration des règles actives dans des documents. - Marthe Bonamy, Nicolas Bousquet:
Reconfiguring Independent Sets in Cographs. - Rayed AlGhamdi:
Diffusion of the Adoption of Online Retailing in Saudi Arabia. - Rayed AlGhamdi:
Modeling CSFs of B2C E-commerce Systems Using the Enterprise Architecture Approach. - Toufiq Parag, Anirban Chakraborty, Stephen Plaza:
A Context-aware Delayed Agglomeration Framework for EM Segmentation. - Yun-He Cao, Xiang-Gen Xia, Sheng-Hua Wang:
IRCI Free Colocated MIMO Radar Based on Sufficient Cyclic Prefix OFDM Waveforms. - Christine Estreguil, Giovanni Caudullo, Daniele de Rigo:
Connectivity of Natura 2000 forest sites in Europe. - Martin Biehl, Christoph Salge, Daniel Polani:
Towards designing artificial universes for artificial agents under interaction closure. - Wojciech Jaskowski:
Systematic N-tuple Networks for Position Evaluation: Exceeding 90% in the Othello League. - Rémy Haemmerlé, Jon Sneyers:
Proceedings of the Eleventh Workshop on Constraint Handling Rules. - Zhiguo Ding, Zheng Yang, Pingzhi Fan, H. Vincent Poor:
On the Performance of Non-Orthogonal Multiple Access in 5G Systems with Randomly Deployed Users. - Vladan Mlinar:
Inherent limits on optimization and discovery in physical systems. - Dustin Lang, David W. Hogg, Bernhard Schölkopf:
Towards building a Crowd-Sourced Sky Map. - Paul Blain Levy, Neel Krishnaswami:
Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014. EPTCS 153, 2014 [contents] - Geraldo A. Barbosa, Jeroen van de Graaf:
Untappable key distribution system: a one-time-pad booster. - Matt Kaufmann, J Strother Moore:
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4. 1-7 - Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
:
Data Definitions in the ACL2 Sedan. 27-48 - Benjamin Selfridge, Eric Smith:
Polymorphic Types in ACL2. 49-59 - Sebastiaan J. C. Joosten, Cezary Kaliszyk
, Josef Urban:
Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems. 77-85 - John R. Cowles, Ruben Gamboa:
Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis. 89-100 - Ruben Gamboa, John R. Cowles:
Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent. 101-110 - Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie:
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis. 111-128 - Benjamin Selfridge:
An ACL2 Mechanization of an Axiomatic Framework for Weak Memory. 129-144 - John W. O'Leary, David M. Russinoff:
Modeling Algorithms in SystemC and ACL2. 145-162 - David S. Hardin, Jennifer A. Davis, David A. Greve, Jedidiah R. McClurg:
Development of a Translator from LLVM to ACL2. 163-177 - Nathalie Bertrand
, Luca Bortolussi
:
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. EPTCS 154, 2014 [contents] - Yanting Ma, Dror Baron, Deanna Needell:
Two-Part Reconstruction with Noisy-Sudocodes. - Hu Fu, Nima Haghpanah, Jason D. Hartline, Robert Kleinberg:
Optimal Auctions for Correlated Buyers with Sampling. - Alain Y. Kibangou, André L. F. de Almeida:
Consensus-based In-Network Computation of the PARAFAC Decomposition. - Chinmay Hegde, Piotr Indyk, Ludwig Schmidt:
Approximation Algorithms for Model-Based Compressive Sensing. - Vishwanath Bijalwan
, Pinki Kumari, Jordán Pascual Espada, Vijay Bhaskar Semwal:
Machine learning approach for text and document mining. - Satendra Kumar, Mamta Kathuria, Alok Kumar Gupta, Monika Rani:
Fuzzy clustering of web documents using equivalence relations and fuzzy hierarchical clustering. - Wojciech Zaremba, Karol Kurach, Rob Fergus:
Learning to Discover Efficient Mathematical Identities. - Achim Berger, Markus Pichler, Werner Haselmayr, Andreas Springer:
Energy Efficient and Reliable Wireless Sensor Networks - An Extension to IEEE 802.15.4e. - Sebastien Diemer, Silvère Bonnabel:
An Invariant Linear Quadratic Gaussian controller for a simplified car. - Matthias Seibert, Julian Wörmann, Rémi Gribonval, Martin Kleinsteuber:
Separable Cosparse Analysis Operator Learning. - Christian Kudahl:
Deciding the On-line Chromatic Number of a Graph with Pre-Coloring is PSPACE-Complete. - Khalid Raza, Mahish Kohli:
Ant Colony Optimization for Inferring Key Gene Interactions. - George Philip Atzemoglou:
The dagger lambda calculus. 217-235 - Xiaoyu Chen, Dan Song, Dongming Wang:
Automated Generation of Geometric Theorems from Images of Diagrams. - Ankit R. Chadha, Rishikesh Misal, Tanaya Mokashi:
Modified Binary Search Algorithm. - Vanessa Lange, Manuel Schmitt, Rolf Wanka:
Towards a Better Understanding of the Local Attractor in Particle Swarm Optimization: Speed and Solution Quality. - Qi Zhang, Meizhu Li, Yong Deng, Sankaran Mahadevan:
Tsallis information dimension of complex networks. - Meizhu Li, Qi Zhang, Yong Deng:
Multiscale probability transformation of basic probability assignment. - Nathan Kirk, Alan Benson, Christopher E. Goodyer, Matthew E. Hubbard:
A computational study of the effects of remodelled electrophysiology and mechanics on initiation of ventricular fibrillation in human heart failure. - Jukka Suomela:
Median Filtering is Equivalent to Sorting. - Y. Yomdin:
Smooth Parametrizations in Dynamics, Analysis, Diophantine and Computational Geometry. - Ahmed M. Alaa, Mahmoud H. Ismail, Hazim Tawfik:
Random Aerial Beamforming for Underlay Cognitive Radio with Exposed Secondary Users. - Leo Yu Zhang, Kwok-Wo Wong, Chengqing Li, Yushu Zhang:
Towards Secure Compressive Sampling Scheme. - Chao He, Yang Liu, Thomas P. Ketterl, Gabriel E. Arrobo, Richard D. Gitlin:
MIMO In Vivo. - Emanuele Garone, Marco M. Nicotra:
Explicit Reference Governor for Continuous Time Nonlinear Systems Subject to Convex Constraints. - David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss:
Eigenvalues and Transduction of Morphic Sequences: Extended Version. - Anne Condamines, Maxime Warnier:
Linguistic Analysis of Requirements of a Space Project and their Conformity with the Recommendations Proposed by a Controlled Natural Language. - Christoph Salge, Cornelius Glackin, Daniel Polani:
Changing the Environment Based on Empowerment as Intrinsic Motivation. - Tomaso A. Poggio, Jim Mutch, Leyla Isik:
Computational role of eccentricity dependent cortical magnification. - Toufiq Parag, Stephen Plaza, Louis Scheffer:
Small Sample Learning of Superpixel Classifiers for EM Segmentation- Extended Version. - Arpita Ghosh, Robert Kleinberg:
Behavioral Mechanism Design: Optimal Contests for Simple Agents. - Anita B, Beena Sheril, Ramesh B. E:
Advanced vehicle safety and content distribution system. - Nusrat Fatema, Remus Brad:
Security Requirements, Counterattacks and Projects in Healthcare Applications Using WSNs - A Review. - Paul Tarau:
A Generic Numbering System based on Catalan Families of Combinatorial Objects. - Haya Shajaiah, Ahmed Abdel-Hadi, Charles Clancy:
Multi-Application Resource Allocation with Users Discrimination in Cellular Networks. - Anna Choromanska, John Langford:
Logarithmic Time Online Multiclass prediction. - Sashank Dara:
Multi-user protocols with access control for computational privacy in public clouds. - Samuel R. Bowman, Christopher Potts, Christopher D. Manning:
Recursive Neural Networks for Learning Logical Semantics. - Ben Poole, Jascha Sohl-Dickstein, Surya Ganguli:
Analyzing noise in autoencoders and deep networks. - Paul A. Szerlip, Gregory Morse, Justin K. Pugh, Kenneth O. Stanley:
Unsupervised Feature Learning through Divergent Discriminative Feature Accumulation. - Hal Daumé III, John Langford, Stéphane Ross:
Efficient programmable learning to search. - Vasu Chetty, Sean Warnick:
Meanings and Applications of Structure in Networks of Dynamic Systems. - Bocong Chen, Hai Q. Dinh, Hongwei Liu:
Repeated-root constacyclic codes of length 2ℓmpn. - P. Ramya, S. Sasirekha:
Text Mining System for Non-Expert Miners. - Haipeng Luo, Robert E. Schapire:
A Drifting-Games Analysis for Online Learning and Applications to Boosting. - Weili Nie, Fu-Chun Zheng, Xiaoming Wang, Shi Jin, Wenyi Zhang:
Energy Efficiency of Cross-Tier Base Station Cooperation in Heterogeneous Cellular Networks. - C. Maria Keet, Langa Khumalo:
Toward verbalizing ontologies in isiZulu. - Xi Zheng, Akanksha Bansal, Matthew Lease:
Bullseye: Structured Passage Retrieval and Document Highlighting for Scholarly Search. - Leonid Pishchulin, Mykhaylo Andriluka, Bernt Schiele:
Fine-grained Activity Recognition with Holistic and Pose based Features. - Raúl Rojas:
The Z1: Architecture and Algorithms of Konrad Zuse's First Computer. - Jan Egger:
Refinement-Cut: User-Guided Segmentation Algorithm for Translational Science. - Alun D. Preece, Christopher Gwilliams, Christos Parizas, Diego Pizzocaro, Jonathan Z. Bakdash, Dave Braines:
Conversational Sensing. - Ahmed Abdel-Hadi, Charles Clancy:
Context-Aware Resource Allocation in Cellular Networks. - Ahmed Abdel-Hadi, Andreas Gerstlauer, Sriram Vishwanath:
Real-Time Rate-Distortion Optimized Streaming of Wireless Video. - Fedor Shmarov, Paolo Zuliani:
Verification of probabilistic bounded $δ$-reachability for cyber-physical systems. - Evangelos Kranakis, Michel Paquette:
Broadcasting in Networks of Unknown Topology in the Presence of Swamping. - Davide Boscaini, Davide Eynard, Michael M. Bronstein:
Shape-from-intrinsic operator. - Tobias Buer:
An exact and two heuristic strategies for truthful bidding in combinatorial transport auctions. - Yuanming Suo, Minh Dao, Umamahesh Srinivas, Vishal Monga, Trac D. Tran:
Structured Dictionary Learning for Classification. - (Withdrawn) Automatic Extraction of Protein Interaction in Literature.
- Samson Abramsky:
An Algebraic Characterisation of Concurrent Composition. - Adeyinka K. Akanbi, Olusanya Y. Agunbiade, Sadiq Kuti, Olumuyiwa J. Dehinbo:
A Semantic Enhanced Model for effective Spatial Information Retrieval. - Rio Yokota, George Turkiyyah, David E. Keyes:
Communication Complexity of the Fast Multipole Method and its Algebraic Variants. - Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger Mercaderes:
ProvAbs: model, policy, and tooling for abstracting PROV graphs. - Florentin Smarandache
:
Introduction to Neutrosophic Statistics. - Dariusz Dereniowski, Ralf Klasing, Adrian Kosowski, Lukasz Kuszner:
Rendezvous of Heterogeneous Mobile Agents in Edge-weighted Networks. - Kalyan Veeramachaneni, Sherif A. Halawa, Franck Dernoncourt, Una-May O'Reilly, Colin Taylor, Chuong B. Do:
MOOCdb: Developing Standards and Systems to Support MOOC Data Science. - Desmond J. Higham, Peter Grindrod, Alexander V. Mantzaris, Amanda Otley, Peter Laflin:
Anticipating Activity in Social Media Spikes. - Yen-Fu Ou, Wenzhi Lin, Huiqi Zeng, Yao Wang:
Perceptual Quality of Video with Periodic Frame Rate and Quantization Variation-Subjective Studies and Analytical Modeling. - James Gerald Holland Whiting, Ben de Lacy Costello, Andrew Adamatzky:
Slime Mould Logic Gates Based on Frequency Changes of Electrical Potential Oscillation. - Rahul Tejwani:
Two-dimensional Sentiment Analysis of text. - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. - Xianjie Chen, Roozbeh Mottaghi, Xiaobai Liu, Sanja Fidler, Raquel Urtasun, Alan L. Yuille:
Detect What You Can: Detecting and Representing Objects using Holistic Models and Body Parts. - Dani Yogatama, Manaal Faruqui, Chris Dyer, Noah A. Smith:
Learning Word Representations with Hierarchical Sparse Coding. - Jan-Christoph Küster, Andreas Bauer:
Platform-Centric Android Monitoring - Modular and Efficient. - Xue Li, Yu-Jin Zhang, Bin Shen, Bao-Di Liu:
Image Tag Completion by Low-rank Factorization with Dual Reconstruction Structure Preserved. - Jules Hedges:
Monad Transformers for Backtracking Search. 31-50 - Andreas Abel, James Chapman
:
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types. 51-67 - Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy:
Polymonadic Programming. 79-99 - Daan Leijen:
Koka: Programming with Row Polymorphic Effect Types. 100-126 - Wolfgang Jeltsch
:
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. 127-142 - Baltasar Trancón y Widemann
, Markus Lepper:
Foundations of Total Functional Data-Flow Programming. 143-167 - Tarmo Uustalu
:
Coherence for Skew-Monoidal Categories. 68-77 - Diego Latella
, Michele Loreti
, Mieke Massink
, Valerio Senni
:
Stochastically timed predicate-based communication primitives for autonomic computing. 1-16 - Marino Miculan
, Marco Peressotti
:
GSOS for non-deterministic processes with quantitative aspects. 17-33 - Max Tschaikowski
, Mirco Tribastone
:
Extended Differential Aggregations in Process Algebra for Performance and Biology. 34-47 - Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer
, Bernd Becker
, Holger Hermanns
:
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. 48-63 - Cheng Feng:
Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example. 64-77 - Jean-Francois Kempf, Olivier Lebeltel, Oded Maler:
Formal and Informal Methods for Multi-Core Design Space Exploration. 78-92 - Hieu D. Nguyen, Greg E. Coxson:
Doppler Tolerance, Complementary Code Sets and the Generalized Thue-Morse Sequence. - Garry Pantelis:
Program Verification of Numerical Computation - Part 2. - Sainbayar Sukhbaatar, Rob Fergus:
Learning from Noisy Labels with Deep Neural Networks. - Paul Brillant Feuto Njonko, Sylviane Cardey, Peter Greenfield, Walid El Abed:
RuleCNL: A Controlled Natural Language for Business Rule Specifications. - Tufail Muhammad, Zahid Halim, Majid Ali Khan:
ClassSpy: Java Object Pattern Visualization Tool. - Tim French, James Hales, Edwin Tay:
A composable language for action models. - Boaz Ben-Moshe, Michael Elkin, Lee-Ad Gottlieb, Eran Omri:
Optimizing Budget Allocation in Graphs. - Nader H. Bshouty:
Linear time Constructions of some $d$-Restriction Problems. - Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller:
Logic Programming and Logarithmic Space. - Edmund S. L. Lam, Iliano Cervesato:
Constraint Handling Rules with Multiset Comprehension Patterns. - Ralf Gerlich:
Automatic Test Data Generation and Model Checking with CHR. - Falco Nogatz, Thom W. Frühwirth:
From XML Schema to JSON Schema: Translation with CHR. - Yang Liu, Xiaoge Zhang, Yong Deng:
A bio-inspired algorithm for fuzzy user equilibrium problem by aid of Physarum Polycephalum. - Manish Raj, Pavan Chakraborty, Gora Chand Nandi:
Rescue Robotics in Bore well Environment. - Karl Granström:
An extended target tracking model with multiple random matrices and unified kinematics. - Masoud Faraki, Maziar Palhang, Conrad Sanderson:
Log-Euclidean Bag of Words for Human Action Recognition. - Tanmoy Sarkar, Sugata Sanyal:
Digital Watermarking Techniques in Spatial and Frequency Domain. - (Withdrawn) ML Detection for MIMO Systems under Channel Estimation Errors.
- Pawel Gawrychowski, Damian Rusak:
Euclidean TSP with few inner points in linear space. - Tiago de Lima, Andreas Herzig:
Tableaux for Dynamic Logic of Propositional Assignments. - Esteban Zapata Rojas:
Selecting interesting zones at Aburrá valley and valley of St. Nicholas Valley's using the identification method of Density-based Clustering and Improved Nearest Neighbor applied on social networks. - Karen Simonyan, Andrew Zisserman:
Two-Stream Convolutional Networks for Action Recognition in Videos. - Zhen Liu, Weike Dong, Yan Fu:
Local degree blocking model for missing link prediction in complex networks. - Sandra Williams, Richard Power, Allan Third:
How Easy is it to Learn a Controlled Natural Language for Building a Knowledge Base? - Juan Pablo Carbajal, Joni Dambre, Michiel Hermans, Benjamin Schrauwen:
Memristor models for machine learning. - Timothy T. Lenczycki, Kelly Suto, Christina Williams, Michelle Mills Strout:
The Chemistry Between High School Students and Computer Science. - Max Jaderberg, Karen Simonyan, Andrea Vedaldi, Andrew Zisserman:
Synthetic Data and Artificial Neural Networks for Natural Scene Text Recognition. - Bryan Knowles, Mustafa Atici:
Fault-Tolerant, but Paradoxical Path-Finding in Physical and Conceptual Systems. - Michael R. Smith, Tony R. Martinez, Michael Gashler:
A Hybrid Latent Variable Neural Network Model for Item Recommendation. - Ahmed El Shafie, Tamer Khattab, Amr El-Keyi, H. Vincent Poor:
Energy-Efficient Cooperative Cognitive Relaying Protocols for Full-Duplex Cognitive Radio Users and Delay-Aware Primary Users. - Ankit R. Chadha, Rishikesh Misal, Tanaya Mokashi, Aman Chadha:
ARC Sort: Enhanced and Time Efficient Sorting Algorithm. - Jared Davis, Matt Kaufmann:
Industrial-Strength Documentation for ACL2. 9-25 - Chunyu Wang, Yizhou Wang, Zhouchen Lin, Alan L. Yuille, Wen Gao:
Robust Estimation of 3D Human Poses from a Single Image. - David Eigen, Christian Puhrsch, Rob Fergus:
Depth Map Prediction from a Single Image using a Multi-Scale Deep Network. - Navya Chodisetti:
A Piggybank Protocol for Quantum Cryptography. - John Lamping, Eric Veach:
A Fast, Minimal Memory, Consistent Hash Algorithm. - Siddharth Barman:
Approximating Carathéodory's Theorem and Nash Equilibria. - Gordon J. Pace, Michael Rosner:
Explaining Violation Traces with Finite State Natural Language Generation Models. - Manpreet Kaur, Abhilasha:
Survey on Variants of Distributed Energy efficient Clustering Protocols in heterogeneous Wireless Sensor Network. - Vigale Leelanubari Giadom, Edem E. Williams:
Context management strategies in wireless network. - Szymon Grabowski, Marcin Raniszewski:
Sampling the suffix array with minimizers. - Sandro Sozzo:
Conjunction and Negation of Natural Concepts: A Quantum-theoretic Modeling. - Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza:
Distilling Abstract Machines (Long Version). - Wenhao Lu, Xiaochen Lian, Alan L. Yuille:
Parsing Semantic Parts of Cars Using Graphical Models and Segment Appearance Consistency. - Xu Chen, Xiuyuan Cheng, Stéphane Mallat:
Unsupervised Learning by Deep Scattering Contractions. - Ryan Compton, Matthew S. Keegan, Jiejun Xu:
Inferring the geographic focus of online documents from social media sharing patterns. - Ezilda Almeida, Pedro Ferreira, Tiago T. V. Vinhoza, Inês de Castro Dutra
, Jingwei Li, Yirong Wu, Elizabeth S. Burnside:
ExpertBayes: Automatically refining manually built Bayesian networks. - Tehila Minkus, Nasir D. Memon:
Leveraging Personalization To Facilitate Privacy. - Dana Dannélls, Normunds Gruzitis:
Controlled Natural Language Generation from a Multilingual FrameNet-based Grammar. - Hilton Bristow, Simon Lucey:
Optimization Methods for Convolutional Sparse Coding. - Hilton Bristow, Simon Lucey:
Why do linear SVMs trained on HOG features perform so well? - Bodhayan Roy:
Point visibility graph recognition is NP-hard. - Chunhe Hu, Zongji Chen:
Distributed consensus on minimum time rendezvous via cyclic alternating projection. - Chunhe Hu, Zongji Chen:
Distributed MIN-MAX Optimization Application to Time-optimal Consensus: An Alternating Projection Approach. - Sunil Kumar Kopparapu, Meghna Pandharipande, G. Sita:
Music and Vocal Separation Using Multi-Band Modulation Based Features. - Stefano Salsano, Giuseppe Siracusano, Andrea Detti, Claudio Pisa, Pier Luigi Ventre, Nicola Blefari-Melazzi:
Controller selection in a Wireless Mesh SDN under network partitioning and merging scenarios. - Seyed Akbar Mostafavi, Mehdi Dehghan:
Decentralized Adaptive Helper Selection in Multi-channel P2P Streaming Systems. - Yuan Li, Nikolaos Pappas, Vangelis Angelakis, Michal Pióro, Di Yuan:
Optimization of Free Space Optical Wireless Network for Cellular Backhauling. - Hugo Firth, Paolo Missier:
ProvGen: generating synthetic PROV graphs with predictable structure. - Bo Xin, David P. Wipf:
Exploring Algorithmic Limits of Matrix Rank Minimization under Affine Constraints. - Tim Taylor:
WebAL-1: Workshop on Artificial Life and the Web 2014 Proceedings. - Richard T. B. Ma:
Subsidization Competition: Vitalizing the Neutral Internet. - Romain Campigotto, Patricia Conde Céspedes, Jean-Loup Guillaume:
A Generalized and Adaptive Method for Community Detection. - Wojciech Mazurczyk, Steffen Wendzel, Ignacio Azagra Villares, Krzysztof Szczypiorski:
On Importance of Steganographic Cost For Network Steganography. - Dominik Egarter, Christoph Prokop, Wilfried Elmenreich:
Load Hiding of Household's Power Demand. - Guntis Barzdins:
FrameNet CNL: a Knowledge Representation and Information Extraction Language. - Fabrício Olivetti de França:
Maximizing Diversity for Multimodal Optimization. - Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid:
Faithful Glitch Propagation in Binary Circuit Models. - Fabrício Olivetti de França, Guilherme Palermo Coelho:
A Flexible Fitness Function for Community Detection in Complex Networks. - Nicoleta Arghira, Ioana Fagarasan, Grigore Stamatescu, Sergiu Stelian Iliescu, Iulia Stamatescu, Vasile Calofir:
Some Aspects concerning the Cyber-Physical Systems Approach in Power Systems. - Roy Dong, Alvaro A. Cárdenas, Lillian J. Ratliff, Henrik Ohlsson, S. Shankar Sastry:
Quantifying the Utility-Privacy Tradeoff in the Smart Grid. - Yann N. Dauphin, Razvan Pascanu, Çaglar Gülçehre, Kyunghyun Cho, Surya Ganguli, Yoshua Bengio:
Identifying and attacking the saddle point problem in high-dimensional non-convex optimization. - D. H. Apriyanti, Aniati Murni Arymurthy, Laksana Tri Handoko:
Identification of Orchid Species Using Content-Based Flower Image Retrieval. - Erik D. Demaine, Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil, Somnath Sikdar, Blair D. Sullivan:
Structural Sparsity of Complex Networks: Random Graph Models and Linear Algorithms. - Christoph Haase, Simon Halfon:
Integer Vector Addition Systems. - Shahab U. Ansari, Sameen Mansha:
Simulation based Hardness Evaluation of a Multi-Objective Genetic Algorithm. - (Withdrawn) Application and Verification of Algorithm Learning Based Neural Network.
- Ashesh Jain, Debarghya Das, Ashutosh Saxena:
PlanIt: A Crowdsourcing Approach for Learning to Plan Paths from Large Scale Preference Feedback. - Julien Audiffren, Hachem Kadri:
Equivalence of Learning Algorithms. - Ilya Loshchilov, Marc Schoenauer, Michèle Sebag, Nikolaus Hansen:
Maximum Likelihood-based Online Adaptation of Hyper-parameters in CMA-ES. - Oded Green, Saher Odeh, Yitzhak Birk:
Merge Path - A Visually Intuitive Approach to Parallel Merging. - Mo Ghorbanzadeh, Ahmed Abdel-Hadi, Charles Clancy:
A Utility Proportional Fairness Radio Resource Block Allocation in Cellular Networks. - Mo Ghorbanzadeh, Ahmed Abdel-Hadi, Charles Clancy:
A Utility Proportional Fairness Resource Allocation in Spectrally Radar-Coexistent Cellular Networks. - Jirí Matousek:
Intersection graphs of segments and ∃ℝ. - Holger R. Roth, Le Lu, Ari Seff, Kevin M. Cherry, Joanne Hoffman, Shijun Wang, Jiamin Liu, Evrim Turkbey, Ronald M. Summers:
A New 2.5D Representation for Lymph Node Detection using Random Sets of Deep Convolutional Neural Network Observations. - Ali Elouafiq, Redouan Abid:
Geographical Asynchronous Information Access for Distributed Systems. - Franz J. Király, Martin Kreuzer, Louis Theran:
Learning with Cross-Kernels and Ideal PCA. - (Withdrawn) Fast Matrix Multiplication with Sketching.
- Herbert Jaeger:
Conceptors: an easy introduction. - Ryan Kiros, Richard S. Zemel, Ruslan Salakhutdinov:
A Multiplicative Model for Learning Distributed Text-Based Attribute Representations. - Chris Marriott, Jobran Chebib:
The Effect of Social Learning on Individual Learning and Evolution. - Hanna Furmanczyk, Marek Kubale, Stanislaw P. Radziszowski:
On bipartization of cubic graphs by removal of an independent set. - George Papandreou:
Deep Epitomic Convolutional Neural Networks. - Harpreet S. Dhillon, Giuseppe Caire:
Wireless Backhaul Networks: Capacity Bound, Scalability Analysis and Design Guidelines. - Krispin A. Davies, Alejandro Ramirez-Serrano, Graeme N. Wilson, Mahmoud Mustafa:
Rapid Control Selection through Hill-Climbing Methods. - Mishari Al Mishari, Dali Kaafar, Gene Tsudik, Ekin Oguz:
Are 140 Characters Enough? A Large-Scale Linkability Study of Tweets. - Jörg Bornschein, Yoshua Bengio:
Reweighted Wake-Sleep. - Hongguang Sun, Matthias Wildemeersch, Min Sheng, Tony Q. S. Quek:
D2D Enhanced Heterogeneous Cellular Networks with Dynamic TDD. - Xuezhi Yang:
A multi-level soft frequency reuse technique for wireless communication systems. - S. Taruna, Pratibha Singh, Soshya Joshi:
Green Computing In Developed And Developing Countries. - Jian Zhao, Hengzhu Liu, Xucan Chen, Zhengfa Liang:
Realization and design of a pilot assist decision-making system based on speech recognition. - A. Sai Charan, N. K. Manasa, N. V. S. N. Sarma:
Out Performance Of Cuckoo Search Algorithm Among Nature Inspired Algorithms in Planar Antenna Arrays. - Hadeel Saleh Haj Aliwi, Putra Sumari:
real-time audio translation module between iax and rsw. - Vladimir V. Rybakov:
Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility. - Chulong Liang, Jingnan Hu, Xiao Ma, Baoming Bai:
A New Class of Multiple-rate Codes Based on Block Markov Superposition Transmission. - Monire Norouzi, Saeed Parsa, Ali Mahjur:
A new approach for formal behavioral modeling of protection services in antivirus systems. - Song Gao:
Towards a Frontier of Spatial Scientometric Studies. - Martin Haenggi:
The Mean Interference-to-Signal Ratio and its Key Role in Cellular and Amorphous Networks. - Shantanu Das, Dariusz Dereniowski, Adrian Kosowski, Przemyslaw Uznanski:
Rendezvous of Distance-aware Mobile Agents in Unknown Graphs. - Yin Li, Xiaodi Hou, Christof Koch, James M. Rehg, Alan L. Yuille:
The Secrets of Salient Object Segmentation. - Bilal Kanso, Omar Chebaro:
Compositional Testing For FSM-Based Models. - Basri Ahmedi, Pece Mitrevski:
On the Development of Methodology for Planning and Cost-Modeling of a Wide Area Network. - Jürgen Zechner, Benjamin Marussig, Gernot Beer, Thomas-Peter Fries:
Isogeometric Boundary Element Method with Hierarchical Matrices. - Virginia Maria Araujo, José Ayude Vazquez, Manuel Pérez Cota:
A Framework for the Evaluation of SaaS Impact. - Roberto E. Lopez-Herrejon, Javier Ferrer, Francisco Chicano, Lukas Linsbauer, Alexander Egyed, Enrique Alba:
A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines. - Gudmund Grov:
Some Ideas for Program Verifier Tactics. - Shao-Lun Huang, Lizhong Zheng:
The Linear Information Coupling Problems. - Tarek Menouer
, Bertrand Le Cun:
Partitionnement Déterministe pour Résoudre les Problèmes de Programmation Par Contraintes en utilisant le Framework Parallèle Bobpp. - Tomasz Jurdzinski, Dariusz R. Kowalski, Michal Rózanski, Grzegorz Stachowiak:
On the Impact of Geometry on Ad Hoc Communication in Wireless Networks. - Umberto Grandi:
The Common Structure of Paradoxes in Aggregation Theory. - Jennifer Barry, Daniel T. Barry, Scott Aaronson:
Quantum POMDPs. - Jose Teixeira, Reima Suomi:
A Literature Review on Information Systems Supporting the Physical Wellbeing of Elderly People. - Emil Björnson, Eduard A. Jorswieck, Mérouane Debbah, Björn E. Ottersten:
Multi-Objective Signal Processing Optimization: The Way to Balance Conflicting Metrics in 5G Systems. - Ulf Schöneberg, Wolfram Sperber:
POS Tagging and its Applications for Mathematics. - Stasa Milojevic, Cassidy R. Sugimoto, Vincent Larivière, Mike Thelwall
, Ying Ding:
The role of handbooks in knowledge creation and diffusion: A case of science and technology studies. - Jonathan Tapson, Philip de Chazal, André van Schaik:
Explicit Computation of Input Weights in Extreme Learning Machines. - Jürgen T. Geiger, Maximilian Kneißl, Björn W. Schuller, Gerhard Rigoll:
Acoustic Gait-based Person Identification using Hidden Markov Models. - Mohammad Noshad, Maïté Brandt-Pearce:
Hadamard Coded Modulation for Visible Light Communications. - Steffen Wendzel, Sebastian Zander, Bernhard Fechner, Christian Herdin:
A Pattern-based Survey and Categorization of Network Covert Channel Techniques. - Hazem Safwat, Brian Davis:
A Brief State of the Art for Ontology Authoring. - Nino Antulov-Fantulin, Alen Lancic, Tomislav Smuc, Hrvoje Stefancic, Mile Sikic:
Detectability limits of epidemic sources in networks. - Abhishek Samvedi, Sparsh Owlak, Vijay Kumar Chaurasia:
Improved Secure Address Resolution Protocol. - Rajai Nasser:
Ergodic Theory Meets Polarization. II: A Foundation of Polarization Theory. - Jaroslaw Byrka, Thomas W. Pensyl, Bartosz Rybicki, Aravind Srinivasan, Khoa Trinh:
An Improved Approximation for $k$-median, and Positive Correlation in Budgeted Optimization. - Steve Branson, Grant Van Horn, Serge J. Belongie, Pietro Perona:
Bird Species Categorization Using Pose Normalized Deep Convolutional Nets. - Md. Munjure Mowla, M. Y. Ali, S. M. Mahmud Hasan:
A Modified Design of ACF Operation for Reducing PAPR of OFDM Signal. - Shanan Peters, Ce Zhang, Miron Livny, Christopher Ré:
A machine-compiled macroevolutionary history of Phanerozoic life. - Yilun Wang, Xinhua Su:
Truncated Nuclear Norm Minimization for Image Restoration Based On Iterative Support Detection. - Hani Safadi, Samer Faraj:
Toward a Local Perspective on Online Collaboration. - Jonathan Tompson, Arjun Jain, Yann LeCun, Christoph Bregler:
Joint Training of a Convolutional Network and a Graphical Model for Human Pose Estimation. - Tyler Kaczmarek, Alfred Kobsa, Robert Sy, Gene Tsudik:
User Errors in the Performance of Security Critical Tasks in the Context of Adversarial Noise. - Weiguang Ding, Graham W. Taylor:
"Mental Rotation" by Optimizing Transforming Distance. - Md. Munjure Mowla, Liton Chandra Paul, Md. Rabiul Hasan:
Comparative Performance Analysis of Different Modulation Techniques for PAPR Reduction of OFDM Signal. - Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii:
Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries. - Jirí Matousek, Zuzana Safernová:
Multilevel polynomial partitions and simplified range searching. - Stasys Jukna:
Lower Bounds for Tropical Circuits and Dynamic Programs. - Vamsi Sashank Kotagiri:
A New Result on the Random Residue Sequence Algorithm. - Tuan Phung-Duc:
Exact Solutions for M/M/c/Setup Queues. - Yingjie Wu, Daxin Zhu, Lei Wang, Xiaodong Wang:
A note on the largest number of red nodes in red-black trees. - Philip de Chazal, Jonathan Tapson, André van Schaik:
Learning ELM network weights using linear discriminant analysis. - Wei Kang, Daming Cao, Nan Liu:
Deception with Side Information in Biometric Authentication Systems. - Yuval Elovici, Lior Rokach:
Reaction to New Security Threat Class. - Anh Nguyen, Amy Banic:
Low-cost Augmented Reality prototype for controlling network devices. - Saraswati Mishra, Shikha Dhankar, Kavita Choudhary:
Impact of Internet Governance. - Monowar Hasan, Ekram Hossain:
Distributed Resource Allocation for Relay-Aided Device-to-Device Communication: A Message Passing Approach. - Serge Gaspers, Stefan Szeider:
Guarantees and Limits of Preprocessing in Constraint Satisfaction and Reasoning. - Harald Zankl, Bertram Felgenhauer, Aart Middeldorp:
Labelings for Decreasing Diagrams. - Jonathan Ling, Satish Kanugovi, Subramanian Vasudevan, A. Krishna Pramod:
Enhanced capacity & coverage by Wi-Fi LTE Integration. - Francesco Bonanno, Giacomo Capizzi, Grazia Lo Sciuto, Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana:
A Cascade Neural Network Architecture investigating Surface Plasmon Polaritons propagation for thin metals in OpenMP. - Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana:
A hybrid neuro-wavelet predictor for QoS control and stability. - Laura Toni, Ramon Aparicio-Pardo, Karine Pires, Gwendal Simon, Alberto Blanc, Pascal Frossard:
Optimized Adaptive Streaming Representations based on System Dynamics. - Jérôme Plût, Pierre-Alain Fouque, Gilles Macario-Rat:
Solving the "Isomorphism of Polynomials with Two Secrets" Problem for all Pairs of Quadratic Forms. - Ang Yang, Zunwen He, Chengwen Xing, Zesong Fei, Jingming Kuang:
The Role of Large-Scale Fading in Uplink Massive MIMO Systems. - Simon Gog, Matthias Petri:
Compact Indexes for Flexible Top-k Retrieval. - Sunil Kumar Kopparapu, M. Satish:
Optimal Gaussian Filter for Effective Noise Filtering. - Elisabeth Lex, Inayat Khan, Horst Bischof
, Michael Granitzer:
Assessing the Quality of Web Content. - Hadi Fanaee-T, João Gama
:
An eigenvector-based hotspot detection. - Junaid Qadir, Adeel Baig, Asad Ali, Quratulain Shafi:
Multicasting in Cognitive Radio Networks: Algorithms, Techniques and Protocols. - (Withdrawn) Systematic Design of Trust Management Systems for Wireless Sensor Networks: A Review.
- (Withdrawn) BT-GPSR: An Integrated Trust Model for Secure Geographic Routing in Wireless Sensor Networks.
- Pascal Caron, Marianne Flouret, Ludovic Mignot:
(k, l)-Unambiguity and Quasi-Deterministic Structures. - Andrea Burattin, Giuseppe Cascavilla, Mauro Conti:
SocialSpy: Browsing (Supposedly) Hidden Information in Online Social Networks. - Andreas Möller, Stefan Diewald, Luis Roalter, Matthias Kranz:
Supporting Mobile Multimodal Interaction with a Rule-Based Framework. - François Duport, Akram Akrout, Anteo Smerieri, Marc Haelterman, Serge Massar:
Analog input layer for optical reservoir computers. - Wentan Yi, Shaozhen Chen, Kuanyang Wei:
Zero-Correlation Linear Cryptanalysis of Reduced Round ARIA with Partial-sum and FFT. - Peter Jonsson, Victor Lagerkvist, Johannes Schmidt, Hannes Uppman:
Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis. - Dominik Egarter, Andrea Monacchi, Tamer Khatib, Wilfried Elmenreich:
Integration of Legacy Appliances into Home Energy Management Systems. - Hadi Fanaee-T, Márcia D. B. Oliveira, João Gama
, Simon Malinowski, Ricardo Morla
:
Event and Anomaly Detection Using Tucker3 Decomposition. - Krzysztof J. Geras, Charles Sutton:
Scheduled denoising autoencoders. - Matthieu Geist, Olivier Pietquin:
Kalman Temporal Differences. - Hadi Fanaee-T, Mehran Yazdi:
A Semantic VSM-Based Recommender System. - Andrew Chi-Chih Yao:
An n-to-1 Bidder Reduction for Multi-item Auctions and its Applications. - Riko Jacob, Tobias Lieber, Nodari Sitchinava:
On the Complexity of List Ranking in the Parallel External Memory Model. - Jan A. Bergstra, Alban Ponse:
Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals. - Erik Cuevas, Miguel Cienfuegos, Daniel Zaldivar, Marco Antonio Pérez Cisneros:
A swarm optimization algorithm inspired in the behavior of the social-spider. - Matthew Mayo:
A Clustering Analysis of Tweet Length and its Relation to Sentiment. - Manolis Christodoulakis, Patrick J. Ryan, W. F. Smyth, Shu Wang:
Indeterminate Strings, Prefix Arrays & Undirected Graphs. - Cesar F. Caiafa, Andrzej Cichocki:
Stable, Robust and Super Fast Reconstruction of Tensors Using Multi-Way Projections. - Hongchuan Wei, Wenjie Lu, Silvia Ferrari:
An Information Value Function for Nonparametric Gaussian Processes. - Alastair F. Donaldson, Vasco T. Vasconcelos:
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. EPTCS 155, 2014 [contents] - Timo Mennle, Sven Seuken:
The Naive versus the Adaptive Boston Mechanism. - Julien Mairal, Piotr Koniusz, Zaïd Harchaoui, Cordelia Schmid:
Convolutional Kernel Networks. - Jared M. Moore, Anthony J. Clark, Philip K. McKinley:
Evolutionary Robotics on the Web with WebGL and Javascript. - Yinlam Chow, Mohammad Ghavamzadeh:
Algorithms for CVaR Optimization in MDPs. - Yu-Chih Huang, Krishna R. Narayanan:
Lattices from Codes for Harnessing Interference: An Overview and Generalizations. - Tim Smith:
On Infinite Words Determined by Indexed Languages. - Ugo Dal Lago, Sara Zuppiroli:
Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version). - Rumi Ghosh, Kristina Lerman, Shang-Hua Teng, Xiaoran Yan:
The Interplay Between Dynamics and Networks: Centrality, Communities, and Cheeger Inequality. - Paraskevas V. Lekeas:
An Evolutionary Approach to Coalition Formation. - Olaf Hartig, Bryan Thompson:
Foundations of an Alternative Approach to Reification in RDF. - Sasa Jokic, Petr Novikov, Stuart Maggs, Dori Sadan, Shihui Jin, Cristina Nan:
Robotic positioning device for three-dimensional printing. - Jungho So, Donggun Kim, Yuni Lee, Youngchul Sung:
Pilot Signal Design for Massive MIMO Systems: A Received Signal-To-Noise-Ratio-Based Approach. - Sanguthevar Rajasekaran, Marius Nicolae:
An error correcting parser for context free grammars that takes less than cubic time. - Gang Chen, Sargur N. Srihari:
Restricted Boltzmann Machine for Classification with Hierarchical Correlated Prior. - Danai Koutra, U Kang, Jilles Vreeken, Christos Faloutsos:
VoG: Summarizing and Understanding Large Graphs. - Min Hua, Kristo W. Yang, Mao Wang, Kingsley J. Zou:
Analysis of the Frequency Offset Effect on Zadoff-Chu Sequence Timing Performance. - Martin Fürer, Huiwen Yu:
Space Saving by Dynamic Algebraization. - Ankit Chaudhary, Jagdish Lal Raheja, Karen Das, Shekhar Raheja:
Fingers' Angle Calculation using Level-Set Method. - Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher:
A Model for Variation- and Fault-Tolerant Digital Logic using Self-Assembled Nanowire Architectures. - Anas Chaaban, Henning Maier, Aydin Sezgin:
The Degrees-of-Freedom of Multi-way Device-to-Device Communications is Limited by 2. - Karolina Suchowolec:
Are Style Guides Controlled Languages? The Case of Koenig & Bauer AG. - Yakiv O. Kalinovsky, Dmitry V. Lande, Yuliya E. Boyarinova, Alina S. Turenko:
Clifford Type Algebra Characteristics Investigation. - Helena Astola, Ioan Tabus:
On the Linear Programming Bound for Lee-codes. - Sijin Li, Zhi-Qiang Liu, Antoni B. Chan:
Heterogeneous Multi-task Learning for Human Pose Estimation with Deep Convolutional Neural Network. - Dimitris Mostrous:
Multiparty Sessions based on Proof Nets. 1-8 - Sam Lindley
, J. Garrett Morris
:
Sessions as Propositions. 9-16 - Francesco Tiezzi, Nobuko Yoshida
:
Towards Reversible Sessions. 17-24 - Dimitrios Kouzapas
, Ramunas Gutkovas, Simon J. Gay:
Session Types for Broadcasting. 25-31 - Rumyana Neykova
, Nobuko Yoshida:
Multiparty Session Actors. 32-37 - Tzu-Chun Chen
:
Lightening Global Types. 38-46 - Stefan Blom, Saeed Darabi, Marieke Huisman
:
Verifying Parallel Loops with Separation Logic. 47-53 - Janwillem Swalens, Stefan Marr
, Joeri De Koster, Tom Van Cutsem:
Towards Composable Concurrency Abstractions. 54-60 - Mariangiola Dezani-Ciancaglini
, Luca Padovani
, Jovanka Pantovic
:
Session Type Isomorphisms. 61-71 - S. Taruna, Bhumika Pahwa:
A Novel Scheme to improve spectrum sensing performance. - Hadi Fanaee-T, João Gama:
EigenEvent: An Algorithm for Event Detection from Complex Data Streams in Syndromic Surveillance. - Matteo Pirotta, Simone Parisi, Marcello Restelli:
Multi-objective Reinforcement Learning with Continuous Pareto Frontier Approximation. - Gernot Beer, Benjamin Marussig, Jürgen Zechner, Christian Dünser, Thomas-Peter Fries:
Boundary Element Analysis with trimmed NURBS and a generalized IGA approach. - Hadi Fanaee-T, João Gama:
Eigenspace Method for Spatiotemporal Hotspot Detection. - Marco Di Summa, Friedrich Eisenbrand, Yuri Faenza, Carsten Moldenhauer:
On largest volume simplices and sub-determinants. - Marek Karpinski, Roland Markó:
Limits of CSP Problems and Efficient Parameter Testing. - Saraswati Mishra, Prabhjot Kaur:
Energy efficient neighbor selection for flat wireless sensor networks. - Ammar Lahlouhi:
Methodological Societies. - Wei Di, Anurag Bhardwaj, Vignesh Jagadeesh, Robinson Piramuthu, Elizabeth F. Churchill:
When relevance is not Enough: Promoting Visual Attractiveness for Fashion E-commerce. - Siamak Sarmady, Fazilah Haron, Abdullah Zawawi Talib:
Simulation of Pedestrian Movements Using Fine Grid Cellular Automata Model. - Kumar Vijay Mishra, Anton Kruger, Witold F. Krajewski:
Compressed Sensing Applied to Weather Radar. - Aaron D. Jaggard, Aaron Johnson, Paul F. Syverson, Joan Feigenbaum:
Representing Network Trust and Using It to Improve Anonymous Communication. - Akaki Mamageishvili, Matús Mihalák, Simone Montemezzani:
An $H_{n/2}$ Upper Bound on the Price of Stability of Undirected Network Design Games. - Daniel Zaldivar, Erik Cuevas, Marco Antonio Pérez Cisneros, Juan Humberto Sossa Azuela, Jose G. Rodriguez, Edgar O. Palafox:
An Educational Fuzzy-based Control platform using LEGO Robots. - Charilaos Efthymiou:
Reconstruction/Non-reconstruction Thresholds for Colourings of General Galton-Watson Trees. - Xinlin Zhang, Michail Matthaiou
, Emil Björnson, Mikael Coldrey, Mérouane Debbah:
On the MIMO Capacity with Residual Transceiver Hardware Impairments. - Xinlin Zhang, Michail Matthaiou
, Mikael Coldrey, Emil Björnson:
Impact of Residual Transmit RF Impairments on Training-Based MIMO Systems. - Aline Medeiros Saettler, Eduardo Sany Laber, Ferdinando Cicalese:
Trading off Worst and Expected Cost in Decision Tree Problems and a Value Dependent Model. - Domenico Bianculli, Carlo Ghezzi, Srdan Krstic:
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. - Mylonas Charilaos:
Analysis of networking characteristics of different personality types. - Jelena Marasevic, Cliff Stein, Gil Zussman:
Max-min Fair Rate Allocation and Routing in Energy Harvesting Networks: Algorithmic Analysis. - Aurko Roy:
Deterministic polynomial factoring under the assumption of the Extended Riemann Hypothesis (ERH). - Antoine Bordes, Sumit Chopra, Jason Weston:
Question Answering with Subgraph Embeddings. - Srishti Gupta, Ponnurangam Kumaraguru:
Emerging Phishing Trends and Effectiveness of the Anti-Phishing Landing Page. - Neha Gupta, Anupama Aggarwal, Ponnurangam Kumaraguru:
bit.ly/malicious: Deep Dive into Short URL based e-Crime Detection. - Prateek Dewan, Anand Kashyap, Ponnurangam Kumaraguru:
Analyzing Social and Stylometric Features to Identify Spear phishing Emails. - Partha Pratim Ray:
Channel Modeling of Human Somatosensory Nanonetwork: Body Discriminative Touch and Proprioception Perspective. - Ivo Jimenez, Carlos Maltzahn, Jay F. Lofstead:
Distributed Versioned Object Storage - Alternatives at the OSD layer (Poster Extended Abstract). - Bingkai Lin:
The Parameterized Complexity of k-Biclique. - Richa Sharma, Shweta Nigam, Rekha Jain:
Mining of product reviews at aspect level. - Willem L. Fouché
, Safari Mukeru
, George Davie:
Fourier spectra of measures associated with algorithmically random Brownian motion. - Ankur Sahai:
Evaluation of Machine Learning Techniques for Green Energy Prediction. - N. Md. Jubair Basha, Chandra Mohan:
A methodology to identify the level of reuse using template factors. - N. Md. Jubair Basha, Salman Abdul Moiz:
Component Based Software Development: A State of Art. - José Carlos Marinello Filho, Taufik Abrão:
BER Analysis of Multi-Cellular MIMO Systems with Increasing Number of BS Antennas. - Nishant A. Mehta, Robert C. Williamson:
From Stochastic Mixability to Fast Rates. - Zhiliang Qian:
High Performance Network-on-Chips (NoCs) Design: Performance Modeling, Routing Algorithm and Architecture Optimization. - Tao Xiong, Yukun Bao, Zhongyi Hu:
Interval Forecasting of Electricity Demand: A Novel Bivariate EMD-based Support Vector Regression Modeling Framework. - Cheston Tan
, Tomaso A. Poggio:
Neural tuning size is a key factor underlying holistic face processing. - Petr A. Golovach, Pinar Heggernes, Pim van 't Hof, Christophe Paul:
Hadwiger number of graphs with small chordality. - Francesco Orabona:
Simultaneous Model Selection and Optimization through Parameter-free Stochastic Learning. - Misha Denil, Alban Demiraj, Nal Kalchbrenner, Phil Blunsom, Nando de Freitas:
Modelling, Visualising and Summarising Documents with a Single Convolutional Neural Network. - Paul Liu, Daniel Lu:
A fast 25/6-approximation for the minimum unit disk cover problem. - Tor Lattimore, Koby Crammer, Csaba Szepesvári:
Optimal Resource Allocation with Semi-Bandit Feedback. - Jaziar Radianti, Julie Dugdale, Jose J. Gonzalez, Ole-Christoffer Granmo:
Smartphone sensing platform for emergency management. - Taylor Gordon:
The Minimum Bends in a Polyline Drawing with Fixed Vertex Locations. - X. Luo, Rodrigo C. de Lamare, Keke Zu:
Successive Optimization Tomlinson-Harashima Precoding Strategies for Physical-Layer Security in Wireless Networks. - Iaakov Exman, Alex Krepch:
An Anti_Turing Test: Reduced Variables for Social Network Friends' Recommendations. - Shawn M. Jones
, Michael L. Nelson, Harihar Shankar, Herbert Van de Sompel:
Bringing Web Time Travel to MediaWiki: An Assessment of the Memento MediaWiki Extension. - Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo:
Argument Ranking with Categoriser Function. - Yui Noma, Makiko Konoshima:
Eclipse Hashing: Alexandrov Compactification and Hashing with Hyperspheres for Fast Similarity Search. - Georgios Evangelopoulos
, Stephen Voinea, Chiyuan Zhang, Lorenzo Rosasco, Tomaso A. Poggio:
Learning An Invariant Speech Representation. - Honggang Hu:
Comments on "A New Method to Compute the 2-Adic Complexity of Binary Sequences". - Weiran Wang, Miguel Á. Carreira-Perpiñán:
The Laplacian K-modes algorithm for clustering. - Liya Fan, Bo Gao, Fa Zhang, Zhiyong Liu:
OS4M: Achieving Global Load Balance of MapReduce Workload by Scheduling at the Operation Level. - Roozbeh Mottaghi, Sanja Fidler, Alan L. Yuille, Raquel Urtasun, Devi Parikh:
Human-Machine CRFs for Identifying Bottlenecks in Holistic Scene Understanding. - Sankar Mukherjee, Shyamal Kumar Das Mandal:
A Bengali HMM Based Speech Synthesis System. - (Withdrawn) Personalized Medical Treatments Using Novel Reinforcement Learning Algorithms.
- Yasin Abbasi-Yadkori, Csaba Szepesvári:
Bayesian Optimal Control of Smoothly Parameterized Systems: The Lazy Posterior Sampling Algorithm. - Mrudula Sarvabhatla, M. Giri, Chandra Sekhar Vorugunti:
Cryptanalysis of Cryptanalysis and Improvement of Yan et al Biometric-Based Authentication Scheme for TMIS. - Jamil Ahmad, Zahoor Jan, Zia Ud Din, Shoaib Muhammad Khan:
A Fusion of Labeled-Grid Shape Descriptors with Weighted Ranking Algorithm for Shapes Recognition. - Josu Jugo, Mikel Eguiraun, I. Badillo, Iñigo Arredondo, D. Piso:
Design and Performance Analysis of a Non-Standard EPICS Fast Controller. - Siddhartha Ghosh, Sujata Thamke, Kalyani U. R. S:
Translation Of Telugu-Marathi and Vice-Versa using Rule Based Machine Translation. - Julien Cassaigne, Anna E. Frid, Svetlana Puzynina, Luca Q. Zamboni:
Subword complexity and decomposition of the set of factors. - Ramona Enache, Inari Listenmaa, Prasanth Kolachina:
Handling non-compositionality in multilingual CNLs. - Juyeon Kang, Patrick Saint-Dizier:
Towards an Error Correction Memory to Enhance Technical Texts Authoring in LELIE. - Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko:
CTL+FO Verification as Constraint Solving. - Pankaj K. Agarwal, Lars Arge, Thomas Mølhave, Morten Revsbæk, Jungwoo Yang:
Maintaining Contour Trees of Dynamic Terrains. - Dibya Jyoti Bora, Anil Kumar Gupta:
Impact of Exponent Parameter Value for the Partition Matrix on the Performance of Fuzzy C Means Algorithm. - Petros S. Bithas, Athanasios A. Rontogiannis:
Mobile Communication Systems in the Presence of Fading/Shadowing, Noise and Interference. - Grigori Fursin, Christophe Dubach:
Community-driven reviewing and validation of publications. - Michele Focchi, Gustavo A. Medrano-Cerda, Thiago Boaventura Cunha, Marco Frigerio, Claudio Semini, Jonas Buchli, Darwin G. Caldwell:
Robot Impedance Control and Passivity Analysis with Inner Torque and Velocity Feedback Loops. - A. C. Cem Say, Abuzer Yakaryilmaz:
Quantum finite automata: A modern introduction. - John Maheswaran, Daniel Jackowitz, David Isaac Wolinsky, Lining Wang, Bryan Ford:
Crypto-Book: Bootstrapping Privacy Preserving Online Identities from Social Networks. - Radu Curticapean:
Counting perfect matchings in graphs that exclude a single-crossing minor. - Aarne Ranta:
Embedded Controlled Languages. - Jonathan Charest, Jean-François Beaudoin, Jules Cadorette, Roger Lecomte, Charles-Antoine Brunet, Réjean Fontaine:
Automatic Channel Fault Detection and Diagnosis System for a Small Animal APD-Based Digital PET Scanner. - Francesco Dolce:
Regular Interval Exchange Transformations over a Quadratic Field. - Maël Le Treust:
Empirical Coordination for Joint Source-Channel Coding. - Leon Andretti Abdillah
:
Social media as political party campaign in Indonesia. - Artem Melentyev:
Java Modular Extension for Operator Overloading. - Lane A. Hemaspaandra:
Beautiful Structures: An Appreciation of the Contributions of Alan Selman. - Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. - Zhen-Yong Fu, Tao Xiang, Shaogang Gong:
Semantic Graph for Zero-Shot Learning. - N. Md. Jubair Basha, Chandra Mohan:
A strategy to identify components using clustering approach for component reusability. - Le Thanh Tan, Long Bao Le:
Joint Cooperative Spectrum Sensing and MAC Protocol Design for Multi-channel Cognitive Radio Networks. - Daniele Rotolo, Loet Leydesdorff:
Matching MEDLINE/PubMed Data with Web of Science (WoS): A Routine in R-language. - Ahmed M. Alaa:
Band-Sweeping M-ary PSK (BS-M-PSK) Modulation and Transceiver Design. - Dóra Erdös, Vatche Ishakian, Azer Bestavros, Evimaria Terzi:
A Divide-and-Conquer Algorithm for Betweenness Centrality. - Christopher A. Metzler, Arian Maleki, Richard G. Baraniuk:
From Denoising to Compressed Sensing. - David Furcy, Scott M. Summers:
Scaled pier fractals do not strictly self-assemble. - Hung Hai Bui, Tuyen N. Huynh, David A. Sontag:
Lifted Tree-Reweighted Variational Inference. - Ryan Babbush, Vasil S. Denchev, Nan Ding, Sergei Isakov, Hartmut Neven:
Construction of non-convex polynomial loss functions for training a binary classifier with quantum annealing. - Pierre Bourreau, Thierry Poibeau:
Mapping the Economic Crisis: Some Preliminary Investigations. - Fabio Enrique Brochero Martínez:
Number of minimal cyclic codes with given length and dimension. - Shengcai Liao, Yang Hu, Stan Z. Li:
Joint Dimension Reduction and Metric Learning for Person Re-identification. - Shunyuan Ye, Yanming Shen, Shivendra S. Panwar:
Distributed Scheduling Algorithms for Crosspoint-Buffered Switches. - J. Eswari, S. Jeyadevi:
An Evolutionary Approach for Optimal Citing and Sizing of Micro-Grid in Radial Distribution Systems. - Shaull Almagor, Udi Boker, Orna Kupferman:
Discounting in LTL. - Luca Felicetti, Mauro Femminella, Gianluca Reali, Tadashi Nakano, Athanasios V. Vasilakos:
TCP-like molecular communications. - Toni Ernvall, Thomas Westerbäck, Camilla Hollanti:
Constructions of Optimal and Almost Optimal Locally Repairable Codes. - David Sánchez, Montserrat Batet:
C-sanitized: a privacy model for document redaction and sanitization. - Sudip Mittal, Ponnurangam Kumaraguru:
Broker Bots: Analyzing automated activity during High Impact Events on Twitter. - Andreja Cufar, Ales Mrhar, Marko Robnik-Sikonja:
Identifying roles of clinical pharmacy with survey evaluation. - Christopher Meiklejohn:
Vector Clocks in Coq: An Experience Report. - Adrien Gaidon, Gloria Zen, José A. Rodríguez-Serrano:
Self-Learning Camera: Autonomous Adaptation of Object Detectors to Unlabeled Video Streams. - Andre Manoel
, Florent Krzakala, Eric W. Tramel, Lenka Zdeborová:
Sparse Estimation with the Swept Approximated Message-Passing Algorithm. - Garimella Rama Murthy:
Towards a theory of granular sets. - Jinming Wen, Dongfang Li, Fumin Zhu:
Stable Recovery of Sparse Signals via $l_p-$Minimization. - Enrique Orduña-Malea, Emilio Delgado López-Cózar:
The dark side of Open Access in Google and Google Scholar: the case of Latin-American repositories. - Jinming Wen, Xiaomei Zhu, Dongfang Li:
Improved Bounds on the Restricted Isometry Constant for Orthogonal Matching Pursuit. - Daniel Gonçalves
, Mickaël Montassier, Alexandre Pinlou:
Entropy compression method applied to graph colorings. - Daniele Zonetti, Romeo Ortega, Abdelkrim Benchaib:
Modeling and Control of High-Voltage Direct-Current Transmission Systems: From Theory to Practice and Back. - Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts:
On MITL and alternating timed automata over infinite words. - Stefano Rosati, Karol Kruzelecki, Gregoire Heitz, Dario Floreano, Bixio Rimoldi:
Dynamic Routing for Flying Ad Hoc Networks. - Joaquim Borges, Cristina Fernández-Córdoba, Roger Ten-Valls:
Z2Z4-additive cyclic codes, generator polynomials and dual codes. - Keum-Bae Cho:
The number system hidden inside the Boolean satisfiability problem. - Ziming Zhang, Venkatesh Saligrama:
Person Re-identification via Structured Prediction. - Pedro Girão Antunes, David Martins de Matos, Ricardo Ribeiro, Isabel Trancoso:
Automatic Fado Music Classification. - Farzaneh Farhadi
, Farid Ashtiani:
Stability Region of a Slotted Aloha Network with K-Exponential Backoff. - Shanfei Li:
An Improved Approximation Algorithm for the Hard Uniform Capacitated k-median Problem. - Jiwon Shin, Andrey Rusakov, Bertrand Meyer:
Teaching Software Engineering through Robotics. - Erfan Khaji:
Soccer League Optimization: A heuristic Algorithm Inspired by the Football System in European Countries. - Yeon-Sup Lim, Yung-Chih Chen, Erich M. Nahum, Don Towsley, Richard J. Gibbens:
Improving Energy Efficiency of MPTCP for Mobile Devices. - Yaru Fan, Yilun Wang, Ting-Zhu Huang:
Multi-stage Multi-task feature learning via adaptive threshold. - Santiago Segarra, Mark Eisen, Alejandro Ribeiro:
Authorship Attribution through Function Word Adjacency Networks. - Giorgio Valentini:
Notes on hierarchical ensemble methods for DAG-structured taxonomies. - Juan Tang, Wenyuan Wu, Xiaolin Qin, Yong Feng:
Structural index reduction algorithms for differential algebraic equations via fixed-point iteration. - Erik Cuevas:
Block matching algorithm based on Harmony Search optimization for motion estimation. - Hugo Méric, José M. Piquer, Jérôme Lacan:
Quasi-optimal grouping for broadcast systems with hierarchical modulation. - Mohamed-Lamine Messai:
Classification of Attacks in Wireless Sensor Networks. - Erfan Khaji, Amin Satlikh Mohammadi:
A Heuristic Method to Generate Better Initial Population for Evolutionary Methods. - Edwin A. Henneken
, Alberto Accomazzi, Michael J. Kurtz, Carolyn Stern-Grant, Donna M. Thompson, Jay Luker, Roman Chyla, Alexandra Holachek, Stephen S. Murray:
Computing and Using Metrics in the ADS. - Claude Carlet, Finley Freibert, Sylvain Guilley, Michael Kiermaier, Jon-Lark Kim, Patrick Solé:
Higher-order CIS codes. - Mo Ghorbanzadeh, Ahmed Abdel-Hadi, Charles Clancy:
Implementing an Optimal Rate Allocation Tuned to the User Quality of Experience. - Furong Huang, U. N. Niranjan, Animashree Anandkumar:
Integrated Structure and Parameters Learning in Latent Tree Graphical Models. - Xiwang Cao, Lei Hu:
Two Boolean functions with five-valued Walsh spectra and high nonlinearity. - Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay
:
State of Büchi Complementation. - Margreta Kuijper, Anna-Lena Trautmann:
Gröbner Bases for Linearized Polynomials. - Reza Rafie Borujeny, Moslem Noori, Masoud Ardakani:
On the Achievable Rates of Pairwise Multiway Relay Channels. - Alexandre Adrien Chotard, Martin Holena:
A Generalized Markov-Chain Modelling Approach to (1,λ)-ES Linear Optimization: Technical Report. - Renaud Henry, Damien Chablat
, Mathieu Porez, Frédéric Boyer, Daniel Kanaan:
Multi-Objective Design Optimization of the Leg Mechanism for a Piping Inspection Robot. - Ravi Khatwal, Manoj Kumar Jain:
An Efficient Synchronous Static Memory design for Embedded System. - Han Zhao, Pascal Poupart:
A Sober Look at Spectral Learning. - Kleanthis Thramboulidis:
Comments on "A model-based design methodology for the development of mechatronic systems". - Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann:
Optimal Strategy Synthesis for Request-Response Games. - Christoph Berkholz:
The Propagation Depth of Local Consistency. - Parul Kashyap, Rahul Singh:
Crypto multi tenant: an environment of secure computing using cloud sql. - Xu Sun:
Exact Decoding on Latent Variable Conditional Models is NP-Hard. - Nadhir Ben Rached, Fatma Benkhelifa, Abla Kammoun, Mohamed-Slim Alouini, Raúl Tempone:
A Fast Simulation Method for the Sum of Subexponential Distributions. - Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings II: possessive relative pronouns. - Petra Heck, Andy Zaidman:
A Quality Framework for Agile Requirements: A Practitioner's Perspective. - Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä:
Classifying and Propagating Parity Constraints (extended version). - Rahul R. Lanjewar, Dattatraya S. Adane:
Comparative Study of MAC Layer Protocols in Wireless Sensor Networks: A Survey. - Christian Retoré:
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture). - Virendra Sule:
An algorithm for Boolean satisfiability based on generalized orthonormal expansion. - Jannis Bulian, Anuj Dawar:
Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree. - Kaiming He, Xiangyu Zhang, Shaoqing Ren, Jian Sun:
Spatial Pyramid Pooling in Deep Convolutional Networks for Visual Recognition. - Giuseppe Cocco, Stephan Pfletschinger, Mònica Navarro:
Seek and Decode: Random Access with Physical-Layer Network Coding and Multiuser Detection. - Sanjay Chakraborty, Naresh Kumar Nagwani:
Performance Evaluation of Incremental K-means Clustering Algorithm. - Sanjay Majumder, Sanjay Chakraborty, Suman Das:
A New Advanced User Authentication and Confidentiality Security Service. - Sanjay Chakraborty, Naresh Kumar Nagwani, Lopamudra Dey:
Performance Comparison of Incremental K-means and Incremental DBSCAN Algorithms. - Sanjay Chakraborty, Naresh Kumar Nagwani:
Analysis and Study of Incremental DBSCAN Clustering Algorithm. - Sanjay Chakraborty, Naresh Kumar Nagwani, Lopamudra Dey:
Weather Forecasting using Incremental K-means Clustering. - Anthony J. Bagnall, Jason Lines:
An Experimental Evaluation of Nearest Neighbour Time Series Classification. - I. Laurence Aroquiaraj, K. Thangavel:
Mass Classification Method in Mammogram Using Fuzzy K-Nearest Neighbour Equality. - Yi Sun, Xiaogang Wang, Xiaoou Tang:
Deep Learning Face Representation by Joint Identification-Verification. - Andrea Montanari, Emile Richard:
Non-negative Principal Component Analysis: Message Passing Algorithms and Sharp Asymptotics. - Anthony J. Bagnall, Luke M. Davis:
Predictive Modelling of Bone Age through Classification and Regression of Bone Shapes. - Barbara König, Jan Stückrath:
A General Framework for Well-Structured Graph Transformation Systems. - Glenn Lawyer:
Technical Report: Performance of the Expected Force on AS-level Inernet topologies. - Martin Groß, Martin Skutella:
A tight bound on the speed-up through storage for quickest multi-commodity flows. - Charles Soussen, Jérôme Idier, Junbo Duan, David Brie:
ℓ2-ℓ0 regularization path tracking algorithms. - Deepshree A. Vadeyar, Yogish H. K:
Reorganization of Links to Improve User Navigation. - Michael X. Zhou:
A benchmark generator for boolean quadratic programming. - Aruni Choudhary, Michael Kerber:
Local Doubling Dimension of Point Sets. - Exequiel Rivas, Mauro Jaskelioff:
Notions of Computation as Monoids. - (Withdrawn) What is India speaking: The "Hinglish" invasion.
- Yong Tan:
Analyzing Traffic Problem Model With Graph Theory Algorithms. - Zack Fitzsimmons:
Single-Peaked Consistency for Weak Orders Is Easy. 127-140 - Michael J. Kearns, Lili Dworkin:
A Computational Study of Feasible Repackings in the FCC Incentive Auctions. - David Castells-Rufas, Jordi Carrabina, Pablo González de Aledo Marugán, Pablo Sánchez Espeso:
Fast Trace Generation of Many-Core Embedded Systems with Native Simulation. - Adeel Akbar Memon, Chengliang Wang, Muhammad Rashid Naeem, Muhammad Tahir, Muhammad Aamir:
A New Web Based Student Annual Review Information System (SARIS) With Student Success Prediction. - Siddhartha Sarma, Samar Agnihotri, Joy Kuri:
Beam-forming for Secure Communication in Amplify-and-Forward Networks: An SNR based approach. - Diego Sebastián Pérez, Facundo Bromberg, Francisco Gonzalez Antivilo:
Low Cost, High Precision, Autonomous Measurement of Trunk Diameter based on Computer Vision. - Iwan M. Duursma:
Outer bounds for exact repair codes. - Francisco Raposo
, Ricardo Ribeiro, David Martins de Matos:
On the Application of Generic Summarization Algorithms to Music. - Ovidiu-Andrei Schipor, Titus-Marian Nestor:
Automat Parsing of Audio Recordings. Testing Children with Dyslalia. Theoretical Background. - Ovidiu-Andrei Schipor, Stefan Gheorghe Pentiuc, Maria-Doina Schipor:
Architecture of a Fuzzy Expert System Used for Dyslalic Children Therapy. - Ovidiu-Andrei Schipor, Stefan Gheorghe Pentiuc, Doina-Maria Schipor:
Knowledge Base of an Expert System Used for Dyslalic Children Therapy. - Roger Frigola, Yutian Chen, Carl E. Rasmussen:
Variational Gaussian Process State-Space Models. - Joongheon Kim, Andreas F. Molisch, Giuseppe Caire:
Max-Weight Scheduling and Quality-Aware Streaming for Device-to-Device Video Delivery. - Jeremy Kepner, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Vijay Gadepally, Matthew Hubbell, Peter Michaleas, Julie Mullen, Andrew Prout, Albert Reuther, Antonio Rosa, Charles Yee:
Achieving 100, 000, 000 database inserts per second using Accumulo and D4M. - Ming Lei, Mohammad Reza Soleymani:
Diversity Multiplexing Tradeoff of the Half-duplex Slow Fading Multiple Access Channel based on Generalized Quantize-and-Forward Scheme. - Tapalina Bhattasali, Rituparna Chaki, Nabendu Chaki:
Study of Security Issues in Pervasive Environment of Next Generation Internet of Things. - Siddharth Pritam:
"Infographics" team: Selecting Control Parameters via Maximal Fisher Information. - Leon Andretti Abdillah
:
IT based social media impacts on Indonesian general legislative elections 2014. - Sukru Burc Eryilmaz, Duygu Kuzum, Rakesh Gnana David Jeyasingh, SangBum Kim, Matthew BrightSky, Chung Lam, H.-S. Philip Wong:
Brain-like associative learning using a nanoscale non-volatile phase change synaptic device array. - Chao Du, Jingdong Wang:
Inner Product Similarity Search using Compositional Codes. - Tiphaine Viard, Matthieu Latapy:
Identifying roles in an IP network with temporal and structural density. - Gaétan Marceau, Marc Schoenauer:
Racing Multi-Objective Selection Probabilities. - Adam Barker, Blesson Varghese, Jonathan Stuart Ward, Ian Sommerville:
Academic Cloud Computing Research: Five Pitfalls and Five Opportunities. - Mikko Vehkaperä, Taneli Riihonen, Maksym A. Girnyk, Emil Björnson, Mérouane Debbah, Lars K. Rasmussen, Risto Wichman:
Asymptotic Analysis of MIMO Channels With Transmitter Noise and Mismatched Decoding. - Thomas Joseph:
Smart city analysis using spatial data and predicting the sustainability. - Jason Crampton, James Sellwood:
Path Conditions and Principal Matching: A New Approach to Access Control. - Arman Farhang, Amir Aminjavaheri, Nicola Marchetti, Linda Doyle, Behrouz Farhang-Boroujeny:
Pilot Decontamination in CMT-based Massive MIMO Networks. - Ravi Khatwal, Manoj Kumar Jain:
Application Specific Cache Simulation Analysis for Application Specific Instruction set Processor. - Rasha Fouad AlCattan:
Integration of Cloud Computing and Web2.0 Collaboration Technologies in E-Learning. - Uriel Feige:
Why are images smooth? - Sakir Hossain:
Rain Attenuation Prediction for Terrestrial Microwave Link in Bangladesh. - Uldis Bojars, Renars Liepins:
The State of Open Data in Latvia: 2014. - Abhishek Bhola:
Twitter and Polls: Analyzing and estimating political orientation of Twitter users in India General #Elections2014. - Petr Jancar
, Prateek Karandikar, Philippe Schnoebelen:
On Reachability for Unidirectional Channel Systems Extended with Regular Tests. - Sadi Evren Seker, Bilal Cankir, Mehmet Lutfi Arslan:
Information and Communication Technology Reputation for XU030 Quote Companies. - Singh Vijendra, Shivani Pathak:
Robust Outlier Detection Technique in Data Mining: A Univariate Approach. - Vikas Reddy, Conrad Sanderson, Andres Sanin, Brian C. Lovell:
MRF-based Background Initialisation for Improved Foreground Detection in Cluttered Surveillance Videos. - Milind Rao, Francisco Javier López-Martínez, Mohamed-Slim Alouini
, Andrea Goldsmith:
MGF Approach to the Analysis of Generalized Two-Ray Fading Models. - Francisco Javier López-Martínez, Eduardo Martos-Naya, José F. Paris, Andrea Goldsmith:
Eigenvalue Dynamics of a Central Wishart Matrix with Application to MIMO Systems. - Dionna Amalie Glaze, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn:
Pushdown flow analysis with abstract garbage collection. - Qiang Huo, Meng Ma, Bingli Jiao:
Study on Downlink Spectral Efficiency in Orthogonal Frequency Division Multiple Access Systems. - Ohad Shamir:
The Sample Complexity of Learning Linear Predictors with the Squared Loss. - Martha Rosa Cordero Lopez, Marco Antonio Dorantes Gonzalez:
Tollan-Xicocotitlan: A reconstructed City by augmented reality. - Josep Díaz, Ioannis Giotis, Lefteris M. Kirousis, Yiannis Mourtos, Maria J. Serna:
Optimizing the Social Cost of Congestion Games by Imposing Variable Delays. - Jeyanthi Narasimhan, Abhinav Vishnu, Lawrence Holder, Adolfy Hoisie:
Fast Support Vector Machines Using Parallel Adaptive Shrinking on Distributed Systems. - Baichuan Zhang, Tanay Kumar Saha, Mohammad Al Hasan:
Name Disambiguation from link data in a collaboration graph. - Lalitha Saroja Thota, Manal Elsayeed, Naseema Shaik, Tayf Abdullah Ghawa, Ahlam Rashed, Mona Refdan, Wejdan Mohammed, Rawan Ali, Suresh Babu Changalasetty:
Implementation of Tic-Tac-Toe Game in LabVIEW. - Laszlo B. Kish, Claes-Goran Granqvist:
Elimination of a Second-Law-attack, and all cable-resistance-based attacks, in the Kirchhoff-law-Johnson-noise (KLJN) secure key exchange system. - Jake Ryland Williams, Paul R. Lessard, Suma Desu, Eric M. Clark, James P. Bagrow
, Christopher M. Danforth, Peter Sheridan Dodds:
Zipf's law holds for phrases, not words. - Georgia Gkioxari, Bharath Hariharan, Ross B. Girshick, Jitendra Malik:
R-CNNs for Pose Estimation and Action Detection. - Jianjun Yang, Bryson Payne, Markus A. Hitz, Zongming Fei, Le Li, Tongquan Wei:
Location Aided Energy Balancing Strategy in Green Cellular Networks. - Junil Choi, David J. Love:
Bounds on Eigenvalues of a Spatial Correlation Matrix. - Yaniv Taigman, Ming Yang, Marc'Aurelio Ranzato, Lior Wolf:
Web-Scale Training for Face Identification. - M. Majid Butt, Ahmed H. Anwar, Amr Mohamed, Tamer A. ElBatt:
Effective Capacity of Cognitive Radio Links: Accessing Primary Feedback Erroneously. - Mingqiang Li, Patrick P. C. Lee:
STAIR Codes: A General Family of Erasure Codes for Tolerating Device and Sector Failures. - Diederik P. Kingma, Danilo Jimenez Rezende, Shakir Mohamed, Max Welling:
Semi-Supervised Learning with Deep Generative Models. - Carla Binucci, Emilio Di Giacomo, Walter Didimo, Fabrizio Montecchiani, Maurizio Patrignani, Ioannis G. Tollis:
Properties and Complexity of Fan-Planarity. - Borko Boskovic, Franc Brglez, Janez Brest:
Low-Autocorrelation Binary Sequences: on the Performance of Memetic-Tabu and Self-Avoiding Walk Solvers. - Pierre-Étienne Meunier:
Unraveling simplicity in elementary cellular automata. - Michael S. Ryoo, Thomas J. Fuchs, Lu Xia, J. K. Aggarwal, Larry H. Matthies:
Early Recognition of Human Activities from First-Person Videos Using Onset Representations. - Preetha Theresa Joy, K. Poulose Jacob:
Cache Discovery Over a Multihop Wireless Ad Hoc Network. - Gábor Ivanyos, Raghav Kulkarni, Youming Qiao, Miklos Santha, Aarthi Sundaram:
On the Complexity of Trial and Error for Constraint Satisfaction Problems. - Shengfeng Xu, Gang Zhu, Chao Shen, Bo Ai:
A QoS-Aware Scheduling Algorithm for High-Speed Railway Communication System. - Harald Köstler, Christian Schmitt, Sebastian Kuckuk, Frank Hannig, Jürgen Teich, Ulrich Rüde:
A Scala Prototype to Generate Multigrid Solver Implementations for Different Problems and Target Multi-Core Platforms. - Fajwel Fogel, Alexandre d'Aspremont, Milan Vojnovic:
Spectral Ranking using Seriation. - Raquel Águeda, Valentin Borozan, Marina Groshaus, Yannis Manoussakis, Gervais Mendy, Leandro Montero:
Proper Hamiltonian Paths in Edge-Coloured Multigraphs. - Luc Le Magoarou
, Rémi Gribonval:
Learning computationally efficient dictionaries and their implementation as fast transforms. - Huai-Ning Wu, Hong-Du Wang:
Distributed Consensus Observers Based H-infinity Control of Dissipative PDE Systems Using Sensor Networks. - Wei Yang, Giuseppe Caire, Giuseppe Durisi, Yury Polyanskiy:
Optimum Power Control at Finite Blocklength. - Nikos Komodakis, Jean-Christophe Pesquet:
Playing with Duality: An Overview of Recent Primal-Dual Approaches for Solving Large-Scale Optimization Problems. - Kenshi Takayama, Alec Jacobson, Ladislav Kavan, Olga Sorkine-Hornung:
Consistently Orienting Facets in Polygon Meshes by Minimizing the Dirichlet Energy of Generalized Winding Numbers. - Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert:
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average. - Dinesh, Erlich, Gilfoyle, Jared, Richard, Johan A. Pouwelse:
Operational Distributed Regulation for Bitcoin. - Carlo A. Furia:
Rotation of Sequences: Algorithms and Proofs. - Thomas Martin Gawlitza, Martin D. Schwarz, Helmut Seidl:
Parametric Strategy Iteration. - Hamed Pirsiavash, Carl Vondrick, Antonio Torralba:
Inferring the Why in Images. - Carl Barton, Costas S. Iliopoulos, Solon P. Pissis:
Average-Case Optimal Approximate Circular String Matching. - Matthieu Roy, Stefan Schmid, Gilles Trédan:
Modeling and Measuring Graph Similarity: The Case for Centrality Distance. - Trista Lin
, Hervé Rivano, Frédéric Le Mouël:
Performance Comparison of Contention- and Schedule-based MAC Protocols in Urban Parking Sensor Networks. - Maybin K. Muyeba, Vladimir V. Rybakov:
Knowledge Representation in Agent's Logic with Uncertainty and Agent's Interaction. - Henk F. Moed, Gali Halevi:
The Multidimensional Assessment of Scholarly Research Impact. - Aytac Azgin, Ravishankar Ravindran, Guoqiang Wang:
Mobility Study for Named Data Networking in Wireless Access Networks. - Piotr Dollár, C. Lawrence Zitnick:
Fast Edge Detection Using Structured Forests. - Alexander N. Gorban, Alexander Pitenko, Andrei Yu. Zinovyev:
ViDaExpert: user-friendly tool for nonlinear visualization and analysis of multidimensional vectorial data. - Zahed Rahmati, Valerie King, Sue Whitesides:
Kinetic Reverse $k$-Nearest Neighbor Problem. - Elsayed Ahmed, Ahmed M. Eltawil:
All-Digital Self-interference Cancellation Technique for Full-duplex Systems. - Ashkan Rahimian, Raha Ziarati, Stere Preda, Mourad Debbabi:
On the Reverse Engineering of the Citadel Botnet. - Emma Tosch, Emery D. Berger:
SurveyMan: Programming and Automatically Debugging Surveys. - Anh Nguyen, Amy Banic:
3DTouch: A wearable 3D input device with an optical sensor and a 9-DOF inertial measurement unit. - Burhan Gulbahar:
Optimal Packet Scheduling in Energy Harvesting Multiple Access Channels with Common Data. - Aymen Sassi, Faiza Charfi, Lotfi Kamoun, Yassin Elhillali, Atika Rivenq:
A Symbol-Based Estimation Technique for Inter-vehicular Communication Performance Optimization. - V. P. Binu, A. Sreekumar:
An Epitome of Multi Secret Sharing Schemes for General Access Structure. - A. G. Chatterjee, M. K. Verma, M. Chaudhuri:
Transpose-free Fast Fourier Transform for Turbulence Simulation. - Reshma Prasad, Mary Priya Sebastian:
A survey on phrase structure learning methods for text classification. - Vladimir Vovk, Ivan Petej, Valentina Fedorova:
From conformal to probabilistic prediction. - Shiliang Sun, John Shawe-Taylor:
PAC-Bayes Analysis of Multi-view Learning. - Rajendra Kumar Roul, Sanjay Kumar Sahay:
An Effective Approach for Web Document Classification using the Concept of Association Analysis of Data Mining. - Rajendra Kumar Roul, O. R. Devanand, Sanjay Kumar Sahay:
Web Document Clustering and Ranking using Tf-Idf based Apriori Approach. - Valery A. Ugrinovskii:
Gain-scheduled synchronization of parameter varying systems via relative H∞ consensus with application to synchronization of uncertain bilinear systems. - M. Alexander Nugent, Timothy W. Molter:
Thermodynamic-RAM Technology Stack. - Zafar Ayyub Qazi, Vyas Sekar, Samir Ranjan Das:
A Framework to Quantify the Benefits of Network Functions Virtualization in Cellular Networks. - Arash A. Amini, Elizaveta Levina:
On semidefinite relaxations for the block model. - Rushil Anirudh, Pavan K. Turaga:
Interactively Test Driving an Object Detector: Estimating Performance on Unlabeled Data. - Konstantin Makarychev, Yury Makarychev, Aravindan Vijayaraghavan:
Constant Factor Approximation for Balanced Cut in the PIE model. - Konstantin Makarychev, Yury Makarychev, Aravindan Vijayaraghavan:
Algorithms for Semi-random Correlation Clustering. - Zhirong Wu, Shuran Song, Aditya Khosla, Xiaoou Tang, Jianxiong Xiao:
3D ShapeNets for 2.5D Object Recognition and Next-Best-View Prediction. - Shusen Wang, Luo Luo, Zhihua Zhang:
The Modified Nystrom Method: Theories, Algorithms, and Extension. - Xiangxiang Xu, Xiujun Zhang, Walid Saad, Yifei Zhao, Shidong Zhou:
How to Upgrade Wireless Networks: Small Cells or Massive MIMO? - Andrej Karpathy, Armand Joulin, Li Fei-Fei:
Deep Fragment Embeddings for Bidirectional Image Sentence Mapping. - Andrea Modenini:
Advanced transceivers for spectrally-efficient communications. - Shaikh Arifuzzaman, Maleq Khan, Madhav V. Marathe:
Parallel Algorithms for Counting Triangles in Networks with Large Degrees. - Loet Leydesdorff:
Information, Meaning, and Intellectual Organization in Networks of Inter-Human Communication. - Sonali Gupta, Komal Kumar Bhatia, Pikakshi Manchanda:
WebParF: A Web partitioning framework for Parallel Crawlers. - John J. Camilleri, Gabriele Paganelli, Gerardo Schneider:
A CNL for Contract-Oriented Diagrams. - Iddo Bentov, Ariel Gabizon, Alex Mizrahi:
Cryptocurrencies without Proof of Work. - Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber:
Runtime Enforcement for Component-Based Systems. - M. C. Hanumantharaju, M. Ravishankar, D. R. Ramesh Babu:
Natural Color Image Enhancement based on Modified Multiscale Retinex Algorithm and Performance Evaluation usingWavelet Energy. - Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report). - James Alderman, Carlos Cid, Jason Crampton, Christian Janson:
Publicly Verifiable Outsourced Computation with a Key Distribution Centre. - Sascha Kurz:
The price of fairness for a small number of indivisible items. - Yunchao Wei, Wei Xia, Junshi Huang, Bingbing Ni, Jian Dong, Yao Zhao, Shuicheng Yan:
CNN: Single-label to Multi-label. - Deepa Vijay, Gopinath Ganapathy:
Guidelines to minimize cost of software quality in agile scrum process. - Yulong Zou, Xuelong Li, Ying-Chang Liang:
Secrecy Outage and Diversity Analysis of Cognitive Radio Systems. - Jeremy Kepner, Vijay Gadepally, Peter Michaleas, Nabil Schear, Mayank Varia, Arkady Yerukhimovich, Robert K. Cunningham:
Computing on Masked Data: a High Performance Method for Improving Big Data Veracity. - A. B. M. Moniruzzaman, Kawser Wazed Nafi, Syed Akhter Hossain:
An Experimental Study of Load Balancing of OpenNebula Open-Source Cloud Computing Platform. - A. B. M. Moniruzzaman, Kawser Wazed Nafi, Syed Akhter Hossain:
Virtual Memory Streaming Technique for Virtual Machines (VMs) for Rapid Scaling and High Performance in Cloud Environment. - A. B. M. Moniruzzaman, Syed Akhter Hossain:
A Low Cost Two-Tier Architecture Model For High Availability Clusters Application Load Balancing. - Ming Jin, Han Zou, Kevin Weekly, Ruoxi Jia, Alexandre M. Bayen, Costas J. Spanos:
Environmental Sensing by Wearable Device for Indoor Activity and Location Estimation. - Hossein Azizpour, Ali Sharif Razavian, Josephine Sullivan, Atsuto Maki, Stefan Carlsson:
From Generic to Specific Deep Representations for Visual Recognition. - Sariel Har-Peled
, Subhro Roy:
Approximating the Maximum Overlap of Polygons under Translation. - Ulric J. Ferner, Neda Aboutorab, Parastoo Sadeghi, Muriel Médard:
Queued cross-bar network models for replication and coded storage systems. - Abhiram Natarajan, Yi Wu:
Computational Complexity of Certifying Restricted Isometry Property. - Wayes Tushar, Bo Chai, Chau Yuen, David B. Smith, Kristin L. Wood, Zaiyue Yang, H. Vincent Poor:
Three-Party Energy Management With Distributed Energy Resources in Smart Grid. - Masao Kasahara, Shigeichi Hirasawa:
Constructions of A Large Class of Optimum Constant Weight Codes over F_2. - Peilei Liu, Ting Wang:
A Unified Quantitative Model of Vision and Audition. - Jessica Liebig, Asha Rao:
A Clustering Coefficient to Identify Important Nodes in Bipartite Networks. - Serena Yeung, Alireza Fathi, Li Fei-Fei:
VideoSET: Video Summary Evaluation through Text. - Demetres Christofides:
The asymptotic complexity of matrix reduction over finite fields. - Mingchao Yu, Parastoo Sadeghi, Neda Aboutorab:
On Deterministic Linear Network Coded Broadcast and Its Relation to Matroid Theory. - Johannes Richter, Christian Scheunert, Sabrina Engelmann, Eduard A. Jorswieck:
Weak Secrecy in the Multi-Way Untrusted Relay Channel with Compute-and-Forward. - Arturo Carpi, Gabriele Fici, Stepan Holub, Jakub Oprsal, Marinella Sciortino:
Universal Lyndon Words. - Christophe Schülke, Francesco Caltagirone, Lenka Zdeborová:
Blind Sensor Calibration using Approximate Message Passing. - Roman Shapovalov, Dmitry P. Vetrov, Anton Osokin, Pushmeet Kohli:
Multi-utility Learning: Structured-output Learning with Multiple Annotation-specific Loss Functions. - Abdelwaheb Ferchichi, Mohamed Salah Gouider:
BSTree: an Incremental Indexing Structure for Similarity Search and Real Time Monitoring of Data Streams. - Steven Herbert, Ian J. Wassell, Tian Hong Loh:
A Simple Lower Bound on the Noncoherent Capacity of Highly Underspread Fading Channels. - Andrea Araldo, Michele Mangili, Fabio Martignon, Dario Rossi:
Cost-aware caching: optimizing cache provisioning and object placement in ICN. - Lorena Pérez-García, Jan Broekaert, Nicole Note:
Is a 'Wirikuta empowerment' of the Huichol measurable on the Internet? - Bogdan Miclut, Thomas Käster, Thomas Martinetz, Erhardt Barth:
Committees of deep feedforward networks trained with few data. - Georgios Papadimitriou, Nikolaos Pappas, Vangelis Angelakis, Apostolos Traganitis:
The Benefits of Deploying a Second Relay in Multi-User Cooperative Wireless Systems: A Networking Perspective. - Samuel C. Hsieh:
A Lower Bound for Boolean Satisfiability on Turing Machines. - Yogesh Simmhan, Charith Wickramaarachchi, Alok Gautam Kumbhare, Marc Frîncu, Soonil Nagarkar, Santosh Ravi, Cauligi S. Raghavendra, Viktor K. Prasanna:
Scalable Analytics over Distributed Time-series Graphs using GoFFish. - Yogesh Simmhan, Alok Gautam Kumbhare:
Floe: A Continuous Dataflow Framework for Dynamic Cloud Applications. - Stéphane Ross, J. Andrew Bagnell:
Reinforcement and Imitation Learning via Interactive No-Regret Learning. - Luca Sanguinetti, Aris L. Moustakas, Emil Björnson, Mérouane Debbah:
Large System Analysis of the Energy Consumption Distribution in Multi-User MIMO Systems with Mobility. - Niklas Klügel, Timo Becker, Georg Groh:
Designing Sound Collaboratively - Perceptually Motivated Audio Synthesis. - Julien Audiffren, Liva Ralaivola:
Stationary Mixing Bandits. - Viorel Preoteasa, Stavros Tripakis:
Refinement Calculus of Reactive Systems. - Sreepathi Pai, R. Govindarajan, Matthew J. Thazhuthaveetil:
Preemptive Thread Block Scheduling with Online Structural Runtime Prediction for Concurrent GPGPU Kernels. - Emanuel Diamant:
Cognitive Surveillance: Why does it never appear among the AVSS Conferences topics? - Changwang Zhang, Shi Zhou, Benjamin M. Chain:
Hybrid spreading of the Internet worm Conficker. - Gustavo Sacomoto:
Efficient Algorithms for de novo Assembly of Alternative Splicing Events from RNA-seq Data. - Henry Lam, Zhenming Liu:
From Black-Scholes to Online Learning: Dynamic Hedging under Adversarial Environments. - Maxim Lvov, Haim H. Permuter:
Initialization Algorithms For Convolutional Network Coding. - Imen Trabelsi, Dorra Ben Ayed Mezghanni, Noureddine Ellouze:
Improved Frame Level Features and SVM Supervectors Approach for the Recogniton of Emotional States from Speech: Application to categorical and dimensional states. - Kewen Wang, Lian Wen, Kedian Mu:
Random Logic Programs: Linear Model. - Sripirakas Sakthithasan, Russel Pears:
Mining Recurrent Concepts in Data Streams using the Discrete Fourier Transform. - Ross Moore:
PDF/A-3u as an archival format for Accessible mathematics. - Mark D. Reid, Rafael M. Frongillo, Robert C. Williamson, Nishant A. Mehta:
Generalized Mixability via Entropic Duality. - (Withdrawn) Offline Handwritten MODI Character Recognition Using HU, Zernike Moments and Zoning.
- Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart:
Constrained Expressions and their Derivatives. - Gilad Lerman, Tyler Maunu:
Fast algorithm for robust subspace recovery. - Neda Salamati, Diane Larlus, Gabriela Csurka, Sabine Süsstrunk:
Incorporating Near-Infrared Information into Semantic Image Segmentation. - Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp:
Group Communication Patterns for High Performance Computing in Scala. - Merav Parter, David Peleg:
Fault Tolerant Approximate BFS Structures. - Netanel Raviv, Tuvi Etzion:
Distributed Storage Systems based on Equidistant Subspace Codes. - Kirti Matliwala:
Use of computer by secondary school students. - Muneki Yasuda, Shun Kataoka, Yuji Waizumi, Kazuyuki Tanaka:
Composite Likelihood Estimation for Restricted Boltzmann machines. - Reiner Lenz:
Saccadic Eye Movements and the Generalized Pareto Distribution. - Yijin Zhang, Yuan-Hsun Lo, Wing Shing Wong:
Optimal strongly conflict-avoiding codes of even length and weight three. - Uwe Fechner, Rolf van der Vlugt, Edwin Schreuder, Roland Schmehl:
Dynamic Model of a Pumping Kite Power System. - Ranjeet Masram, Vivek Shahare, Jibi Abraham, Rajni Moona, Pradeep Sinha, Gaur Sunder, Prashant Bendale, Sayali Pophalkar:
Dynamic Selection of Symmetric Key Cryptographic Algorithms for Securing Data Based on Various Parameters. - Volodymyr Mnih, Nicolas Heess, Alex Graves, Koray Kavukcuoglu:
Recurrent Models of Visual Attention. - Jonni Virtema
:
Complexity of validity for propositional dependence logics. 18-31 - Cristiano Tapparello, Hoda Ayatollahi, Wendi B. Heinzelman:
Extending the Energy Framework for Network Simulator 3 (ns-3). - Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema:
The Expressive Power of Modal Dependence Logic. - Mario Blaum, Steven Hetzler:
Generalized Concatenated Types of Codes for Erasure Correction. - Julian Habigt, Klaus Diepold:
Image Completion for View Synthesis Using Markov Random Fields and Efficient Belief Propagation. - C. L. González-Valiente:
Midiendo la calidad de la informacion gestionada: algunas reflexiones conceptuales-metodologicas. - François Bonne, Mazen Alamir, Patrick Bonnay:
Experimental Investigation of Control Updating Period Monitoring In Industrial PLC-based Fast MPC: Application to The Constrained Control of a Cryogenic Refrigerator. - Hiroki Sayama, Shelley D. Dionne:
Studying Collective Human Decision Making and Creativity with Evolutionary Computation. - Konrad K. Dabrowski, Shenwei Huang, Daniël Paulusma:
Bounding Clique-Width via Perfect Graphs. - Manolis Ploumidis, Nikolaos Pappas, Apostolos Traganitis:
TOFRA: Throughput Optimal Flow Rate Allocation with Bounded Delay for Random Access Wireless Mesh Networks. - Ahmed El-Kishky, Yanglei Song, Chi Wang, Clare R. Voss, Jiawei Han:
Scalable Topical Phrase Mining from Text Corpora. - Frank Nielsen, Richard Nock:
Further heuristics for $k$-means: The merge-and-split heuristic and the $(k, l)$-means. - Mahmoud Ashour, Ahmed El Shafie, Amr Mohamed, Tamer Khattab:
Power-Optimal Feedback-Based Random Spectrum Access for an Energy Harvesting Cognitive User. - Moria Tau, Tal Hassner:
Dense Correspondences Across Scenes and Scales. - Jan Kurátko, Stefan Ratschan:
Combined Global and Local Search for the Falsification of Hybrid Systems. - Diego Oliva, Erik Cuevas, Gonzalo Pajares, Daniel Zaldivar, Valentín Osuna-Enciso:
A multilevel thresholding algorithm using Electromagnetism Optimization. - Carl Barton, Alice Héliou, Laurent Mouchard, Solon P. Pissis:
Linear-time Computation of Minimal Absent Words Using Suffix Array. - Samuel C. Hsieh:
A Lower Bound of 2n Conditional Branches for Boolean Satisfiability on Post Machines. - Kevin R. Moon, Jimmy J. Li, Véronique Delouille, Fraser Watson, Alfred O. Hero III:
Image patch analysis and clustering of sunspots: a dimensionality reduction approach. - Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space - Extended Version. - Margareta Ackerman, Sanjoy Dasgupta:
Incremental Clustering: The Case for Extra Clusters. - Jakub Bulin
, Dejan Delic, Marcel Jackson
, Todd Niven:
A finer reduction of constraint problems to digraphs. - Ying Long, Kang Wu, Jianghao Wang, Zhenjiang Shen:
Big Models: From Beijing to the whole China. - Prasad Sudhakar, Laurent Jacques, Xavier Dubois, Philippe Antoine, Luc Joannes:
Compressive Imaging and Characterization of Sparse Light Deflection Maps. - Kezun Zhang, Yanghua Xiao, Hanghang Tong, Haixun Wang, Wei Wang:
The Links Have It: Infobox Generation by Summarization over Linked Entities. - Peilei Liu, Ting Wang:
A Quantitative Neural Coding Model of Sensory Memory. - Xiao Lu, Ping Wang, Dusit Niyato, Dong In Kim, Zhu Han:
Wireless Networks with RF Energy Harvesting: A Contemporary Survey. - Lani Rachel Mathew, Ancy S. Anselam, Sakuntala S. Pillai:
Performance Comparison of Linear Prediction based Vocoders in Linux Platform. - Edith Cohen:
Variance Competitiveness for Monotone Estimation: Tightening the Bounds. - Nicola Apollonio, Anna Galluccio:
Minimally unbalanced diamond-free graphs and Dyck-paths. - Hyun Oh Song, Yong Jae Lee, Stefanie Jegelka, Trevor Darrell:
Weakly-supervised Discovery of Visual Pattern Configurations. - Christian Bauckhage, Kristian Kersting:
Strong Regularities in Growth and Decline of Popularity of Social Media Services. - Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Vincenzo Roselli:
On the Complexity of Clustered-Level Planarity and T-Level Planarity. - Martin Kiechle, Tim Habigt, Simon Hawe, Martin Kleinsteuber:
A Bimodal Co-Sparse Analysis Model for Image Processing. - Derrick Wing Kwan Ng, Mohammad Shaqfeh, Robert Schober, Hussein M. Alnuweiri:
Robust Layered Transmission in Secure MISO Multiuser Unicast Cognitive Radio Systems. - Yaroslav Ganin, Victor S. Lempitsky:
N4-Fields: Neural Network Nearest Neighbor Fields for Image Transforms. - Erik Cuevas, Felipe Sención-Echauri, Daniel Zaldivar, Marco Antonio Pérez Cisneros:
Multi Circle Detection on Images Using Artificial Bee Colony (ABC) Optimization. - Takehiro Ito, Marcin Kaminski, Hirotaka Ono:
Fixed-Parameter Tractability of Token Jumping on Planar Graphs. - V. A. Miller, S. Erlien, J. Piersol:
Support vector machine classification of dimensionally reduced structural MRI images for dementia. - Tobin Isaac, Georg Stadler, Omar Ghattas:
Solution of nonlinear Stokes equations discretized by high-order finite elements on nonconforming and anisotropic meshes, with application to ice sheet dynamics. - Erik D. Demaine, Martin L. Demaine, Eli Fox-Epstein, Duc A. Hoang, Takehiro Ito, Hirotaka Ono, Yota Otachi, Ryuhei Uehara, Takeshi Yamada:
Polynomial-Time Algorithm for Sliding Tokens on Trees. - Shouguang Wang, Jing Yang, Mengchu Zhou:
Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method'. - Kyriakos Herakleous, Charalambos Poullis:
3DUNDERWORLD-SLS: An Open-Source Structured-Light Scanning System for Rapid Geometry Acquisition. - Günce Keziban Orman, Vincent Labatut, Marc Plantevit, Jean-François Boulicaut:
A Method for Characterizing Communities in Dynamic Attributed Complex Networks. - Pankaj K. Agarwal, Sariel Har-Peled, Subhash Suri, Hakan Yildiz, Wuzhou Zhang:
Convex Hulls under Uncertainty. - Jon Haël Brenas, Rachid Echahed, Martin Strecker:
SROIQsigma is decidable. - Emmanuel Baccelli, Christian Mehlis, Oliver Hahm, Thomas C. Schmidt, Matthias Wählisch:
Information Centric Networking in the IoT: Experiments with NDN in the Wild. - Vincent Labatut, Nicolas Dugué, Anthony Perez:
Identifying the Community Roles of Social Capitalists in the Twitter Network. - Hauke Petersen, Emmanuel Baccelli, Matthias Wählisch, Thomas C. Schmidt, Jochen H. Schiller:
The Role of the Internet of Things in Network Resilience. - Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams:
Managing LTL properties in Event-B refinement. - Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis:
Clash of the Lambdas. - Maria-Florina Balcan, Christopher Berlind, Avrim Blum, Emma Cohen, Kaushik Patnaik, Le Song:
Active Learning and Best-Response Dynamics. - Yue Qiao, Kannan Srinivasan, Anish Arora:
Extract Secrets from Wireless Channel. - Ishanu Chattopadhyay:
Causality Networks. - Andrew Crotty, Alex Galakatos, Kayhan Dursun, Tim Kraska, Ugur Çetintemel, Stanley B. Zdonik:
Tupleware: Redefining Modern Analytics. - Yaron Azrieli, Eran Shmaya:
Rental harmony with roommates. - Souymodip Chakraborty, Joost-Pieter Katoen:
Parametric LTL on Markov Chains. - Mohamed Adnane Mellah, Abdelmalek Amine, Reda Mohamed Hamou, A. V. Senthil Kumar:
Link Analysis for Communities Detection on Facebook. - Albert No, Tsachy Weissman:
Rateless Lossy Compression via the Extremes. - Vincent Y. F. Tan, Matthieu R. Bloch:
Information Spectrum Approach to Strong Converse Theorems for Degraded Wiretap Channels. - Thomas S. Richardson:
A factorization criterion for acyclic directed mixed graphs. - Yung-Chih Chen, Don Towsley, Ramin Khalili:
MSPlayer: Multi-Source and multi-Path LeverAged YoutubER. - Tim Roughgarden:
Approximately Optimal Mechanism Design: Motivation, Examples, and Lessons Learned. - Chandrakant Mahobiya, M. Kumar:
Performance Comparison of Two Streaming Data Clustering Algorithms. - M. Nikhil Krishnan, N. Prakash, V. Lalitha, Birenjith Sasidharan, P. Vijay Kumar, Srinivasan Narayanamurthy, Ranjit Kumar, Siddhartha Nandi:
Evaluation of Codes with Inherent Double Replication for Hadoop. - Eric Mootz:
3D Texture Coordinates on Polygon Mesh Sequences. - Fumin Shen, Chunhua Shen, Heng Tao Shen:
Face Image Classification by Pooling Raw Features. - Yasin Abbasi-Yadkori, Gergely Neu:
Online learning in MDPs with side information. - Fumin Shen, Chunhua Shen, Heng Tao Shen:
Face Identification with Second-Order Pooling. - Chloë Brown, Christos Efstratiou, Ilias Leontiadis, Daniele Quercia, Cecilia Mascolo, James Scott, Peter B. Key:
The architecture of innovation: Tracking face-to-face interactions with ubicomp technologies. - Michel Crampes, Michel Plantié:
Overlapping Community Detection Optimization and Nash Equilibrium. - Klaus Müller, Bernhard Rumpe:
A Model-Based Approach to Impact Analysis Using Model Differencing. - Hardik Joshi:
From Citation count to Argumentation count: a new metric to indicate the usefulness of an article. - Normunds Gruzitis, Peteris Paikens, Guntis Barzdins:
FrameNet Resource Grammar Library for GF. - Dimitrios Christopoulos, Symeon Chatzinotas, Björn E. Ottersten:
Frame Based Precoding in Satellite Communications: A Multicast Approach. - Jinwei Xu, Jiankun Hu, Xiuping Jia:
A Fully Automated Latent Fingerprint Matcher with Embedded Self-learning Segmentation Module. - Laurent Bulteau, Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon:
Combinatorial Voter Control in Elections. - Matthew R. Francisco, Ian B. Wood, Selma Sabanovic, Luis M. Rocha
:
Designing a minimalist socially aware robotic agent for the home. - Pierre-Étienne Meunier:
Noncooperative algorithms in self-assembly. - Alexey Redozubov:
Pattern-wave model of brain. Mechanisms of information processing, memory organization. - Alexey Dosovitskiy, Jost Tobias Springenberg, Martin A. Riedmiller, Thomas Brox:
Discriminative Unsupervised Feature Learning with Convolutional Neural Networks. - Chuan Guo, Douglas R. Stinson, Tran van Trung:
On tight bounds for binary frameproof codes. - Davide Alberelli, Paolo Lella:
Strongly stable ideals and Hilbert polynomials. - Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman:
A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically. - Erik Cuevas, Margarita Díaz, Miguel Manzanares, Daniel Zaldivar, Marco Antonio Pérez Cisneros:
An improved computer vision method for detecting white blood cells. - Zhenyao Zhu, Ping Luo, Xiaogang Wang, Xiaoou Tang:
Deep Learning Multi-View Representation for Face Recognition. - Jonathan van de Belt, Hamed Ahmadi, Linda Doyle:
A Dynamic Embedding Algorithm for Wireless Network Virtualization. - Jiantao Jiao, Kartik Venkat, Tsachy Weissman:
Order-Optimal Estimation of Functionals of Discrete Distributions. - Jiantao Jiao, Kartik Venkat, Tsachy Weissman:
Maximum Likelihood Estimation of Functionals of Discrete Distributions. - Jan Hendrik Hosang, Rodrigo Benenson, Bernt Schiele:
How good are detection proposals, really? - Ramanathan V. Guha:
Communicating and resolving entity references. - Boya Qin, Yunlong Cai, Benoît Champagne, Rodrigo C. de Lamare, Minjian Zhao:
Low-Complexity Variable Forgetting Factor Constrained Constant Modulus RLS Algorithm for Adaptive Beamforming. - Radoslaw Klimek:
Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models. - Alireza Nejati, Charles P. Unsworth:
A Concise Information-Theoretic Derivation of the Baum-Welch algorithm. - Emilio Vital Brazil:
DASS: Detail Aware Sketch-Based Surface Modeling. - Bo Yuan, Keshab K. Parhi:
Low-Latency Successive-Cancellation List Decoders for Polar Codes with Multi-bit Decision. - Xihao Li, Costas D. Sarris, Piero Triverio:
Structure-Preserving Reduction of Finite-Difference Time-Domain Equations with Controllable Stability Beyond the CFL Limit. - Ong Sing Goh:
Global Internet-based Crisis Communication: A case Study on SARS. - Aytac Azgin, Ravishankar Ravindran, Guoqiang Wang:
A Scalable Mobility-Centric Architecture for Named Data Networking. - Jiyan Wu, Bo Cheng, Chau Yuen, Yanlei Shang, Junliang Chen:
Distortion-Aware Concurrent Multipath Transfer for Mobile Video Streaming in Heterogeneous Wireless Networks. - Ashu Sharma, Sanjay Kumar Sahay:
Evolution and Detection of Polymorphic and Metamorphic Malwares: A Survey. - Ke Liu, Ming Xu, Zeyun Yu:
Adaptive Mesh Representation and Restoration of Biomedical Images. - Behrooz Razeghi, Alireza Alizadeh, Sima Naseri, Ghosheh Abed Hodtani, Seyed Alireza Seyedin:
Analysis of Coverage Region for MIMO Relay Network with Multiple Cooperative DF-Relays. - Ömer Faruk Ertugrul:
Adaptive texture energy measure method. - Pierre-Alain Fouque, Mehdi Tibouchi:
Close to Uniform Prime Number Generation With Fewer Random Bits. - Lutz Bornmann:
Measuring the broader impact of research: The potential of altmetrics. - Neri Merhav:
On zero-rate error exponents of finite-state channels with input-dependent states. - Yinglong Ma, Moyi Shi:
Using multi-categorization semantic analysis and personalization for semantic search. - Jalaluddin Qureshi:
Caching Piggyback Information for Efficient Index Code Transmission. - Martijn van Brink, Ruben van der Zwaan:
A branch and price procedure for the container premarshalling problem. - Vasileios Zografos:
3D planar patch extraction from stereo using probabilistic region growing. - Jalaluddin Qureshi, Chuan Heng Foh, Jianfei Cai:
Maximum Multipath Routing Throughput in Multirate Wireless Mesh Networks. - Anish Acharya:
Template Matching based Object Detection Using HOG Feature Pyramid. - Yiyin Wang, Xiaoli Ma, Cailian Chen, Xinping Guan:
UWB Signal Detection by Cyclic Features. - Gonzalo Galiano Casas, Julián Velasco Valdés:
On a new formulation of nonlocal image filters involving the relative rearrangement. - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Verifying Component and Connector Models against Crosscutting Structural Views. - Shweta Jain, Sujit Gujar, Satyanath Bhat, Onno Zoeter, Y. Narahari:
An Incentive Compatible Multi-Armed-Bandit Crowdsourcing Mechanism with Quality Assurance. - Amelia Carolina Sparavigna:
Co-occurrence matrices of time series applied to literary works. - Frédéric Lardeux, Éric Monfroy, Broderick Crawford, Ricardo Soto:
Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem. - Onur Varol, Emilio Ferrara, Christine L. Ogan, Filippo Menczer, Alessandro Flammini:
Evolution of Online User Behavior During a Social Upheaval. - Hamid Reza Feyzmahdavian, Themistoklis Charalambous, Mikael Johansson:
Asymptotic Stability and Decay Rates of Homogeneous Positive Systems With Bounded and Unbounded Delays. - Nilesh Rathi, Ganga Holi:
Securing Medical Images by Watermarking Using DWT DCT and SVD. - Gokhan Calis, Onur Ozan Koyluoglu:
Repairable Block Failure Resilient Codes. - Amit Deshpande, Rakesh Venkat:
Guruswami-Sinop Rounding without Higher Level Lasserre. - Yaghoob Siahmargooei, Mohammad Kazem Akbari, Seyyed Alireza Hashemi Golpayegani, Saeed Sharifian:
Near-Optimal Virtual Machine Packing Based on Resource Requirement of Service Demands Using Pattern Clustering. - Wolfgang Gatterbauer
, Stephan Günnemann, Danai Koutra, Christos Faloutsos:
Linearized and Turbo Belief Propagation. - Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
On The Reachability Problem for Recursive Hybrid Automata with One and Two Players. - Imen Trabelsi, Dorra Ben Ayed Mezghanni:
On the Use of Different Feature Extraction Methods for Linear and Non Linear kernels. - Johan Östman, Wei Yang, Giuseppe Durisi, Tobias Koch:
Diversity versus Multiplexing at Finite Blocklength. - Felix Ming Fai Wong, Zhenming Liu, Mung Chiang:
Stock Market Prediction from WSJ: Text Mining via Sparse Matrix Factorization. - Li-Yi Wei, Marc Levoy:
Order-Independent Texture Synthesis. - Ognjen Arandjelovic:
A framework for improving the performance of verification algorithms with a low false positive rate requirement and limited training data. - Mikhail V. Berlinkov:
On the Synchronization Rate for e-machines. - Qijun Zhu, Haibo Hu, Jianliang Xu, Wang-Chien Lee:
Geo-Social Group Queries with Minimum Acquaintance Constraint. - Paresh Tanna, Yogesh Ghodasara:
Using Apriori with WEKA for Frequent Pattern Mining. - Marco Mondelli, Seyed Hamed Hassani, Rüdiger L. Urbanke:
How to Achieve the Capacity of Asymmetric Channels. - Morteza Yousefi Kharaji, Fatemeh Salehi Rizi, Mohammad Reza Khayyambashi:
A New Approach for Finding Cloned Profiles in Online Social Networks. - (Withdrawn) A Guard Zone Based Scalable Mode Selection Scheme in D2D Underlaid Cellular Networks.
- Matthew Gwynne, Oliver Kullmann:
A framework for good SAT translations, with applications to CNF representations of XOR constraints. - Ghassan Samara
, Tareq Alhmiedat:
Intelligent Emergency Message Broadcasting in VANET Using PSO. - Sutanu Ghosh:
Performance evaluation on the basis of Bit error rate for different order of Modulation and different length of Subchannels in ofdm system. - Vinit Kumar, Ajay Agarwal:
An Efficient Read Dominant Data Replication Protocol under Serial Isolation using Quorum Consensus Approach. - Andreas D. Pape, Kenneth J. Kurtz, Hiroki Sayama:
Complexity Measures and Concept Learning. - Jonathan Katzman, Diane Duros:
Comparison of SVM Optimization Techniques in the Primal. - Da Wang, Arya Mazumdar, Gregory W. Wornell:
Compression in the Space of Permutations. - Shuaibu Hassan Usman
, Ishaq Oyebisi Oyefolahan:
Encouraging Knowledge Sharing Using Web 2.0 Technologies In Higher Education: A Survey. - Engin Bozdag, Qi Gao, Geert-Jan Houben, Martijn Warnier:
Does Offline Political Segregation Affect the Filter Bubble? An Empirical Analysis of Information Diversity for Dutch and Turkish Twitter Users. - Zheng Wen, Azin Ashkan, Hoda Eydgahi, Branislav Kveton:
Efficient Learning in Large-Scale Combinatorial Semi-Bandits. - Christian J. Schuler, Michael Hirsch, Stefan Harmeling, Bernhard Schölkopf:
Learning to Deblur. - Ni Lao, Jun Zhu:
Contrastive Feature Induction for Efficient Structure Learning of Conditional Random Fields. - Richard Combes, Alexandre Proutière:
Unimodal Bandits without Smoothness. - Ru Zhu:
Speedup of Micromagnetic Simulations with C++ AMP On Graphics Processing Units. - Alicia Gonzalez Martínez, Susana Lopez Hervas, Doaa Samy, Carlos G. Arques, Antonio Moreno-Sandoval:
Jabalin: a Comprehensive Computational Model of Modern Standard Arabic Verbal Morphology Based on Traditional Arabic Prosody. - Zhiyuan Jiang, Andreas F. Molisch, Giuseppe Caire, Zhisheng Niu:
Achievable Rates of FDD Massive MIMO Systems with Spatial Channel Correlation. - Dan C. Marinescu, Ashkan Paya, John P. Morrison:
Coalition Formation and Combinatorial Auctions; Applications to Self-organization and Self-management in Utility Computing. - Cenk M. Yetis, Yong Zeng, Kushal Anand, Yong Liang Guan, Erry Gunawan:
Balancing Weighted Substreams in MIMO Interference Channels. - Moez A. AbdelGawad:
Domain Theory for Modeling OOP: A Summary. - (Withdrawn) Evaluation of educational activities ungraded school teachers: development resources to improve the quality of teaching in a rural school.
- Nevin Vunka Jungum, Nawaz Mohamudally, Nimal Nissanke:
Towards a Generic Application Partitioning and Retraction Framework for Pervasive Environments. - Wenqi Huang, Xiaojin Gong:
Fusion Based Holistic Road Scene Understanding. - Lubos Korenciak, Jan Krcál, Vojtech Rehák:
Dealing with Zero Density Using Piecewise Phase-type Approximation. - Manindra Agrawal, Rohit Gurjar, Arpita Korwar, Nitin Saxena:
Hitting-sets for ROABP and Sum of Set-Multilinear circuits. - Yoshiko Arima:
Effect of Group Means on the Probability of Consensus. - Alon Sela, Hila Oved, Irad Ben-Gal:
Information Spread in a Connected World. - Wei Quan, Andy D. Pimentel:
Exploring Task Mappings on Heterogeneous MPSoCs using a Bias-Elitist Genetic Algorithm. - Samuel Benz, Parisa Jalili Marandi, Fernando Pedone, Benoît Garbinato:
Building global and scalable systems with Atomic Multicast. - Sheen S. Levine, Michael Prietula:
Open Collaboration for Innovation: Principles and Performance. - David Lee, Ashish Goel, Hélène Landemore, Tanja Aitamurto:
Crowdsourcing for Participatory Democracies: Efficient Elicitation of Social Choice Functions. - James Hazy, Baran Çürüklü:
Influence Process Structural Learning and the Emergence of Collective Intelligence. - Aelita Skarzauskiené, Birute Pitrenaite-Zileniene, Edgaras Leichteris, Zaneta Paunksniene, Monika Maciuliene:
Social Technologies for Developing Collective Intelligence in Networked Society. - Jason Radford:
Architectures of Virtual Decision-Making: The Emergence of Gender Discrimination on a Crowdfunding Website. - Ramine Tinati, Elena Simperl, Markus Luczak-Rösch
, Max Van Kleek, Nigel Shadbolt:
Collective Intelligence in Citizen Science - A Study of Performers and Talkers. - Dimitrios Christopoulos, Symeon Chatzinotas, Björn E. Ottersten:
Weighted Fair Multicast Multigroup Beamforming under Per-antenna Power Constraints. - Nicolas Fay, Monica Tamariz, T. Mark Ellison, Dale Barr:
Human Communication Systems Evolve by Cultural Selection. - Wataru Toyokawa, Hye-rin Kim, Tatsuya Kameda:
Less-is-more in a 5-star rating system: an experimental study of human combined decisions in a multi-armed bandit problem. - Taraneh Khazaei, Lu Xiao:
Collective intelligence in Massive Online Dialogues. - Nicoleta Meslec, Petru Lucian Curseu, Marius Meeus, Oana Fodor:
When none of us perform better than all of us together: the role of analogical decision rules in groups. - Clintin P. Davis-Stober, David V. Budescu, Jason Dana, Stephen B. Broomell:
When is a crowd wise? - Iyad Rahwan, Dmytro Krasnoshtan, Azim Shariff, Jean-François Bonnefon:
Analytical reasoning task reveals limits of social learning in networks. - Charalampos E. Tsourakakis:
Streaming Graph Partitioning in the Planted Partition Model. - Amin Azari, Jalil S. Harsini, Farshad Lahouti:
Performance Analysis of Ad-Hoc Routing in Clustered Multi-hop Wireless Networks. - Jermain Kaminski
, Peter A. Gloor:
Nowcasting the Bitcoin Market with Twitter Signals. - Gonzalo G. de Polavieja, Gabriel Madirolas:
Wisdom of the Confident: Using Social Interactions to Eliminate the Bias in Wisdom of the Crowds. - Ian Miller, Gerald Cupchik:
Meme creation and sharing processes: individuals shaping the masses. - David Rothschild, Sharad Goel, Andrew Gelman, Doug Rivers:
The Mythical Swing Voter. - Simona Doboli, Fanshu Zhao, Alex Doboli:
New measures for evaluating creativity in scientific publications. - Wei Sun, Kathryn B. Laskey, Charles Twardy, Robin Hanson, Brandon Goldfedder:
Trade-based Asset Model using Dynamic Junction Tree for Combinatorial Prediction Markets. - Kenneth C. Olson, Kathryn B. Laskey, Charles Twardy:
Interval Elicitation of Forecasts in a Prediction Market Reveals Lack of Anchoring "Bias". - Hiroki Sayama:
Social diffusion and global drift in adaptive social networks. - Jesse Shore, Ethan Bernstein, David Lazer:
Facts and Figuring: An Experimental Investigation of Network Structure and Performance in Information and Solution Spaces. - Matthew Staffelbach, Peter Sempolinski, David Hachen, Ahsan Kareem, Tracy Kijewski-Correa, Douglas Thain, Daniel Wei, Greg Madey:
Lessons Learned from an Experiment in Crowdsourcing Complex Citizen Engineering Tasks with Amazon Mechanical Turk. - Jose Uribe, Dan Wang:
Learning from Others, Together: Brokerage, Closure and Team Performance. - Roderick Bloem, Swen Jacobs, Ayrat Khalimov:
Parameterized Synthesis Case Study: AMBA AHB. - Lutz Bornmann:
Validity of altmetrics data for measuring societal impact: A study using data from Altmetric and F1000Prime. - Xiaoming Chen, Chau Yuen:
Joint Optimization of Spectrum Sensing and Accessing in Multiuser MISO Cognitive Networks. - Yongpeng Wu, Shi Jin, Xiqi Gao, Matthew R. McKay
, Chengshan Xiao:
Transmit Designs for the MIMO Broadcast Channel with Statistical CSI. - Shaikshavali Chitraganti, Samir Aberkane, Christophe Aubrun, Guillermo Valencia-Palomo, Vasile Dragan:
On control of discrete-time state-dependent jump linear systems with probabilistic constraints: A receding horizon approach. - Shaikshavali Chitraganti, Samir Aberkane, Christophe Aubrun:
Stochastic stability and stabilization of a class of state-dependent jump linear systems. - Mauro Femminella, Roberto Francescangeli, Gianluca Reali, Henning Schulzrinne, Dario Valocchi:
Off-path Signaling Extension for General Internet Signaling Transport Protocol. - Eric Allender
, Harry Buhrman, Luke Friedman, Bruno Loff
:
Reductions to the set of random strings: The resource-bounded case. - V. Mohammed Zackriya, Harish M. Kittur:
Selective Match-Line Energizer Content Addressable Memory(SMLE -CAM). - Achim Blumensath, Martin Otto, Mark Weyer:
Decidability Results for the Boundedness Problem. - Mehwish Aziz, Shabnam Nawaz, Pakeeza Batool:
Efficiency Analysis of Materialized views in DataWarehouse Using selfmaintenance. - Dimitrios Christopoulos, Symeon Chatzinotas, Björn E. Ottersten:
Full Frequency Reuse Multibeam SatComs: Frame Based Precoding and User Scheduling. - Paul de Kerret, Richard Fritzsche, David Gesbert, Umer Salim:
Robust Precoding for Network MIMO with Hierarchical CSIT. - Pawel Gawrychowski, Moshe Lewenstein, Patrick K. Nicholson:
Weighted ancestors in suffix trees. - Edward Lee, Bryan C. Daniels, Jessica C. Flack, David C. Krakauer:
Capturing collective conflict dynamics with sparse social circuits. - Emanuel Lacic, Dominik Kowald, Paul Seitlinger, Christoph Trattner, Denis Parra:
Recommending Items in Social Tagging Systems Using Tag and Time Information. - Peter M. Krafft, Julia Zheng, Erez Shmueli, Nicolás Della Penna, Joshua B. Tenenbaum, Sandy Pentland:
Popularity and Performance: A Large-Scale Study. - Haoqi Zhang, Andrés Monroy-Hernández, Aaron D. Shaw, Sean A. Munson, Liz Gerber, Benjamin Mako Hill, Peter Kinnaird, Shelly Farnham, Patrick Minder:
WeDo: Exploring Participatory, End-To-End Collective Action. - Sanmay Das, Allen Lavoie:
Home Is Where the Up-Votes Are: Behavior Changes in Response to Feedback in Social Media. - Reema Ajmera, Dinesh Kumar Dharamdasani:
E-Learning Quality Criteria and Aspects. - Thomas Maillart, Didier Sornette:
Using Prediction Markets to Incentivize and Measure Collective Knowledge Production. - Richard Absalom, Markus Luczak-Rösch, Dap Hartmann, Aske Plaat:
Crowd-Sourcing Fuzzy and Faceted Classification for Concept Search. - Emilio Ferrara, Roberto Interdonato, Andrea Tagarelli:
Online Popularity and Topical Interests through the Lens of Instagram. - Yves Brise, Kevin Buchin, Dustin Eversmann, Michael Hoffmann, Wolfgang Mulzer:
Interference Minimization in Asymmetric Sensor Networks. - Vijaya Yajnanarayana, Rasmus Brandt, Satyam Dwivedi, Peter Händel:
Cooperative UWB Communication Using Range Information. - Christian Berger:
From a Competition for Self-Driving Miniature Cars to a Standardized Experimental Platform: Concept, Models, Architecture, and Evaluation. - Peter Duggins:
Modeling Attitude Change from Political Dialogues. - Pedram Mohammadi, Abbas Ebrahimi-Moghadam, Shahram Shirani:
Subjective and Objective Quality Assessment of Image: A Survey. - Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
Query Containment for Highly Expressive Datalog Fragments. - Andrew L. Maas, Awni Y. Hannun, Christopher T. Lengerich, Peng Qi, Daniel Jurafsky, Andrew Y. Ng:
Increasing Deep Neural Network Acoustic Model Size for Large Vocabulary Continuous Speech Recognition. - Shirin Jalali, H. Vincent Poor:
Universal Compressed Sensing of Markov Sources. - Erik Cuevas, Mauricio Gonzalez:
An optimization algorithm for multimodal functions inspired by collective animal behavior. - Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi:
First-order definable string transformations. - Mikolás Janota, João Marques-Silva:
On Minimal Corrections in ASP. - Neil Olver:
A note on hierarchical hubbing for a generalization of the VPN problem. - Xiaowen Dong, Dorina Thanou, Pascal Frossard, Pierre Vandergheynst:
Learning Graphs from Signal Observations under Smoothness Prior. - João Luiz Rebelatto, Richard Demo Souza, Rodrigo Tsuneyoshi Kaido, Ohara Kerusauskas Rayel, Bartolomeu F. Uchôa Filho:
Secrecy Outage Probability of Network-Coded Cooperative Communication. - Marjan Angeleski, Pece Mitrevski, Slavica Rocheska, Ane Lashkoska:
Regional Pilot Study to Evaluate e-Readiness and Local e-Government Services. - Dominique C. Perrault-Joncas, Marina Meila:
Estimating Vector Fields on Manifolds and the Embedding of Directed Graphs. - Can M. Le, Elizaveta Levina, Roman Vershynin:
Optimization via Low-rank Approximation, with Applications to Community Detection in Networks. - Dominique C. Perrault-Joncas, Marina Meila:
Improved graph Laplacian via geometric self-consistency. - Ahmad Karimi, Saeed Salehi:
Theoremizing Yablo's Paradox. - Darko Hric, Richard K. Darst, Santo Fortunato:
Community detection in networks: Structural communities versus ground truth. - Saurabh Paul, Malik Magdon-Ismail, Petros Drineas:
Deterministic Feature Selection for Linear SVM with Provable Guarantees. - Dmitry Malioutov, Nikolai Slavov
:
Convex Total Least Squares. - Nikolai Slavov
:
Inference of Sparse Networks with Unobserved Variables. Application to Gene Regulatory Networks. - Dimitris Achlioptas, Fotis Iliopoulos:
The Lovász Local Lemma as a Random Walk. - Prathapasinghe Dharmawansa, Iain M. Johnstone:
Joint density of eigenvalues in spiked multivariate models. - Veronika Cheplygina, David M. J. Tax, Marco Loog:
On Classification with Bags, Groups and Sets. - Nilanjan De, Anita Pal, Sk. Md. Abu Nayeem:
Connective eccentric index of some graph operations. - Heng Li:
Fast construction of FM-index for long sequence reads. - Randy Davila, Franklin Kenter:
Bounds for the Zero-Forcing Number of Graphs with Large Girth. - Nicolò Musmeci, Tomaso Aste, Tiziana di Matteo:
Clustering and hierarchy of financial markets data: advantages of the DBHT. - Dean Richert, Jorge Cortés:
Distributed bargaining in dyadic-exchange networks. - Fei Gao, Bin Liu, Wei Huang, Qiao-Yan Wen:
Post-processing of the oblivious key in quantum private queries. - Gerardo Iñiguez, Tzipe Govezensky, Robin Dunbar, Kimmo Kaski, Rafael A. Barrio:
Effects of Deception in Social Networks. - Peter Hegarty, Edvin Wedin:
The Hegselmann-Krause dynamics for equally spaced agents. - Sercan Ö. Arik, Sukru Burc Eryilmaz, Adam Goldberg:
Supervised classification-based stock prediction and portfolio optimization. - Víctor Valls, Douglas J. Leith:
Max-Weight Revisited: Sequences of Non-Convex Optimisations Solving Convex Optimisations. - Károly Takács, Andreas Flache, Michael Mäs:
Is there negative social influence? Disentangling effects of dissimilarity and disliking on opinion shifts. - Feng Hu, Haixing Zhao, Xiu-Xiu Zhan, Chuang Liu, Zi-Ke Zhang:
Evolution of citation networks with the hypergraph formalism. - Christopher S. Kirk:
Integration of a Predictive, Continuous Time Neural Network into Securities Market Trading Operations. - Ravishankar Ramanathan, Alastair Kay, Glaucia Murta, Pawel Horodecki:
Characterising the Performance of XOR Games and the Shannon Capacity of Graphs. - Wesley Calvert:
PAC Learning, VC Dimension, and the Arithmetic Hierarchy. - Tiziano Squartini, Rossana Mastrandrea, Diego Garlaschelli:
Unbiased sampling of network ensembles. - George E. Dahl, Navdeep Jaitly, Ruslan Salakhutdinov:
Multi-task Neural Networks for QSAR Predictions. - Jeff Borggaard, Serkan Gugercin:
Model Reduction for DAEs with an Application to Flow Control. - Ian R. Manchester, Jean-Jacques E. Slotine:
Output-Feedback Control of Nonlinear Systems using Control Contraction Metrics and Convex Optimization. - Yoon Mo Jung, Jianhong Shen:
Illusory Shapes via Phase Transition. - W. J. Zeng, Jamie Vicary:
Abstract structure of unitary oracles for quantum algorithms. 270-284 - Dan Garber, Elad Hazan:
Faster Rates for the Frank-Wolfe Method over Strongly-Convex Sets. - Alessandra Cherubini, Achille Frigeri, Zuhua Liu:
Composing short 3-compressing words on a 2 letter alphabet. - Eugenio Valdano, Chiara Poletto, Armando Giovannini, Diana Palma, Lara Savini, Vittoria Colizza:
Predicting epidemic risk from past temporal contact data. - Tapani Raiko, Li Yao, Kyunghyun Cho, Yoshua Bengio:
Iterative Neural Autoregressive Distribution Estimator (NADE-k). - Charalambos P. Kontzalis, Grigoris I. Kalogeropoulos:
Controllability and reachability of singular linear discrete time systems. - Stan Palasek:
Arbitrage-free exchange rate ensembles over a general trade network. - Catherine A. Bliss, Christopher M. Danforth, Peter Sheridan Dodds:
Estimation of global network statistics from incomplete data. - (Withdrawn) Variational inference of latent state sequences using Recurrent Networks.
- Edinah K. Gnang, Maksym Radziwill, Carlo Sanna:
Counting arithmetic formulas. - Nicolas Curien, Thomas Duquesne, Igor Kortchemski, Ioan Manolescu:
Scaling limits and influence of the seed graph in preferential attachment trees. - Nikolai Krivulin:
Algebraic solutions of tropical optimization problems. - Zhen Wang, Lin Wang, Matjaz Perc:
Degree mixing in multilayer networks impedes the evolution of cooperation. - Yen-Chi Chen, Christopher R. Genovese, Larry A. Wasserman:
Generalized Mode and Ridge Estimation. - Gustavo Lacerda:
Upper-Bounding Proof Length with the Busy Beaver. - Ian Osband, Benjamin Van Roy:
Model-based Reinforcement Learning and the Eluder Dimension. - Ondrej Turek:
Abelian properties of Parry words. - Alaa Saade, Florent Krzakala, Lenka Zdeborová:
Spectral Clustering of Graphs with the Bethe Hessian. - Frédéric Chazal, Brittany Terese Fasy, Fabrizio Lecci, Bertrand Michel, Alessandro Rinaldo, Larry A. Wasserman:
Subsampling Methods for Persistent Homology. - Lukas Einkemmer, Alexander Ostermann:
On the error propagation of semi-Lagrange and Fourier methods for advection problems. - Adam Lipowski, Dorota Lipowska, Antonio Luis Ferreira:
Emergence of Social Structures via Preferential Selection. - Adam Sheffer:
Distinct Distances: Open Problems and Current Bounds. - Holger Paul Keeler, Bartlomiej Blaszczyszyn:
SINR in wireless networks and the two-parameter Poisson-Dirichlet process. - Shin Harase:
Quasi-Monte Carlo point sets with small $t$-values and WAFOM. - Sebastian U. Stich:
On low complexity Acceleration Techniques for Randomized Optimization: Supplementary Online Material. - Nathan Wiebe, Martin Roetteler:
Quantum arithmetic and numerical analysis using Repeat-Until-Success circuits. - Angelia Nedic, Alex Olshevsky:
Stochastic Gradient-Push for Strongly Convex Functions on Time-Varying Directed Graphs. - Aaditya Ramdas, Ryan J. Tibshirani:
Fast and Flexible ADMM Algorithms for Trend Filtering. - Sashank J. Reddi, Aaditya Ramdas, Barnabás Póczos, Aarti Singh, Larry A. Wasserman:
Kernel MMD, the Median Heuristic and Distance Correlation in High Dimensions. - Ernesto Estrada, Michele Benzi:
Are Social Networks Really Balanced? - J. Rafael Sendra, David Sevilla, Carlos Villarino:
Covering Rational Ruled Surfaces. - Saugata Basu, Martín Sombra:
Polynomial partitioning on varieties and point-hypersurface incidences in four dimensions. - Chuan-Wen Loe, Henrik Jeldtoft Jensen:
Comparison of Communities Detection Algorithms for Multiplex. - Michael R. Smith, Tony R. Martinez:
Reducing the Effects of Detrimental Instances. - Genaro Juárez Martínez, Andrew Adamatzky, Ramón Alonso-Sanz:
Designing Complex Dynamics in Cellular Automata with Memory. - Abhijit Banerjee, Arun Chandrasekhar, Esther Duflo, Matthew O. Jackson:
Gossip: Identifying Central Individuals in a Social Network. - Tanmoy Chakraborty, Sriram Srinivasan, Niloy Ganguly, Animesh Mukherjee, Sanjukta Bhowmick:
On the Permanence of Vertices in Network Communities. - Li Yu, Carlos A. Pérez-Delgado, Joseph F. Fitzsimons:
Limitations on information theoretically secure quantum homomorphic encryption. - Ahmet Enis Çetin, Mohammad Tofighi:
Denosing Using Wavelets and Projections onto the L1-Ball. - José Miguel Hernández-Lobato, Matthew W. Hoffman, Zoubin Ghahramani:
Predictive Entropy Search for Efficient Global Optimization of Black-box Functions. - Michael Schober, David Duvenaud, Philipp Hennig:
Probabilistic ODE Solvers with Runge-Kutta Means. - Ethan Fetaya, Ohad Shamir, Shimon Ullman:
Graph Approximation and Clustering on a Budget. - Ian J. Goodfellow, Jean Pouget-Abadie, Mehdi Mirza, Bing Xu, David Warde-Farley, Sherjil Ozair, Aaron C. Courville, Yoshua Bengio:
Generative Adversarial Networks. - Balaji Lakshminarayanan, Daniel M. Roy, Yee Whye Teh:
Mondrian Forests: Efficient Online Random Forests. - Zhi-Dan Zhao, Shi-Min Cai, Yang Lu:
Non-Markovian Character in Human Mobility: Online and Offline. - Zhaoshi Meng, Brian Eriksson, Alfred O. Hero III:
Learning Latent Variable Gaussian Graphical Models. - Andres J. Ruiz-Vargas, Andrew Suk, Csaba D. Tóth:
Disjoint edges in topological graphs and the tangled-thrackle conjecture. - Jun Cai, William G. Macready, Aidan Roy:
A practical heuristic for finding graph minors. - Hyejin Youn, Luís M. A. Bettencourt, Deborah Strumsky, José Lobo:
Invention as a Combinatorial Process: Evidence from U.S. Patents. - Rajai Nasser:
Ergodic Theory Meets Polarization. I: An Ergodic Theory for Binary Operations. - Marco Tomamichel, Mark M. Wilde, Andreas J. Winter:
Strong converse bounds for quantum communication. - Tapani Raiko, Mathias Berglund, Guillaume Alain, Laurent Dinh:
Techniques for Learning Binary Stochastic Feedforward Neural Networks. - Karthik H. Shankar:
Generic construction of scale-invariantly coarse grained memory. - Jie Shen, Huan Xu, Ping Li:
Online Optimization for Max-Norm Regularization. - Roman Geiselhart, Fabian R. Wirth:
Relaxed ISS Small-Gain Theorems for Discrete-Time Systems. - Charles F. Cadieu, Ha Hong, Daniel Yamins, Nicolas Pinto, Diego Ardila, Ethan A. Solomon, Najib J. Majaj, James J. DiCarlo:
Deep Neural Networks Rival the Representation of Primate IT Cortex for Core Visual Object Recognition. - Dandan Huang, Yingpu Deng:
Deterministic polynomial-time test for prime ideals in a Dedekind domain with finite rank. - Simon Kramer:
Quantum Logic as Classical Logic. - Alessandro Lonardo, F. Ameli, Roberto Ammendola, Andrea Biagioni
, Ottorino Frezza, G. Lamanna, Francesca Lo Cicero, Maurizio Martinelli, Pier Stanislao Paolucci
, Elena Pastorelli, Luca Pontisso, Davide Rossetti, F. Simeone, Francesco Simula, M. Sozzi, Laura Tosoratto, Piero Vicini
:
NaNet: a Low-Latency, Real-Time, Multi-Standard Network Interface Card with GPUDirect Features. - Dongpo Xu, Danilo P. Mandic:
Quaternion Gradient and Hessian. - Stephan Mandt, David M. Blei:
Smoothed Gradients for Stochastic Variational Inference. - Zedong Bi, Hai-Jun Zhou:
Optimal cooperation-trap strategies for the iterated Rock-Paper-Scissors game. - Ramsay Dyer, Gert Vegter, Mathijs Wintraecken:
Riemannian simplices and triangulations. - Yingying Xu, Yoshiyuki Kabashima, Lenka Zdeborová:
Bayesian signal reconstruction for 1-bit compressed sensing. - Yaar Solomon, Barak Weiss:
Dense forests and Danzer sets. - Kohei Nakajima:
Dynamics Underneath Symbols: A Case Study in Autonomous Agents. - Xavier Bresson, Huiyi Hu, Thomas Laurent, Arthur Szlam, James H. von Brecht:
An Incremental Reseeding Strategy for Clustering. - Yichuan Zhang, Charles Sutton:
Semi-Separable Hamiltonian Monte Carlo for Inference in Bayesian Hierarchical Models. - Wacha Bounliphone, Arthur Gretton, Matthew B. Blaschko:
A low variance consistent test of relative dependency. - Peter Sheridan Dodds, Eric M. Clark, Suma Desu, Morgan R. Frank, Andrew J. Reagan, Jake Ryland Williams, Lewis Mitchell, Kameron Decker Harris, Isabel M. Kloumann, James P. Bagrow
, Karine Megerdoomian, Matthew T. McMahon, Brian F. Tivnan, Christopher M. Danforth:
Human language reveals a universal positivity bias. - Kevin Swersky, Jasper Snoek, Ryan Prescott Adams:
Freeze-Thaw Bayesian Optimization. - Andrew J. Lohn
, Patrick R. Mickel, Conrad D. James, Matthew J. Marinella:
Degenerate Resistive Switching and Ultrahigh Density Storage in Resistive Memory. - Yusupjan Habibulla:
CCCP Algorithms to Minimize the Bethe free energy of 3-SAT Problem. - Murdoch James Gabbay:
Consistency of Quine's New Foundations using nominal techniques. - Afonso S. Bandeira, Matthew Fickus, Dustin G. Mixon, Joel Moreira:
Derandomizing restricted isometries via the Legendre symbol. - Bogdan Roman, Anders C. Hansen, Ben Adcock:
On asymptotic structure in compressed sensing. - Mahyar Fazlyab, Victor M. Preciado:
Robust Topology Identification and Control of LTI Networks. - Peter F. Schultz, Dylan M. Paiton, Wei Lu, Garrett T. Kenyon:
Replicating Kernels with a Short Stride Allows Sparse Reconstructions with Fewer Independent Kernels. - Hugo Gimbert, Jérôme Renault, Sylvain Sorin, Xavier Venel, Wieslaw Zielonka:
On the values of repeated games with signals. - Valerio Capraro, Alessandra Marcelletti:
Do good actions inspire good actions in others? - Shin Matsushima, Hyokun Yun, S. V. N. Vishwanathan:
Distributed Stochastic Optimization of the Regularized Risk. - Sebastian Grauwin, Stanislav Sobolevsky, Simon Moritz, István Gódor, Carlo Ratti:
Towards a comparative science of cities: using mobile traffic records in New York, London and Hong Kong. - Colin McDiarmid, Alex D. Scott, Paul Withers:
Uniform multicommodity flow in the hypercube with random edge capacities. - Martin Gerlach, Eduardo G. Altmann:
Scaling laws and fluctuations in the statistics of word frequencies. - Ziming Zhang, Venkatesh Saligrama:
RAPID: Rapidly Accelerated Proximal Gradient Algorithms for Convex Minimization. - Fakhteh Ghanbarnejad, Martin Gerlach, José M. Miotto, Eduardo G. Altmann:
Extracting information from S-curves of language change. - Andreas von Manteuffel, Robert M. Schabinger
:
A novel approach to integration by parts reduction. - Zhijian He, Art B. Owen:
Extensible grids: uniform sampling on a space-filling curve. - Seunghak Lee, Jin Kyu Kim, Xun Zheng, Qirong Ho, Garth A. Gibson, Eric P. Xing:
Primitives for Dynamic Big Model Parallelism. - Sarika Jalan, Camellia Sarkar, Anagha Madhusudanan, Sanjiv Kumar Dwivedi:
Uncovering Randomness and Success in Society. - Bobak Shahriari, Ziyu Wang, Matthew W. Hoffman, Alexandre Bouchard-Côté, Nando de Freitas:
An Entropy Search Portfolio for Bayesian Optimization. - Anshumali Shrivastava, Ping Li:
Improved Densification of One Permutation Hashing. - Jeroen Ooms:
The OpenCPU System: Towards a Universal Interface for Scientific Computing through Separation of Concerns. - F. Molnár Jr., Noemi Derzsy, Éva Czabarka, László A. Székely, Boleslaw K. Szymanski, György Korniss:
Dominating Scale-Free Networks Using Generalized Probabilistic Methods. - Kohei Nakajima, Tao Li, Helmut Hauser
, Rolf Pfeifer:
Exploiting short-term memory in soft body dynamics as a computational resource. - Katja Ried, Megan Agnew, Lydia Vermeyden, Dominik Janzing, Robert W. Spekkens, Kevin J. Resch:
Inferring causal structure: a quantum advantage. - Zach Teitler:
Geometric lower bounds for generalized ranks. - Xiaojie Chen, Matjaz Perc:
Excessive abundance of common resources deters social responsibility. - Erez Hatna, Itzhak Benenson:
Combining segregation and integration: Schelling model dynamics for heterogeneous population. - Chia-Hsiang Lin, Wing-Kin Ma, Wei-Chiang Li, Chong-Yung Chi, Arul-Murugan Ambikapathi:
Identifiability of the Simplex Volume Minimization Criterion for Blind Hyperspectral Unmixing: The No Pure-Pixel Case. - Sevag Gharibian, Zeph Landau, Seung Woo Shin, Guoming Wang:
Tensor network non-zero testing. - Nicolas Gillis, Wing-Kin Ma:
Enhancing Pure-Pixel Identification Performance via Preconditioning. - Soumyadeep Chatterjee, Sheng Chen, Arindam Banerjee:
Generalized Dantzig Selector: Application to the k-support norm. - Aaditya Ramdas:
Rows vs Columns for Linear Systems of Equations - Randomized Kaczmarz or Coordinate Descent? - Aaditya Ramdas, Javier Peña:
Towards A Deeper Geometric, Analytic and Algorithmic Understanding of Margins. - Marko Popovic, Hrvoje Stefancic, Borut Sluban, Petra Kralj Novak, Miha Grcar, Igor Mozetic, Michelangelo Puliga, Vinko Zlatic:
Extraction of Temporal Networks from Term Co-occurrences in Online Textual Sources. - Christoph H. Lampert:
Blind Domain Adaptation: An RKHS Approach. - Yining Wang, Aarti Singh:
Noise-adaptive Margin-based Active Learning for Multi-dimensional Data. - Kenneth D. Morton, Peter Torrione, Leslie M. Collins, Sam Keene:
An Open Source Pattern Recognition Toolbox for MATLAB. - Kohei Nakajima, Taichi Haruna:
Symbolic local information transfer. - Francesca P. Carli:
On the Maximum Entropy Property of the First-Order Stable Spline Kernel and its Implications. - Chao Ding, Hou-Duo Qi:
Convex Optimization Learning of Faithful Euclidean Distance Representations in Nonlinear Dimensionality Reduction. - Tianyi Zhou, Jeff A. Bilmes, Carlos Guestrin:
Divide-and-Conquer Learning by Anchoring a Conical Hull. - David G. Harris, Aravind Srinivasan:
The Moser-Tardos Framework with Partial Resampling. - Yanan Jia, Catherine A. Calder:
Bilinear Mixed-Effects Models for Affiliation Networks. - Shenggang Ying, Mingsheng Ying:
Reachability Analysis of Quantum Markov Decision Processes. - Tsuyoshi Watanabe, Naohito Nakasato:
GPU accelerated Hybrid Tree Algorithm for Collision-less N-body Simulations. - Stefan Engblom, Jamol Pender:
Approximations for the Moments of Nonstationary and State Dependent Birth-Death Queues. - Thijs van Ommen:
Combining predictions from linear models when training and test inputs differ. - Pavel Klavík, Maria Saumell:
Minimal Obstructions for Partial Representations of Interval Graphs. - Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak:
Type theoretical databases. - Angelo Mondaini Calvão, Nuno Crokidakis, Celia Anteneodo:
What do vote distributions reveal? - M. O. Hase:
Carrying Capacity in Barabási-Albert Network. - Robert Nishihara, Stefanie Jegelka, Michael I. Jordan:
On the Convergence Rate of Decomposable Submodular Function Minimization. - Andrew Suk:
Semi-algebraic Ramsey numbers. - Stefan Müller
, Georg Regensburger:
Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents. - Silvia Bonettini, Alessandro Chiuso, Marco Prato:
A scaled gradient projection method for Bayesian learning in dynamical systems. - Nihar B. Shah, Sivaraman Balakrishnan, Joseph K. Bradley, Abhay Parekh, Kannan Ramchandran, Martin J. Wainwright:
When is it Better to Compare than to Score? - Bruce E. Hajek, Yihong Wu, Jiaming Xu:
Computational Lower Bounds for Community Detection on Random Graphs. - Christos Tsegkis:
A note on the causality of singular linear discrete time systems. - William M. Farmer:
Simple Type Theory with Undefinedness, Quotation, and Evaluation. - Javier Alejandro Chávez-Domínguez, Denka Kutzarova:
Stability of low-rank matrix recovery and its connections to Banach space geometry. - Seyed Mostafa Kia:
Mass-Univariate Hypothesis Testing on MEEG Data using Cross-Validation. - Christian Kuehn:
Seamless Gluing of Numerical Continuation and a Multiple Solution Method for Elliptic PDEs. - Laszlo Gyongyosi:
Subcarrier Domain of Multicarrier Continuous-Variable Quantum Key Distribution. - Attila Szolnoki, Matjaz Perc:
Defection and extortion as unexpected catalysts of unconditional cooperation in structured populations. - Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema:
Boolean Dependence Logic and Partially-Ordered Connectives. - Debbie W. Leung, William Matthews:
On the power of PPT-preserving and non-signalling codes. - Ilkka Törmä:
Subshifts, MSO Logic, and Collapsing Hierarchies. - Alex K. Susemihl, Ron Meir, Manfred Opper:
Optimal Population Codes for Control and Estimation. - Amit G. Deshwar, Shankar Vembu, Christina K. Yung, Gun Ho Jang, Lincoln Stein, Quaid Morris:
Reconstructing subclonal composition and evolution from whole genome sequencing of tumors. - C. I. N. Sampaio Filho, André A. Moreira, R. F. S. Andrade, Hans J. Herrmann, José S. Andrade Jr.:
Mandala Networks: ultra-robust, ultra-small-world and highly sparse graphs. - Bo Sun, Blake Leonard, Peter Ronhovde, Zohar Nussinov:
An interacting replica approach applied to the traveling salesman problem. - Davod Khojasteh Salkuyeh:
On the solution of a class of fuzzy system of linear equations. - Kyunghyun Cho, Yoshua Bengio:
Exponentially Increasing the Capacity-to-Computation Ratio for Conditional Computation in Deep Learning. - Samson Abramsky:
Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity. - Mario Ohlberger, Kathrin Smetana:
Approximation of skewed interfaces with tensor-based model reduction procedures: application to the reduced basis hierarchical model reduction approach. - Hassan Gholami Mazinan, Gholam Reza Ahmadi, Erfan Khaji:
An Efficient Hybrid CS and K-Means Algorithm for the Capacitated PMedian Problem. - William M. Farmer:
Andrews' Type Theory with Undefinedness. - Aditya Gopalan, Shie Mannor:
Thompson Sampling for Learning Parameterized MDPs. - Jakub Marecek, Robert Shorten, Jia Yuan Yu:
Congestion Management by Obfuscation. - Pierluigi Contucci, Emanuele Panizzi, Federico Ricci-Tersenghi, Alina Sîrbu
:
A new dimension for democracy: egalitarianism in the rank aggregation problem. - Marco Scutari:
Bayesian Network Constraint-Based Structure Learning Algorithms: Parallel and Optimised Implementations in the bnlearn R Package. - Ziyu Wang, Nando de Freitas:
Theoretical Analysis of Bayesian Optimisation with Unknown Gaussian Process Hyper-Parameters. - Anirban Banerjee, Ranjit Mehatari:
General Randić indices for matching and $\cal{L}$-characteristics polynomial of Starlike trees. - Karim A. Adiprasito, Arnau Padrol, Louis Theran:
Universality theorems for inscribed polytopes and Delaunay triangulations. - Steven Heilman, Elchanan Mossel, Krzysztof Oleszkiewicz:
Strong Contraction and Influences in Tail Spaces. - Antonio Sutera, Arnaud Joly, Vincent François-Lavet, Zixiao Aaron Qiu, Gilles Louppe, Damien Ernst, Pierre Geurts:
Simple connectome inference from partial correlation statistics in calcium imaging. - Shi Gu, Fabio Pasqualetti, Matthew Cieslak, Scott T. Grafton, Danielle S. Bassett:
Controllability of Brain Networks. - Yichen Huang:
A polynomial-time algorithm for the ground state of one-dimensional gapped Hamiltonians. - Jan A. Bergstra, Cornelis A. Middelburg:
Division by zero in non-involutive meadows. - Danning Li, Hui Zou:
SURE Information Criteria for Large Covariance Matrix Estimation and Their Asymptotic Properties. - Cécile Ané, Lam Si Tung Ho, Sebastien Roch:
Phase transition on the convergence rate of parameter estimation under an Ornstein-Uhlenbeck diffusion on a tree. - Guanghui Lan:
Gradient Sliding for Composite Optimization. - Quanlong Wang, Xiaoning Bian:
Qutrit Dichromatic Calculus and Its Universality. 92-101

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.