default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, November 2015
- Fred W. Glover, Vladimir Shylo, Oleg V. Shylo:
Narrow Gauge and Analytical Branching Strategies for Mixed Integer Programming. - Stasa Milojevic:
Quantifying the Cognitive Extent of Science. - Karthikeyan Shanmugam, Murat Kocaoglu, Alexandros G. Dimakis, Sriram Vishwanath:
Learning Causal Graphs with Small Interventions. - Arunesh Sinha, Debarun Kar, Milind Tambe:
Learning Adversary Behavior in Security Games: A PAC Model Perspective. - Tor Lattimore:
The Pareto Regret Frontier for Bandits. - Victor V. Solovyev, Ramzan Umarov:
FendOff encryption software to secure personal information on computers and mobile devices. - Abhronil Sengupta, Kaushik Roy:
Short-Term Plasticity and Long-Term Potentiation in Magnetic Tunnel Junctions: Towards Volatile Synapses. - Daniel H. Biedermann, Peter M. Kielar, Quirin Aumann, Carlos M. Osorio, Celeste T. W. Lai:
CarPed - A Hybrid and Macroscopic Traffic and Pedestrian Simulator. - David A. Moore, Stuart J. Russell:
Gaussian Process Random Fields. - Xingxing Zhang, Liang Lu, Mirella Lapata:
Tree Recurrent Neural Networks with Application to Language Modeling. - Wangpeng He, Yin Ding, Yanyang Zi, Ivan W. Selesnick:
Sparsity-based Algorithm for Detecting Faults in Rotating Machines. - Yijia Chen, Bingkai Lin:
The Constant Inapproximability of the Parameterized Dominating Set Problem. - Garrick Orchard, Ralph Etienne-Cummings:
Bioinspired Visual Motion Estimation. - Francesco Castaldo, Amir Zamir, Roland Angst, Francesco Palmieri, Silvio Savarese:
Semantic Cross-View Matching. - Sarthak Parui, Anurag Mittal:
Sketch-based Image Retrieval from Millions of Images under Rotation, Translation and Scale Variations. - Garrick Orchard, Jacob G. Martin, R. Jacob Vogelstein, Ralph Etienne-Cummings:
Fast Neuromimetic Object Recognition using FPGA Outperforms GPU Implementations. - Daoyuan Wu, Rocky K. C. Chang:
Indirect File Leaks in Mobile Applications. - Mohammed M. Abdelsamea:
Regional Active Contours based on Variational level sets and Machine Learning for Image Segmentation. - Arkadiusz Biernacki:
A Novel Play-out Algorithm for HTTP Adaptive Streaming. - Christophe Guyeux, Jacques M. Bahi:
Topological chaos and chaotic iterations. Application to Hash functions. - Jacques M. Bahi, Christophe Guyeux:
A new chaos-based watermarking algorithm. - Madan Mohan Rayguru, Indra Narayan Kar:
A Contraction Theory Approach for Analysis of Performance Recovery in Dynamic Surface Control. - Vasily Usatyuk:
Computing the minimum distance of nonbinary LDPC codes using block Korkin-Zolotarev method. - Vasiliy Usatyuk:
Some problems of Graph Based Codes for Belief Propagation decoding. - Indre Zliobaite:
A survey on measuring indirect discrimination in machine learning. - Wenhao Wang, Zhi Sun, Kui Ren, Bocheng Zhu:
User Capacity of Wireless Physical-layer Identification: An Information-theoretic Perspective. - Eugene M. Luks:
Group Isomorphism with Fixed Subnormal Chains. - Janusz A. Brzozowski, Sylvie Davies, Bo Yang Victor Liu:
Most Complex Regular Ideals. - Forrest N. Iandola, Khalid Ashraf, Matthew W. Moskewicz, Kurt Keutzer:
FireCaffe: near-linear acceleration of deep neural network training on compute clusters. - Moulay A. Barkatou, Maximilian Jaroschek, Suzy S. Maddah:
Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings. - Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff:
Pointer Race Freedom. - Anshul Gupta, Sai Krishna Deepak Maram, Bharath Kumar Padarthi, Sven Schewe, Ashutosh Trivedi:
Incentive Stackelberg Mean-payoff Games. - Alexander Lavin:
Optimized Mission Planning for Planetary Exploration Rovers. - Ahmad AlAmmouri
, Hesham ElSawy, Mohamed-Slim Alouini:
Harvesting Full-Duplex Rate Gains in Cellular Networks with Half-Duplex User Terminals. - Camille Coti:
Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance. - Vladimir Vovk, Ivan Petej, Valentina Fedorova:
Large-scale probabilistic predictors with and without guarantees of validity. - Peilu Wang, Yao Qian, Frank K. Soong, Lei He, Hai Zhao:
A Unified Tagging Solution: Bidirectional LSTM Recurrent Neural Network with Word Embedding. - Daniel H. Biedermann, Felix Dietrich, Oliver Handel, Peter M. Kielar, Michael J. Seitz:
Using Raspberry Pi for scientific video observation of pedestrians during a music festival. - Ilya Loshchilov:
LM-CMA: an Alternative to L-BFGS for Large Scale Black-box Optimization. - Takeshi Yamada, Ryuhei Uehara:
Shortest Reconfiguration of Sliding Tokens on a Caterpillar. - Tianyi Luo, Dong Wang, Rong Liu, Yiqiao Pan:
Stochastic Top-k ListNet. - Eryk Kopczynski:
Invisible pushdown languages. - Daniel Lokshtanov:
Parameterized Integer Quadratic Programming: Variables and Coefficients. - Christoph Jahnz:
An introduction to the NMPC-Graph as general schema for causal modelling of nonlinear, multivariate, dynamic, and recursive systems with focus on time-series prediction. - Cunsheng Ding:
A Construction of Binary Linear Codes from Boolean Functions. - Cunsheng Ding, Pingzhi Yuan:
Five Constructions of Permutation Polynomials over $\gf(q^2)$. - Nicholas Rizzo, Ethan Sprissler, Yuan Hong, Sanjay Goel:
Privacy Preserving Driving Style Recognition. - Ralph Holz, Johanna Amann, Olivier Mehani, Matthias Wachs, Mohamed Ali Kâafar:
TLS in the wild: an Internet-wide analysis of TLS-based protocols for electronic communication. - Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea:
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices). - Sadra Sadraddini, Calin Belta:
Robust Temporal Logic Model Predictive Control. - Abhinav Maurya:
Spatial Semantic Scan: Detecting Subtle, Spatially Localized Events in Text Streams. - Dor Shaviv, Ayfer Özgür:
Universally Near-Optimal Online Power Control for Energy Harvesting Nodes. - Chuang Ding, Lei Xie, Jie Yan, Weini Zhang, Yang Liu:
Automatic Prosody Prediction for Chinese Speech Synthesis using BLSTM-RNN and Embedding Features. - Matthieu Courbariaux, Yoshua Bengio, Jean-Pierre David:
BinaryConnect: Training Deep Neural Networks with binary weights during propagations. - Dong Wen, Lu Qin, Ying Zhang, Xuemin Lin, Jeffrey Xu Yu:
I/O Efficient Core Graph Decomposition at Web Scale. - Jiaxun Lu, Zhengchuan Chen, Pingyi Fan, Khaled Ben Letaief:
Subcarrier Grouping for MIMO-OFDM Systems over Correlated Double-selective Fading Channels. - Sefa Demirtas, Alan V. Oppenheim:
A Functional Composition Approach to Filter Sharpening and Modular Filter Design. - Arthur G. Ryman:
Z Specification for the W3C Editor's Draft Core SHACL Semantics. - Yin Ding, Wangpeng He, Binqiang Chen, Yanyang Zi, Ivan W. Selesnick:
Fault Detection of Rotation Machinery using Periodic Time-Frequency Sparsity. - Francis R. Bach:
Submodular Functions: from Discrete to Continous Domains. - Dejanira Araiza-Illan, Kerstin Eder:
Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink. - Mikhail Ivanov, Fredrik Brannstrom, Alexandre Graell i Amat, Petar Popovski:
Broadcast Coded Slotted ALOHA for Vehicular Communications: A Finite Frame Length Analysis. - Alexander E. Holroyd, Lionel Levine, Peter Winkler:
Abelian logic gates. - Xiaobai Li, Xiaopeng Hong, Antti Moilanen, Xiaohua Huang, Tomas Pfister, Guoying Zhao, Matti Pietikäinen:
Reading Hidden Emotions: Spontaneous Micro-expression Spotting and Recognition. - Sneha Gajbhiye, Ravi N. Banavar:
Geometric approach to tracking and stabilization for a spherical robot actuated by internal rotors. - Aniol Lidon, Marc Bolaños, Mariella Dimiccoli, Petia Radeva, Maite Garolera, Xavier Giró-i-Nieto:
Semantic Summarization of Egocentric Photo Stream Events. - Bo Zhao, Hucheng Zhou, Guoqiang Li, Yihua Huang:
ZenLDA: An Efficient and Scalable Topic Model Training System on Distributed Data-Parallel Platform. - Jack H. Lutz, Neil Lutz:
Algorithmic information and plane Kakeya sets. - Paul Brussee, Johan Pouwelse:
Autonomous smartphone apps: self-compilation, mutation, and viral spreading. - Jaehoon Jung, Sang-Rim Lee, Inkyu Lee:
Saturation Power based Simple Energy Efficiency Maximization Schemes for MU-MISO Systems. - Itai Ashlagi, Yannai A. Gonczarowski:
Dating Strategies Are Not Obvious. - Dmitry N. Kozlov:
Structure theory of flip graphs with applications to Weak Symmetry Breaking. - Hanqing Zhang, Krister Wiklund, Magnus Andersson:
Circle detection using isosceles triangles sampling. - Pascal Mettes, Robby T. Tan, Remco C. Veltkamp:
Water Detection through Spatio-Temporal Invariant Descriptors. - Pierre Fraigniaud, Amos Korman, Yoav Rodeh:
Parallel Exhaustive Search without Coordination. - Heng Guo, Pinyan Lu:
Uniqueness, Spatial Mixing, and Approximation for Ferromagnetic 2-Spin Systems. - Alexander Kott, Ananthram Swami, Patrick D. McDaniel:
Six Potential Game-Changers in Cyber Security: Towards Priorities in Cyber Science and Engineering. - Philipp Haller, Heather Miller:
A Formal Model for Direct-style Asynchronous Observables. - Sebastian Bittel, Vitali Kaiser, Marvin Teichmann, Martin Thoma:
Pixel-wise Segmentation of Street with Neural Networks. - Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Minimizing Regret in Discounted-Sum Games. - Jonathan Binas, Giacomo Indiveri, Michael Pfeiffer:
Spiking Analog VLSI Neuron Assemblies as Constraint Satisfaction Problem Solvers. - Mahesh Babu Vaddi, B. Sundar Rajan:
Optimal Vector Linear Index Codes for Some Symmetric Side Information Problems. - Yuan Luo, Lin Gao, Jianwei Huang:
Spectrum Reservation Contract Design in TV White Space Networks. - Vijay Badrinarayanan, Alex Kendall, Roberto Cipolla:
SegNet: A Deep Convolutional Encoder-Decoder Architecture for Image Segmentation. - Francisco Lázaro Blasco, Enrico Paolini, Gianluigi Liva, Gerhard Bauch:
Distance Spectrum of Fixed-Rate Raptor Codes with Linear Random Precoders. - Anu Mercian, Elliott I. Gurrola, Frank Aurzada, Michael P. McGarry, Martin Reisslein:
Upstream Polling Protocols for Flow Control in PON/xDSL Hybrid Access Networks. - Amit Kumar, Santosh Malhotra:
Network Security Threats and Protection Models. - Hao Wang, Jianwei Huang, Xiaojun Lin, Hamed Mohsenian Rad:
Proactive Demand Response for Data Centers: A Win-Win Solution. - Karl Bringmann, Ralph Keusch, Johannes Lengler:
Geometric Inhomogeneous Random Graphs. - Tiben Che, Jingwei Xu, Gwan S. Choi:
Overlapped List Successive Cancellation Approach for Hardware Efficient Polar Code Decoder. - Freddy Chong Tat Chua, Bernardo A. Huberman:
A Bayesian Approach to the Partitioning of Workflows. - Mohammad M. Vazifeh, Hongmou Zhang, Paolo Santi, Carlo Ratti:
Optimizing the Deployment of Electric Vehicle Charging Stations Using Pervasive Mobility Data. - Timothy Libert:
Exposing the Hidden Web: An Analysis of Third-Party HTTP Requests on 1 Million Websites. - Mohamad Dolatshah, Ali Hadian, Behrouz Minaei-Bidgoli:
Ball*-tree: Efficient spatial indexing for constrained nearest-neighbor search in metric spaces. - Min Wen, Ufuk Topcu:
Strategy Synthesis for Stochastic Rabin Games with Discounted Reward. - Xue Chen, Yuan Zhou:
Parameterized Algorithms for Constraint Satisfaction Problems Above Average with Global Cardinality Constraints. - Vladimir Braverman, Stephen R. Chestnut, Nikita Ivkin, David P. Woodruff:
Beating CountSketch for Heavy Hitters in Insertion Streams. - Amir Abboud, Greg Bodwin:
The 4/3 Additive Spanner Exponent is Tight. - Piotr Berman, Junichiro Fukuyama:
The Distributed Selection Problem and the AKS Sorting Network. - Nemanja Spasojevic, Adithya Rao:
Identifying Actionable Messages on Social Media. - Wajdi Dhifli, Abdoulaye Baniré Diallo:
Galaxy-X: A Novel Approach for Multi-class Classification in an Open Universe. - Qi Wang, Ludo Waltman:
Large-Scale Analysis of the Accuracy of the Journal Classification Systems of Web of Science and Scopus. - Wajdi Dhifli, Abdoulaye Baniré Diallo:
ProtNN: Fast and Accurate Nearest Neighbor Protein Function Prediction based on Graph Embedding in Structural and Topological Space. - Franco Berbeglia, Gerardo Berbeglia, Pascal Van Hentenryck:
The Benefits of Segmentation in Trial-Offer Markets with Social Influence and Position Bias. - Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang:
PAC Learning-Based Verification and Model Synthesis. - Sudeep Pillai, Srikumar Ramalingam, John J. Leonard:
High-Performance and Tunable Stereo Reconstruction. - Kasturi Vasudevan:
Coherent Detection of Turbo-Coded OFDM Signals Transmitted through Frequency Selective Rayleigh Fading Channels with Receiver Diversity and Increased Throughput. - Sitan Chen:
Basis Collapse for Holographic Algorithms Over All Domain Sizes. - Amit Agarwal, Sudarshan Mukherjee, Saif Khan Mohammed:
Impact of Underlaid Multi-antenna D2D on Cellular Downlink Users in Massive MIMO Systems. - Xi Chen, Yu Cheng, Bo Tang:
Well-Supported versus Approximate Nash Equilibria: Query Complexity of Large Games. - Alexander Lavin:
A Pareto Optimal D* Search Algorithm for Multiobjective Path Planning. - Sayantan Dasgupta:
Implicit Feedback Recommendation using Method of Moment. - Aradhana Nayak, Ravi N. Banavar:
Almost globally stable tracking on compact Riemannian manifolds. - Hyun-Seo Park, Yong-Seouk Choi, Tae-Joong Kim, Byung-Chul Kim, Jae Yong Lee:
Is It Possible to Simultaneously Achieve Zero Handover Failure Rate and Ping-Pong Rate? - Sudin Kadam, Sneha Gajbhiye, Ravi N. Banavar:
A geometric approach to the dynamics of flapping wing micro aerial vehicles: Modelling and reduction. - Martino Borello, Olivier Mila:
On the Stabilizer of Weight Enumerators of Linear Codes. - Olivier Bailleux:
SAT as a game. - Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo:
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version). - Vladimir Braverman, Alan Roytman, Gregory Vorsanger:
Approximating Subadditive Hadamard Functions on Implicit Matrices. - Konstantin S. Yakovlev, Egor Baskin, Ivan Hramoin:
Finetuning Randomized Heuristic Search For 2D Path Planning: Finding The Best Input Parameters For R* Algorithm Through Series Of Experiments. - Sebastian van de Hoef, Karl Henrik Johansson, Dimos V. Dimarogonas:
Computing Feasible Vehicle Platooning Opportunities for Transport Assignments. - Jarek Duda, Grzegorz Korcyl:
Designing dedicated data compression for physics experiments within FPGA already used for data acquisition. - Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber:
Dynamic Gossip. - Brijnesh J. Jain:
Properties of the Sample Mean in Graph Spaces and the Majorize-Minimize-Mean Algorithm. - Therese Biedl, Martin Derka:
The (3, 1)-ordering for 4-connected planar triangulations. - Sandy Heydrich, Rob van Stee:
Beating the Harmonic lower bound for online bin packing. - Jouni Sirén:
Burrows-Wheeler transform for terabases. - Sebastian Brandt, Orr Fischer, Juho Hirvonen, Barbara Keller, Tuomo Lempiäinen, Joel Rybicki, Jukka Suomela, Jara Uitto:
A Lower Bound for the Distributed Lovász Local Lemma. - Babins Shrestha, Nitesh Saxena, Hien Thi Thu Truong, N. Asokan:
Contextual Proximity Detection in the Face of Context-Manipulating Adversaries. - Jeremi Kazimierz Ochab:
Reinventing the Triangles: Rule of Thumb for Assessing Detectability. - Alexander Sakharov, Timothy Sakharov:
Data Language Specification via Terminal Attribution. - Jan Wielemaker, Torbjörn Lager, Fabrizio Riguzzi:
SWISH: SWI-Prolog for Sharing. - Joost Vennekens:
Lowering the learning curve for declarative programming: a Python API for the IDP system. - Ingmar Dasseville, Gerda Janssens:
A web-based IDE for IDP. - Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Bound Your Models! How to Make OWL an ASP Modeling Language. - Justin Hsu, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth, Rakesh Vohra:
Do Prices Coordinate Markets? - Ruben Lapauw, Ingmar Dasseville, Marc Denecker:
Visualising interactive inferences with IDPD3. - Nadime Francis, Luc Segoufin, Cristina Sirangelo:
Datalog Rewritings of Regular Path Queries using Views. - Diego Marron, Jesse Read, Albert Bifet, Nacho Navarro:
Data Stream Classification using Random Feature Functions and Novel Method Combinations. - Arefin Huq:
Undirected Cat-and-Mouse is P-complete. - Julián Monge-Nájera, Karla Vega Corrales:
Sexual videos in Internet: a test of 11 hypotheses about intimate practices and gender interactions in Latin America. - Vijay Badrinarayanan, Bamdev Mishra, Roberto Cipolla:
Understanding symmetries in deep networks. - Flavio V. D. de Figueiredo, Bruno Ribeiro, Jussara M. Almeida, Christos Faloutsos:
TribeFlow: Mining & Predicting User Trajectories. - Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gibbons, Yan Gu, Julian Shun:
Efficient Algorithms under Asymmetric Read and Write Costs. - Junyoung Chung, Jacob Devlin, Hany Hassan Awadalla:
Detecting Interrogative Utterances with Recurrent Neural Networks. - Zhicong Qiu, David J. Miller, George Kesidis:
Detecting Clusters of Anomalies on Low-Dimensional Feature Subsets with Application to Network Traffic Flow Data. - Fatemeh Arbabjolfaei, Young-Han Kim:
Three Stories on a Two-sided Coin: Index Coding, Locally Recoverable Distributed Storage, and Guessing Games on Graphs. - Juan Luis Esteban, Ramon Ferrer-i-Cancho:
A correction on Shiloach's algorithm for minimum linear arrangement of trees. - Alexandros Karargyris:
Color Space Transformation Network. - Walid Saad, Arnold Glass, Narayan B. Mandayam, H. Vincent Poor:
Towards a Consumer-Centric Grid: A Behavioral Perspective. - Hélène Collavizza, Claude Michel, Michel Rueher:
Searching input values hitting suspicious Intervals in programs with floating-point operations. - Juan Julián Merelo Guervós, Pablo García-Sánchez, Mario García Valdez, Israel Blancas:
There is no fast lunch: an examination of the running speed of evolutionary algorithms in several languages. - Vladimir Braverman, Stephen R. Chestnut, Robert Krauthgamer, Lin F. Yang:
Streaming Symmetric Norms via Measure Concentration. - Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine:
Adapting Real Quantifier Elimination Methods for Conflict Set Computation. - Maximilian Jaroschek:
Improved Polynomial Remainder Sequences for Ore Polynomials. - Yossi Azar, Michal Feldman, Nick Gravin, Alan Roytman:
Liquid Price of Anarchy. - Matthias Mnich, Virginia Vassilevska Williams, László A. Végh:
A 7/3-Approximation for Feedback Vertex Sets in Tournaments. - Sebastian Wild:
Why Is Dual-Pivot Quicksort Fast? - John A. Bogovic, Philipp Hanslovsky, Allan Wong, Stephan Saalfeld:
Robust Registration of Calcium Images by Learned Contrast Synthesis. - Fabian Tschopp, Marco Zorzi:
Robust Large-Scale Localization in 3D Point Clouds Revisited. - Minwei Feng, Bing Xiang, Bowen Zhou:
Distributed Deep Learning for Answer Selection. - Philipp Hanslovsky, John A. Bogovic, C. Shan Xu, Kenneth J. Hayworth, Zhiyuan Lu, Harald F. Hess, Stephan Saalfeld:
Image based compensation for thickness variation in microscopy section series. - Zachary Clawson, Xuchu Dennis Ding, Brendan J. Englot, Thomas A. Frewen, William M. Sisson, Alexander Vladimirsky:
A bi-criteria path planning algorithm for robotics applications. - Marco Paciscopi, Ludovico Silvestri, Francesco Saverio Pavone, Paolo Frasconi:
Cell identification in whole-brain multiview images of neural activation. - Nitish Shirish Keskar, Albert S. Berahas:
adaQN: An Adaptive Quasi-Newton Algorithm for Training RNNs. - Hongyu Yang, Di Huang, Yunhong Wang, Heng Wang, Yuanyan Tang:
Face Aging Effect Simulation using Hidden Factor Analysis Joint Sparse Representation. - Ralph C. Bottesch, Dmitry Gavinsky, Hartmut Klauck:
Equality, Revisited. - Hongbo Si, Onur Ozan Koyluoglu, Sriram Vishwanath:
Hierarchical Polar Coding for Achieving Secrecy over Fading Wiretap Channels without any Instantaneous CSI. - Lucas Wiener, Tomas Ekholm, Philipp Haller:
Modular Responsive Web Design using Element Queries. - Mingji Xia:
Base collapse of holographic algorithms. - Roberto Morabito:
Power Consumption of Virtualization Technologies: an Empirical Investigation. - Thierry Bouwmans, Andrews Sobral, Sajid Javed, Soon Ki Jung, El-Hadi Zahzah:
Decomposition into Low-rank plus Additive Matrices for Background/Foreground Separation: A Review for a Comparative Evaluation with a Large-Scale Dataset. - Vinh-Thong Ta:
On the Systematic Design of Privacy Policies and Privacy Architectures. - Noam Segev, Maayan Harel, Shie Mannor, Koby Crammer, Ran El-Yaniv:
Learn on Source, Refine on Target: A Model Transfer Learning Framework with Random Forests. - Gregory Grefenstette, Karima Rafes:
Transforming Wikipedia into a Search Engine for Local Experts. - Martin Gebser, Philipp Obermeier, Torsten Schaub:
Interactive Answer Set Programming - Preliminary Report. - Thomas Ehrhard, Michele Pagani, Christine Tasson:
Full abstraction for probabilistic PCF. - Yasser Fadlallah, Leonardo S. Cardoso, Jean-Marie Gorce:
Demo: Non-classic Interference Alignment for Downlink Cellular Networks. - Arnaud De Myttenaere, Boris Golden, Bénédicte Le Grand, Fabrice Rossi:
Study of a bias in the offline evaluation of a recommendation algorithm. - Phong Nguyen, Jun Wang, Alexandros Kalousis:
Factorizing LambdaMART for cold start recommendations. - Pierre Fraigniaud, Marc Heinrich, Adrian Kosowski:
Local Conflict Coloring. - Panagiotis D. Diamantoulakis, Koralia N. Pappi, Zhiguo Ding, George K. Karagiannidis:
Optimal Design of Non-Orthogonal Multiple Access with Wireless Power Transfer. - Andrea Cavagna, Chiara Creato, Lorenzo Del Castello, Stefania Melillo, Leonardo Parisi, Massimiliano Viale:
Towards a tracking algorithm based on the clustering of spatio-temporal clouds of points. - Yuezu Lv, Zhongkui Li, Zhisheng Duan, Jie Chen:
Fully Distributed Adaptive Output Feedback Protocols for Linear Multi-Agent Systems with Directed Graphs: A Sequential Observer Design Approach. - François Durand, Benoît Kloeckner, Fabien Mathieu, Ludovic Noirie:
Geometry on the Utility Space. - Jeremy E. Cohen:
About Notations in Multiway Array Processing. - Yuezu Lv, Zhongkui Li, Zhisheng Duan, Gang Feng:
Novel Distributed Robust Adaptive Consensus Protocols for Linear Multi-agent Systems with Directed Graphs and External Disturbances. - Sudheer Poojary, Vinod Sharma:
Asymptotic Approximations for TCP Compound. - Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder:
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions. - Eugene Goldberg:
Equivalence Checking By Logic Relaxation. - Fedor V. Fomin, Daniel Lokshtanov, Michal Pilipczuk, Saket Saurabh, Marcin Wrochna:
Fully polynomial-time parameterized computations for graphs and matrices of low treewidth. - Loc V. Tran, Phuc Phung-Van, Jaehong Lee, Hung Nguyen-Xuan, Magd Abdel Wahab:
Isogeometric approach for nonlinear bending and post-buckling analysis of functionally graded plates under thermal environment. - Ronald Garcia, Éric Tanter:
Deriving a Simple Gradual Security Language. - Constantinos Daskalakis, Vasilis Syrgkanis:
Learning in Auctions: Regret is Hard, Envy is Easy. - Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder:
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. - Giovanni S. Carmantini, Peter beim Graben, Mathieu Desroches, Serafim Rodrigues:
Turing Computation with Recurrent Artificial Neural Networks. - Andrew M. Dai, Quoc V. Le:
Semi-supervised Sequence Learning. - Damien Fay, Hamed Haddadi, Michael C. Seto, Han Wang, Christoph Carl Kling:
An exploration of fetish social networks and communities. - Thor Martinsen, Wilfried Meidl, Pantelimon Stanica:
Generalized bent functions and their Gray images. - Jianxiao Yang, Kai Wan, Benoit Geller, Charbel Abdel Nour, Olivier Rioul, Catherine Douillard:
A low-complexity 2D signal space diversity solution for future broadcasting systems. - Guillaume Rabusseau, Borja Balle, Shay B. Cohen:
Weighted Tree Automata Approximation by Singular Value Truncation. - Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
ATLAS: An Adaptive Failure-aware Scheduler for Hadoop. - Matteo Anedda, Alessio Meloni, Maurizio Murroni:
64-APSK Constellation and Mapping Optimization for Satellite Broadcasting Using Genetic Algorithms. - Ankur Moitra, William Perry, Alexander S. Wein:
How Robust are Reconstruction Thresholds for Community Detection? - Bryan Poling, Gilad Lerman:
Enhancing Feature Tracking With Gyro Regularization. - Emmanuel Bacry, Stéphane Gaïffas, Iacopo Mastromatteo, Jean-François Muzy:
Mean-field inference of Hawkes point processes. - Martin Kliesch, Richard Kueng, Jens Eisert, David Gross:
Improving compressed sensing with the diamond norm. - Laurent Chuat, Pawel Szalachowski, Adrian Perrig, Ben Laurie, Eran Messeri:
Efficient Gossip Protocols for Verifying the Consistency of Certificate Logs. - Abhijit Kiran Valluri:
Equilibrium Properties of Rate Control Protocols. - Jubin Jose, Chong Li, Xinzhou Wu, Lei Ying, Kai Zhu:
Distributed Rate and Power Control in Vehicular Networks. - Grigore Stamatescu:
Achieving Sensor Fusion for Collaborative Multi-level Monitoring of Pipeline Infrastructures. - Masoumeh Kheirkhah, Andrea Lancichinetti, Martin Rosvall:
Efficient community detection of network flows for varying Markov times and bipartite networks. - Alessandro Chiuso:
Regularization and Bayesian Learning in Dynamical Systems: Past, Present and Future. - Sergey N. Dorogovtsev, José F. F. Mendes:
Ranking scientists. - Anna-Lena Horlemann-Trautmann, Kyle Marshall, Joachim Rosenthal:
Extension of Overbeck's Attack for Gabidulin Based Cryptosystems. - Chao-Lin Liu, Chih-Kai Huang, Hongsu Wang, Peter K. Bol:
Mining Local Gazetteers of Literary Chinese with CRF and Pattern based Methods for Biographical Information in Chinese History. - Yevgeniy Kovchegov, Ilya Zaliapin:
Horton Law in Self-Similar Trees. - Chao-Lin Liu, Hongsu Wang, Wen-Huei Cheng, Chu-Ting Hsu, Wei-Yun Chiu:
Color Aesthetics and Social Networks in Complete Tang Poems: Explorations and Discoveries. - Andreas Müller, Michal A. Kopera, Simone Marras, Lucas C. Wilcox, Tobin Isaac, Francis X. Giraldo:
Strong Scaling for Numerical Weather Prediction at Petascale with the Atmospheric Model NUMA. - Samson Abramsky, Dominic Horsman:
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. 1-16 - Costin Badescu, Prakash Panangaden:
Quantum Alternation: Prospects and Problems. 33-42 - Jaap Boender, Florian Kammüller, Rajagopal Nagarajan:
Formalization of Quantum Protocols using Coq. 71-83 - Kenta Cho:
Total and Partial Computation in Categorical Quantum Foundations. 116-135 - Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan:
Quotient-Comprehension Chains. 136-147 - David Quick:
Encoding !-tensors as !-graphs with neighbourhood orders. 307-320 - Ciprian Chelba, Fernando Pereira:
Multinomial Loss on Held-out Data for the Sparse Non-negative Matrix Language Model. - (Withdrawn) A Simple Approach to Optimal CUR Decomposition.
- Mohammad Ali Abam, Mark de Berg, Mohammad Javad Rezaei Seraji:
Geodesic Spanners for Points on a Polyhedral Terrain. - Baokun Ding, Tao Zhang, Gennian Ge:
New constructions of quantum MDS convolutional codes derived from generalized Reed-Solomon codes. - Manjunath Narayana, Allen R. Hanson, Erik G. Learned-Miller:
Coherent Motion Segmentation in Moving Camera Videos using Optical Flow Orientations. - Nalin Asanka Gamagedara Arachchilage, Steve Love, Carsten Maple:
Can a Mobile Game Teach Computer Users to Thwart Phishing Attacks? - Manjunath Narayana, Allen R. Hanson, Erik G. Learned-Miller:
Background subtraction - separating the modeling and the inference. - Manjunath Narayana, Allen R. Hanson, Erik G. Learned-Miller:
Background Modeling Using Adaptive Pixelwise Kernel Variances in a Hybrid Feature Space. - Anthony W. Lin, Pablo Barceló:
String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version). - Saeid Haghighatshoar, Giuseppe Caire:
An Active-Sensing Approach to Channel Vector Subspace Estimation in mm-Wave Massive MIMO Systems. - Vilém Vychodil:
Computing sets of graded attribute implications with witnessed non-redundancy. - Nisha Panwar, Shantanu Sharma, Awadhesh Kumar Singh:
A Survey on 5G: The Next Generation of Mobile Communication. - Peter Trifonov, Vera Miloslavskaya:
Polar Subcodes. - Jean Barbier:
Statistical physics and approximate message-passing algorithms for sparse linear estimation problems in signal processing and coding theory. - Gregory Z. Gutin, Anders Yeo:
Note on Perfect Forests in Digraphs. - Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou:
Stochastic Proximal Gradient Descent for Nuclear Norm Regularization. - Yiou Lin, Hang Lei, Jia Wu, Xiaoyu Li:
An Empirical Study on Sentiment Classification of Chinese Review using Word Embedding. - Abhinav Tushar, Abhinav Dahiya:
Comparing Writing Styles using Word Embedding and Dynamic Time Warping. - Madhu Illuri, P. Renjith, N. Sadagopan:
Complexity of Steiner Tree in Split Graphs - Dichotomy Results. - Tianyu Qiu, Prabhu Babu, Daniel Pérez Palomar:
PRIME: Phase Retrieval via Majorization-Minimization. - K. Krishna Mohan Reddy, P. Renjith, N. Sadagopan:
Listing All Spanning Trees in Halin Graphs - Sequential and Parallel view. - Fu-Hong Wang, Jin-Li Guo, Ai-Zhong Shen, Qi Suo:
Evolving hypernetwork model based on WeChat user relations. - Chen Dan, Kristoffer Arnsfelt Hansen, He Jiang, Liwei Wang, Yuchen Zhou:
On Low Rank Approximation of Binary Matrices. - Thor Martinsen, Wilfried Meidl, Pantelimon Stanica:
Partial Spread and Vectorial Generalized Bent Functions. - Huilin Gao, Wenjie Chen, Lihua Dou:
Image classification based on support vector machine and the fusion of complementary features. - Jordi Grau-Moya, Daniel A. Braun:
Adaptive information-theoretic bounded rational decision-making with parametric priors. - Ata ur-Rehman, Syed Mohsen Naqvi, Lyudmila Mihaylova, Jonathon A. Chambers:
Multi-Target Tracking and Occlusion Handling with Learned Variational Bayesian Clusters and a Social Force Model. - Vijay Badrinarayanan, Bamdev Mishra, Roberto Cipolla:
Symmetry-invariant optimization in deep networks. - Suzanne Mpouli, Jean-Gabriel Ganascia:
"Pale as death" or "pâle comme la mort": Frozen similes used as literary clichés. - Meisam Razaviyayn, Farzan Farnia, David N. C. Tse:
Discrete Rényi Classifiers. - Immanuel Trummer, Christoph Koch:
Parallelizing Query Optimization on Shared-Nothing Architectures. - Both Emerite Neou, Romeo Rizzi, Stéphane Vialette:
Pattern matching in $(213, 231)$-avoiding permutations. - Meisam Razaviyayn, Hung-Wei Tseng, Zhi-Quan Luo:
Computational Intractability of Dictionary Learning for Sparse Representation. - Srivatsan Ravi:
On the Cost of Concurrency in Transactional Memory. - Immanuel Trummer, Christoph Koch:
Probably Approximately Optimal Query Optimization. - Ta-Yuan Liu, Shih-Chun Lin, Yao-Win Peter Hong:
On the Role of Artificial Noise in Training and Data Transmission for Secret Communications. - Mingfu Li:
Queueing Analysis of Unicast IPTV With User Mobility and Adaptive Modulation and Coding in Wireless Cellular Networks. - Yu-Pin Hsu, Lingjie Duan:
To Motivate Social Grouping in Wireless Networks. - Shuaiqi Hu, Ke Li, Xudong Bao:
Wood Species Recognition Based on SIFT Keypoint Histogram. - Wing-Kai Hon, Ton Kloks, Fu-Hong Liu, Hsiang-Hsuan Liu, Hung-Lung Wang:
Flood-it on AT-Free Graphs. - Prateek Karandikar, Philippe Schnoebelen:
Hierarchy of piecewise-testable languages and complexity of the two-variable logic of subsequences. - Shuaiqi Hu:
A Hierarchical Key Management Scheme for Wireless Sensor Networks Based on Identity-based Encryption. - Lili Su, Nitin H. Vaidya:
Fault-Tolerant Distributed Optimization (Part IV): Constrained Optimization with Arbitrary Directed Networks. - (Withdrawn) Proof of the Most Informative Boolean Function Conjecture.
- Janani Kalyanam, Mauricio Quezada, Barbara Poblete, Gert R. G. Lanckriet:
Early prediction and characterization of high-impact world events using social media. - Stéphane Gimenez, Georg Moser:
The Complexity of Interaction (Long Version). - Hendrik Schäbe, Jens Braband:
Basic requirements for proven-in-use arguments. - Marijn ten Thij, Sandjai Bhulai:
Modeling trend progression through an extension of the Polya Urn Process. - Haoming Chen, Ankur Saxena, Felix C. A. Fernandes:
On Intra Prediction for Screen Content Video Coding. - Nastaran Mohammadian Rad, Andrea Bizzego, Seyed Mostafa Kia, Giuseppe Jurman, Paola Venuti, Cesare Furlanello:
Convolutional Neural Network for Stereotypical Motor Movement Detection in Autism. - Zhepeng (Lionel) Li, Xiao Fang, Olivia R. Liu Sheng:
A Survey of Link Recommendation for Social Networks: Methods, Theoretical Foundations, and Future Research Directions. - Andrew Gordon Wilson, Christoph Dann, Hannes Nickisch:
Thoughts on Massively Scalable Gaussian Processes. - Radu Grigore, Hongseok Yang:
Abstraction Refinement Guided by a Learnt Probabilistic Model. - Vladislav Gennadievich Malyshkin:
Radon-Nikodym approximation in application to image analysis. - S. Tesoro, Sebastian E. Ahnert:
Non-deterministic self-assembly of two tile types on a lattice. - Reza Babanezhad, Mohamed Osama Ahmed, Alim Virani, Mark Schmidt, Jakub Konecný, Scott Sallinen:
Stop Wasting My Gradients: Practical SVRG. - Roshan G. Ragel, Jude Angelo Ambrose, Sri Parameswaran:
SecureD: A Secure Dual Core Embedded Processor. - Zhi Chen, Pingyi Fan, Dapeng Oliver Wu, Khaled Ben Letaief:
Weighted Sum-Throughput Maximization for MIMO Broadcast Channel: Energy Harvesting Under System Imperfection. - José Oramas M., Tinne Tuytelaars:
Recovering hard-to-find object instances by sampling context-based object proposals. - Ousmane Ndiaye:
One Cyclic Codes over $\mathbb{F}_{p^k} + v\mathbb{F}_{p^k} + v^2\mathbb{F}_{p^k} + ... + v^r\mathbb{F}_{p^k}$. - Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
An Action Language for Multi-Agent Domains: Foundations. - David Oliveira Aparício, Pedro Manuel Pinto Ribeiro, Fernando M. A. Silva:
Network comparison using directed graphlets. - Ankit Parekh, Ivan W. Selesnick:
Enhanced Low-Rank Matrix Approximation. - Qiang Liu, Gang Wu, Yingchu Guo, Yusong Zhang:
Energy Efficient Resource Allocation for Control Data Separation Architecture based H-CRAN with Heterogeneous Fronthaul. - Xu Chen, Han Zhang, Judith Gelernter:
Multi-lingual Geoparsing based on Machine Translation. - Setareh Maghsudi, Ekram Hossain:
Distributed User Association in Energy Harvesting Small Cell Networks: A Competitive Market Model with Uncertainty. - Hao Wang, Jianwei Huang:
Joint Investment and Operation of Microgrid. - Julian Yarkony:
Next Generation Multicuts for Semi-Planar Graphs. - Marie-Liesse Cauwet, Olivier Teytaud, Hua-Min Liang, Shi-Jim Yen, Hung-Hsuan Lin, I-Chen Wu, Tristan Cazenave, Abdallah Saffidine:
Depth, balancing, and limits of the Elo model. - Alexander Koplenig, Carolin Müller-Spitzer:
Population size predicts lexical diversity, but so does the mean sea level - one problem in the analysis of temporal data. - Mohammadamin Abbasnejad, Mohammad Ali Masnadi-Shirazi:
Facial Expression Recognition Using Sparse Gaussian Conditional Random Field. - S. Sathiya Keerthi, Tobias Schnabel, Rajiv Khanna:
Towards a Better Understanding of Predict and Count Models. - Josep Lluis Berral, Nicolás Poggi, David Carrera, Aaron Call, Rob Reinauer, Daron Green:
ALOJA-ML: A Framework for Automating Characterization and Knowledge Discovery in Hadoop Deployments. - Josep Lluis Berral, Nicolás Poggi, David Carrera, Aaron Call, Rob Reinauer, Daron Green:
ALOJA: A Framework for Benchmarking and Predictive Analytics in Big Data Deployments. - P. Renjith, N. Sadagopan:
Hamiltonian Path in 2-Trees. - Marcelo Amaral, Jorda Polo, David Carrera, Iqbal Mohomed, Merve Unuvar, Malgorzata Steinder:
Performance Evaluation of Microservices Architectures using Containers. - Hung-Hsuan Chen, Alexander G. Ororbia II, C. Lee Giles:
ExpertSeer: a Keyphrase Based Expert Recommender for Digital Libraries. - Immanuel Trummer, Christoph Koch:
Solving the Join Ordering Problem via Mixed Integer Linear Programming. - Chen Avin, Andreas Loukas, Maciej Pacut, Stefan Schmid:
Online Balanced Repartitioning. - Ziling Heng, Qin Yue:
Evaluation of the weight distribution of a class of linear codes based on semi-primitive Gauss sums. - Pete Pratt, Carl P. Dettmann, Orestis Georgiou:
How does mobility affect the connectivity of interference-limited ad-hoc networks? - Kerry Fultz, Seth Filip:
Introducing SKYSET - a Quintuple Approach for Improving Instructions. - Sandeep Tamrakar, Hoang Long Nguyen, Praveen Kumar Pendyala, Andrew Paverd, N. Asokan, Ahmad-Reza Sadeghi:
OmniShare: Securely Accessing Encrypted Cloud Storage from Multiple Authorized Devices. - Shichao Zhao, Yanbin Liu, Yahong Han, Richang Hong:
Pooling the Convolutional Layers in Deep ConvNets for Action Recognition. - Zhenyu Xiao, Tong He, Pengfei Xia, Xiang-Gen Xia:
Hierarchical Codebook Design for Beamforming Training in Millimeter-Wave Communication. - Björn Gmeiner, Markus Huber, Lorenz John, Ulrich Rüde, Barbara I. Wohlmuth:
A quantitative performance analysis for Stokes solvers at the extreme scale. - James Atwood, Don Towsley:
Search-Convolutional Neural Networks. - Markus Lohrey, Sebastian Maneth, Carl Philipp Reh:
Traversing Grammar-Compressed Trees with Constant Delay. - Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat:
Profinite Monads, Profinite Equations and Reiterman's Theorem. - Zhaoyang Zhang, Liang Zhang, Xianbin Wang, Caijun Zhong, H. Vincent Poor:
A Split-Reduced Successive Cancellation List Decoder for Polar Codes. - Zhenyu Xiao, Xiang-Gen Xia, Depeng Jin, Ning Ge:
Iterative Eigenvalue Decomposition and Multipath-Grouping Tx/Rx Joint Beamforming for Millimeter-Wave Communication. - Jennifer Gillenwater, Rishabh K. Iyer, Bethany Lusch, Rahul Kidambi, Jeff A. Bilmes:
Submodular Hamming Metrics. - Lukas Einkemmer:
Evaluation of the Intel Xeon Phi and NVIDIA K80 as accelerators for two-dimensional panel codes. - Sandra Catalán, José R. Herrero, Francisco D. Igual, Rafael Rodríguez-Sánchez, Enrique S. Quintana-Ortí:
Multi-Threaded Dense Linear Algebra Libraries for Low-Power Asymmetric Multicore Processors. - Argimiro Arratia, Carlos E. Ortiz:
Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity. - Gang Mei, Liangliang Xu, Nengxiong Xu:
Accelerating Adaptive IDW Interpolation Algorithm on a Single GPU. - Haohan Wang, Madhavi K. Ganapathiraju:
Evaluating Protein-protein Interaction Predictors with a Novel 3-Dimensional Metric. - Tong Wang, Cynthia Rudin:
Learning Optimized Or's of And's. - Andrew Gordon Wilson, Zhiting Hu, Ruslan Salakhutdinov, Eric P. Xing:
Deep Kernel Learning. - Radu Timofte, Rasmus Rothe, Luc Van Gool:
Seven ways to improve example-based single image super resolution. - Lasse Natvig, Torbjørn Follan, Simen Støa, Sindre Magnussen, Antonio García-Guirado:
Climbing Mont Blanc - A Training Site for Energy Efficient Programming on Heterogeneous Multicore Processors. - Armand Joulin, Laurens van der Maaten, Allan Jabri, Nicolas Vasilache:
Learning Visual Features from Large Weakly Supervised Data. - Eric Heim, Matthew Berger, Lee M. Seversky, Milos Hauskrecht:
Active Perceptual Similarity Modeling with Auxiliary Information. - Kai Wan, Daniela Tuninetti, Pablo Piantanida:
On the Optimality of Uncoded Cache Placement. - Ze Jia Zhang, Karthik Duraisamy, Nail A. Gumerov:
Efficient Multiscale Gaussian Process Regression using Hierarchical Clustering. - Mustafa Said Mehmetoglu, Emrah Akyol, Kenneth Rose:
Deterministic Annealing Based Optimization for Zero-Delay Source-Channel Coding in Networks. - Can Xiang, Keqin Feng, Chunming Tang:
A Construction of Linear Codes over $\f_{2^t}$ from Boolean Functions. - Luc Devroye, Claude Gravel:
The expected bit complexity of the von Neumann rejection algorithm. - Zichao Yang, Xiaodong He, Jianfeng Gao, Li Deng, Alexander J. Smola:
Stacked Attention Networks for Image Question Answering. - Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia:
Control Improvisation with Probabilistic Temporal Specifications. - Laurel D. Riek:
Robotics Technology in Mental Health Care. - Xiaorui Liu, Yichao Huang, Xin Zhang, Lianwen Jin:
Fingertip in the Eye: A cascaded CNN pipeline for the real-time fingertip detection in egocentric videos. - Junhua Mao, Jonathan Huang, Alexander Toshev, Oana Camburu, Alan L. Yuille, Kevin Murphy:
Generation and Comprehension of Unambiguous Object Descriptions. - Xu Du, John Tadrous, Ashutosh Sabharwal:
Multiuser MIMO Sequential Beamforming with Full-duplex Training. - Camila Vaccari Sundermann, Marcos Aurélio Domingues, Ricardo Marcondes Marcacini, Solange Oliveira Rezende:
Combining Privileged Information to Improve Context-Aware Recommender Systems. - Nikhil R. Devanur, Zhiyi Huang, Christos-Alexandros Psomas:
The Sample Complexity of Auctions with Side Information. - Bo Zhang, Yunlong Wu, Xiaodong Yi, Xuejun Yang:
Joint Communication-Motion Planning in Wireless-Connected Robotic Networks: Overview and Design Guidelines. - Shuran Song, Jianxiong Xiao:
Deep Sliding Shapes for Amodal 3D Object Detection in RGB-D Images. - Felix Hill, Antoine Bordes, Sumit Chopra, Jason Weston:
The Goldilocks Principle: Reading Children's Books with Explicit Memory Representations. - Mehrdad Tahmasbi, Faramarz Fekri:
On the Capacity Achieving Probability Measures for Molecular Receivers. - Vikraman Arvind, S. Raja:
Some Lower Bound Results for Set-Multilinear Arithmetic Computations. - Kavirayani Srikanth, Gundavarapu Nagesh Kumar:
Stabilization at upright equilibrium position of a double inverted pendulum with unconstrained bat optimization. - Mohammad Ali Saghafi, Aini Hussain, Halimah Badioze Zaman, Mohamad Hanif Md. Saad:
Review of Person Re-identification Techniques. - Radu Curticapean, Mingji Xia:
Parameterizing the Permanent: Genus, Apices, Minors, Evaluation mod 2^k. - Zhenyu Xiao, Lin Bai, Jinho Choi:
Iterative Joint Beamforming Training with Constant-Amplitude Phased Arrays in Millimeter-Wave Communication. - Zhenyu Xiao:
Suboptimal Spatial Diversity Scheme for 60 GHz Millimeter-Wave WLAN. - Jianhui Zhang, Shaojie Tang, Xingfa Shen, Guojun Dai, Amiya Nayak:
Quorum-based Localized Scheme for Duty Cycling in Asynchronous Sensor Networks. - Wiharto, Hari Kusnanto, Herianto Herianto:
Performance Analysis of Multiclass Support Vector Machine Classification for Diagnosis of Coronary Heart Diseases. - Arne Ludwig, Carlo Fuerst, Alexander Henze, Stefan Schmid:
Opposites Attract: Virtual Cluster Embedding for Profit. - Yuan Cao, Yonglin Cao, Jian Gao:
On a class of (δ+αu2)-constacyclic codes over 𝔽q[u]/〈u4〉. - Kai Zhou, Jian Ren:
CASO: Cost-Aware Secure Outsourcing of General Computational Problems. - Jian Li, Tongtong Li, Jian Ren:
Optimal Construction of Regenerating Code through Rate-matching in Hostile Networks. - Shahab Asoodeh, Mario Díaz, Fady Alajaji, Tamás Linder:
Information Extraction Under Privacy Constraints. - Sylvester Olubolu Orimaye, Saadat M. Alhashmi, Eu-Gene Siew, Sang Jung Kang:
Review-Level Sentiment Classification with Sentence-Level Polarity Correction. - Bojian Xu:
On Stabbing Queries for Generalized Longest Repeat. - Michal Feldman, Nick Gravin, Brendan Lucier:
On Welfare Approximation and Stable Pricing. - Sepehr Abbasi Zadeh, Mehrdad Ghadiri:
Max-Sum Diversification, Monotone Submodular Functions and Semi-metric Spaces. - Sohini Roychowdhury, Michelle Emmons:
A Survey of the Trends in Facial and Expression Recognition Databases and Methods. - Marek Trtík:
Anonymous On-line Communication Between Program Analyses. - Ehsan Lotfi:
Design of an Alarm System for Isfahan Ozone Level based on Artificial Intelligence Predictor Models. - Jeonghun Park, Robert W. Heath Jr.:
Low Complexity Antenna Selection in Dense Cloud Radio Access Networks. - Ehsan Lotfi:
A Winner-Take-All Approach to Emotional Neural Networks with Universal Approximation Property. - Ahmed M. Alaa, Kartik Ahuja, Mihaela van der Schaar:
A Micro-foundation of Social Capital in Evolving Social Networks. - Son-Il Kwak, Gang Choe, In-Song Kim, Gyong-Ho Jo, Chol-Jun Hwang:
A Study of an Modeling Method of T-S fuzzy System Based on Moving Fuzzy Reasoning and Its Application. - André Valente Rodrigues, Alípio Jorge, Inês Dutra:
Accelerating Recommender Systems using GPUs. - Son-Il Kwak, O-Chol Kwon, Chang-Sin Kim, Yong-Il Pak, Gum-Chol Son, Chol-Jun Hwang, Hyon-Chol Kim, Hyok-Chol Sin, Gyong-Il Hyon, Sok-Min Han:
A Chinese POS Decision Method Using Korean Translation Information. - Sylvester Olubolu Orimaye, Kah Yee Tai, Jojo Sze-Meng Wong, Chee Piau Wong:
Learning Linguistic Biomarkers for Predicting Mild Cognitive Impairment using Compound Skip-grams. - Tamar Cohen, Liron Yedidsion:
The Periodic Joint Replenishment Problem is Strongly NP-Hard. - Patrick Virie:
(Yet) Another Theoretical Model of Thinking. - Duorui Xie, Lingyu Liang, Lianwen Jin, Jie Xu, Mengru Li:
SCUT-FBP: A Benchmark Dataset for Facial Beauty Perception. - Ken-ichi Kawarabayashi:
Graph Isomorphism for Bounded Genus Graphs In Linear Time. - Steven C. H. Hoi, Xiongwei Wu, Hantang Liu, Yue Wu, Huiqiong Wang, Hui Xue, Qiang Wu:
LOGO-Net: Large-scale Deep Logo Detection and Brand Recognition with Deep Region-based Convolutional Networks. - Jie Xu, Lianwen Jin, Lingyu Liang, Ziyong Feng, Duorui Xie:
A new humanlike facial attractiveness predictor with cascaded fine-tuning deep learning model. - Stephen R. Chestnut, Rico Zenklusen:
Hardness and Approximation for Network Flow Interdiction. - Chris Cummins, Pavlos Petoumenos, Michel Steuwer, Hugh Leather:
Autotuning OpenCL Workgroup Size for Stencil Patterns. - AmirHossein Habibian, Thomas Mensink, Cees G. M. Snoek:
VideoStory Embeddings Recognize Events when Examples are Scarce. - Athena Elafrou, Georgios I. Goumas, Nectarios Koziris:
A lightweight optimization selection method for Sparse Matrix-Vector Multiplication. - Amar Ranjan Dash, Sandipta Kumar Sahu, Sanjay Kumar Samantra, Sradhanjali Sabat:
Characteristic specific prioritized dynamic average burst round robin scheduling for uniprocessor and multiprocessor environment. - Arie Rond, Raja Giryes, Michael Elad:
Poisson Inverse Problems by the Plug-and-Play scheme. - Wei Li, Mingquan Qiu, Zhencai Zhu, Bo Wu, Gongbo Zhou:
Bearing fault diagnosis based on spectrum images of vibration signals. - Ayça Çesmelioglu, Wilfried Meidl, Alexander Pott:
There are infinitely many bent functions for which the dual is not bent. - Yi-Hsiu Liao, Hung-yi Lee, Lin-Shan Lee:
Towards Structured Deep Neural Network for Automatic Speech Recognition. - Jeffrey S. Lee, Gerald B. Cleaver:
The Cosmic Microwave Background Radiation Power Spectrum as a Random Bit Generator for Symmetric and Asymmetric-Key Cryptography. - Raef Bassily, Kobbi Nissim, Adam D. Smith, Thomas Steinke, Uri Stemmer, Jonathan R. Ullman:
Algorithmic Stability for Adaptive Data Analysis. - Alon Efrat, Sándor P. Fekete, Joseph S. B. Mitchell, Valentin Polishchuk, Jukka Suomela:
Improved Approximation Algorithms for Relay Placement. - Rob J. van Glabbeek, Jan Friso Groote, Peter Höfner:
Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. EPTCS 196, 2015 [contents] - Iliano Cervesato, Carsten Schürmann:
Proceedings First International Workshop on Focusing, WoF 2015, Suva, Fiji, 23rd November 2015. EPTCS 197, 2015 [contents] - Nicole Immorlica, Robert D. Kleinberg, Brendan Lucier, Morteza Zadomighaddam:
Exponential Segregation in a Two-Dimensional Schelling Model with Tolerant Individuals.