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. - Sumeet Singh, Edward Schmerling, Marco Pavone:
Decentralized Algorithms for 3D Symmetric Formations in Robotic Networks: a Contraction Theory Approach. - M. Hadi Amini, Rupamathi Jaddivada, Sakshi Mishra, Orkun Karabasoglu:
Distributed Security Constrained Economic Dispatch. - Farhad Pouladi, Hojjat Salehinejad, Amir Mohammad Gilani:
Deep Recurrent Neural Networks for Sequential Phenotype Prediction in Genomics. - Hao Wang, Jorge A. Castanon:
Sentiment Expression via Emoticons on Social Media. - Yang Yang, Jie Tang, Yuxiao Dong, Qiaozhu Mei, Reid A. Johnson, Nitesh V. Chawla:
Modeling the Interplay Between Individual Behavior and Network Distributions. - George Noseevich, Dennis Gamayunov:
Towards automated web application logic reconstruction for application level security. - Zeynab Rashidi:
Properties of Relationships among objects in Object-Oriented Software Design. - Peng Wang, Qi Wu, Chunhua Shen, Anton van den Hengel, Anthony R. Dick:
Explicit Knowledge-based Reasoning for Visual Question Answering. - Sang-Woon Jeon, Song-Nam Hong, Mingyue Ji, Giuseppe Caire, Andreas F. Molisch:
Wireless Multihop Device-to-Device Caching Networks. - Shiry Ginosar, Kate Rakelly, Sarah Sachs, Brian Yin, Alexei A. Efros:
A Century of Portraits: A Visual Historical Record of American High School Yearbooks. - Zhouhan Lin, Roland Memisevic, Kishore Reddy Konda:
How far can we go without convolution: Improving fully-connected networks. - Jia-Ren Chang, Yong-Sheng Chen:
Batch-normalized Maxout Network in Network. - Cong Xie, Wu-Jun Li, Zhihua Zhang:
S-PowerGraph: Streaming Graph Partitioning for Natural Graphs by Vertex-Cut. - Ioannis Pachoulakis, Nikolaos Papadopoulos, Cleanthe Spanaki:
Parkinson's disease patient rehabilitation using gaming platforms: lessons learnt. - Mathias Johanson:
The Turing Test for Telepresence. - (Withdrawn) Faster Randomized Branching Algorithms for $r$-SAT.
- Bo Gong, Qibo Qin, Xiang Ren, Lin Gui, Hanwen Luo, Wen Chen:
Distributed Compressive Sensing Based Doubly Selective Channel Estimation for Large-Scale MIMO Systems. - Cong Xie, Wu-Jun Li, Zhihua Zhang:
A New Relaxation Approach to Normalized Hypergraph Cut. - Larisa Safina, Manuel Mazzara, Fabrizio Montesi:
Data-driven Workflows for Microservices. - Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann:
Waste Makes Haste: Bounded Time Protocols for Envy-Free Cake Cutting with Free Disposal. - Paschalis Mpeis, Pavlos Petoumenos, Hugh Leather:
Iterative compilation on mobile devices. - Pawel Gawrychowski, Adam Karczmarz, Tomasz Kociumaka, Jakub Lacki, Piotr Sankowski:
Optimal Dynamic Strings. - Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger:
Abstraction-driven Concolic Testing. - Wei Ping, Qiang Liu, Alexander Ihler:
Decomposition Bounds for Marginal MAP. - Jacques Droulez, David Colliaux, Audrey Houillon, Pierre Bessière:
Toward Biochemical Probabilistic Computation. - C.-H. Luke Ong:
Normalisation by Traversals. - Alexander Seel, Arman Davtyan, Ullrich Pietsch, Otmar Loffeld:
Norm minimized Scattering Data from Intensity Spectra: Feasible Computations. - Corentin Vande Kerckhove, Samuel Martin, Pascal Gend, Peter J. Rentfrow, Julien M. Hendrickx, Vincent D. Blondel:
Modelling influence and opinion evolution in online collective behaviour. - Sahar Bsaybes, Alain Quilliot, Annegret Katrin Wagler, Jan-Thierry Wegener:
Two Flow-Based Approaches for the Static Relocation Problem in Carsharing Systems. - Hung T. Le, Hai N. Nguyen, Nam Pham Ngoc, Anh T. Pham, Truong Cong Thang:
A Novel Adaptation Method for HTTP Streaming of VBR Videos over Mobile Networks. - Quynh Nguyen, Francesco Tudisco, Antoine Gautier, Matthias Hein:
An Efficient Multilinear Optimization Framework for Hypergraph Matching. - Adrian Groza, Roxana Szabo:
Enacting textual entailment and ontologies for automated essay grading in chemical domain. - Gedas Bertasius, Jianbo Shi, Lorenzo Torresani:
Semantic Segmentation with Boundary Neural Fields. - Kleanthis Thramboulidis:
Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability. - Alex Kendall, Vijay Badrinarayanan, Roberto Cipolla:
Bayesian SegNet: Model Uncertainty in Deep Convolutional Encoder-Decoder Architectures for Scene Understanding. - Gedas Bertasius, Hyun Soo Park, Jianbo Shi:
Exploiting Egocentric Object Prior for 3D Saliency Detection. - Xiang Wu, Ran He, Zhenan Sun:
A Lightened CNN for Deep Face Representation. - Sandra Gesing, Thomas Richard Connor, Ian J. Taylor:
Genomics and Biological Big Data: Facing Current and Future Challenges around Data and Software Sharing and Reproducibility. - Jonathan Vacher, Andrew Isaac Meso, Laurent U. Perrinet, Gabriel Peyré:
Biologically Inspired Dynamic Textures for Probing Motion Perception. - Andrei Lascu, Alastair F. Donaldson:
Integrating a large-scale testing campaign in the CK framework. - Wenjing Liao:
MUSIC for multidimensional spectral estimation: stability and super-resolution. - Yuan Cao, Qingguo Li:
On (α+uβ)-constacyclic codes of length psn over 𝔽pm+u𝔽pm. - Sahar Bsaybes, Sven O. Krumke, Alain Quilliot, Annegret Katrin Wagler, Jan-Thierry Wegener:
ReOpt: an Algorithm with a Quality Guaranty for Solving the Static Relocation Problem. - Alberto Del Pia, Michael Ferris, Carla Michini:
Totally Unimodular Congestion Games. - Shayan Oveis Gharan, Alireza Rezaei:
Approximation Algorithms for Finding Maximum Induced Expanders. - Elman Mansimov, Emilio Parisotto, Lei Jimmy Ba, Ruslan Salakhutdinov:
Generating Images from Captions with Attention. - Jacob Andreas, Marcus Rohrbach, Trevor Darrell, Dan Klein:
Deep Compositional Question Answering with Neural Module Networks. - Dusan Knop, Pavel Dvorak:
Parameterized complexity of length-bounded cuts and multi-cuts. - Changzhe Jiao, Alina Zare:
Multiple Instance Dictionary Learning using Functions of Multiple Instances. - Mark Braverman, Jieming Mao, S. Matthew Weinberg:
Interpolating Between Truthful and non-Truthful Mechanisms for Combinatorial Auctions. - Yuanwei Liu, Zhiguo Ding, Maged Elkashlan, H. Vincent Poor:
Cooperative Non-Orthogonal Multiple Access with Simultaneous Wireless Information and Power Transfer. - Galin Georgiev:
Symmetries and control in generative neural nets. - Hakan Bilen, Andrea Vedaldi:
Weakly Supervised Deep Detection Networks. - Hiroharu Kato, Tatsuya Harada:
Visual Language Modeling on CNN Image Representations. - Norbert Bátfai:
A disembodied developmental robotic agent called Samu Bátfai. - Daniyar Chumbalov, Andrei E. Romashchenko:
On the Combinatorial Version of the Slepian-Wolf Problem. - Nipun Batra, Amarjeet Singh, Kamin Whitehouse:
Neighbourhood NILM: A Big-data Approach to Household Energy Disaggregation. - Rui Shantilau, António Gonçalves, Anacleto Correia:
A Socio-Technical approach to address the Information security: Using the 27001 Manager Artefact. - Azam S. Zavar Moosavi, Razvan Stefanescu, Adrian Sandu:
Efficient Construction of Local Parametric Reduced Order Models Using Machine Learning Techniques. - Radu Curticapean:
Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity. - Tal Remez, Shai Avidan:
Spatially Coherent Random Forests. - Loukas Georgiadis, Giuseppe F. Italiano, Nikos Parotsidis:
A New Framework for Strong Connectivity and 2-Connectivity in Directed Graphs. - Zhouhan Lin, Yushi Chen, Xing Zhao, Gang Wang:
Spectral-Spatial Classification of Hyperspectral Image Using Autoencoders. - Vignesh Ramanathan, Jonathan Huang, Sami Abu-El-Haija, Alexander N. Gorban, Kevin Murphy, Li Fei-Fei:
Detecting events and key actors in multi-person videos. - Deepti Ghadiyaram, Alan C. Bovik:
Massive Online Crowdsourced Study of Subjective and Objective Picture Quality. - Jingjun Bao, Lijun Ji:
Frequency hopping sequences with optimal partial Hamming correlation. - Reza Arablouei, Frank de Hoog:
Hyperspectral Image Recovery from Incomplete and Imperfect Measurements via Hybrid Regularization. - Vutha Va, Junil Choi, Robert W. Heath Jr.:
The Impact of Beamwidth on Temporal Channel Variation in Vehicular Channels and its Implications. - Conrado Silva Miranda, Fernando José Von Zuben:
Reducing the Training Time of Neural Networks by Partitioning. - Maxime Chevalier-Boisvert, Marc Feeley:
Interprocedural Type Specialization of JavaScript Programs Without Type Analysis. - Rui Han, Junwei Wang, Siguang Huang, Chenrong Shao, Shulin Zhan, Jianfeng Zhan, José Luis Vázquez-Poletti:
PCS: Predictive Component-level Scheduling for Reducing Tail Latency in Cloud Online Services. - Hady Zeineddine, Mohammad M. Mansour:
Inter-Frame Coding For Broadcast Communication. - Mrinal Haloi:
Traffic Sign Classification Using Deep Inception Based Convolutional Networks. - Abhishek Maity:
Improvised Salient Object Detection and Manipulation. - Ron van der Meyden, Manas K. Patra:
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic. - Zhiwei Xu, Bo Chen, Ninghan Wang, Yujun Zhang, Zhongcheng Li:
ELDA: Towards Efficient and Lightweight Detection of Cache Pollution Attacks in NDN. - Adrian Groza, Lidia Corde:
Information retrieval in folktales using natural language processing. - Huibin Li, Jian Sun, Dong Wang, Zongben Xu, Liming Chen:
Deep Representation of Facial Geometric and Photometric Attributes for Automatic 3D Facial Expression Recognition. - Ricardo Martin-Brualla, David Gallup, Steven M. Seitz:
3D Time-lapse Reconstruction from Internet Photos. - Loet Leydesdorff, Adina Nerghes:
Co-word Maps and Topic Modeling: A Comparison from a User's Perspective. - Chang Tang, Wanqing Li, Chunping Hou, Pichao Wang, Yonghong Hou, Jing Zhang, Philip O. Ogunbona:
Online Action Recognition based on Incremental Learning of Weighted Covariance Descriptors. - Ruitong Huang, Bing Xu, Dale Schuurmans, Csaba Szepesvári:
Learning with a Strong Adversary. - Hong Sun, Kristof Depraetere, Jos De Roo, Giovanni Mels, Boris De Vloed, Marc Twagirumukiza, Dirk Colaert:
Semantic processing of EHR data for clinical research. - Ehab Salahat:
Maximal Ratio Combining Analysis of the η_-_μ Generalized Fading Channels with Integer μ. - Elnaz Jahani Heravi, Hamed H. Aghdam, Domenec Puig:
Analyzing Stability of Convolutional Neural Networks in the Frequency Domain. - Suzanne Mpouli, Jean-Gabriel Ganascia:
Investigating the stylistic relevance of adjective and verb simile markers. - Jie Lin, Olivier Morère, Julie Petta, Vijay Chandrasekhar, Antoine Veillard:
Tiny Descriptors for Image Retrieval with Unsupervised Triplet Hashing. - Chris Kimble, Giannis Milolidakis:
Big Data and Business Intelligence: Debunking the Myths. - Jan Motl, Oliver Schulte:
The CTU Prague Relational Learning Repository. - Leon Derczynski, Isabelle Augenstein, Kalina Bontcheva:
USFD: Twitter NER with Drift Compensation and Linked Data. - Nicola Apollonio, Massimiliano Caramia, Paolo Giulio Franciosa, Jean-François Mascari:
A tight relation between series-parallel graphs and Bipartite Distance Hereditary graphs. - Zhaoyang Zhang, Chunxu Jiao, Caijun Zhong, Huazi Zhang, Yu Zhang:
Differential Modulation Exploiting the Spatial-Temporal Correlation of Wireless Channels With Moving Antenna Array. - Eerke A. Boiten:
Diversity and Adjudication. - Zhaoyang Zhang, Hui Wu, Huazi Zhang, Huaiyu Dai, Nei Kato:
Virtual-MIMO-Boosted Information Propagation on Highways. - Sebastian Schlag, Vitali Henne, Tobias Heuer, Henning Meyerhenke, Peter Sanders, Christian Schulz:
k-way Hypergraph Partitioning via n-Level Recursive Bisection. - Theodoros Tsiligkaridis:
Asynchronous Decentralized 20 Questions for Adaptive Search. - Luís M. S. Russo:
A Study on Splay Trees. - Joshua Wade, Tapomayukh Bhattacharjee, Charles C. Kemp:
A Handheld Device for the In Situ Acquisition of Multimodal Tactile Sensing Data. - Miguel Duarte, Vasco Costa, Jorge C. Gomes, Tiago Rodrigues, Fernando Silva, Sancho Moura Oliveira, Anders Lyhne Christensen:
Evolution of Collective Behaviors for a Real Swarm of Aquatic Surface Robots. - Davide Maltoni, Vincenzo Lomonaco:
Semi-supervised Tuning from Temporal Coherence. - Davide Pagano:
BOAT: a cross-platform software for data analysis and numerical computing with arbitrary-precision. - Wei Li, Bo Wu, Zhencai Zhu, Mingquan Qiu, Gongbo Zhou:
Fault Diagnosis of Rolling Element Bearings with a Spectrum Searching Method. - Hyungtae Lee, Heesung Kwon, Ryan M. Robinson, William D. Nothwang, Amar M. Marathe:
Dynamic Belief Fusion for Object Detection. - Anand Louis, Santosh S. Vempala:
Accelerated Newton Iteration: Roots of Black Box Polynomials and Matrix Eigenvalues. - Peter Tolmie, Rob Procter, Mark Rouncefield, Maria Liakata, Arkaitz Zubiaga:
Microblog Analysis as a Programme of Work. - Mamdouh Alenezi, Ibrahim Abunadi:
Quality of Open Source Systems from Product Metrics Perspective. - Soheil Kolouri, Yang Zou, Gustavo K. Rohde:
Sliced Wasserstein Kernels for Probability Distributions. - Sarmistha Neogy:
Checkpointing with Minimal Recover in Adhocnet based TMR. - Prachi Kariya:
Improving Efficiency of Hospitals and Healthcare Centres. - Soheil Kolouri, Se Rim Park, Gustavo K. Rohde:
The Radon cumulative distribution transform and its application to image classification. - Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar:
A Partial Order Reduction Technique for Event-driven Multi-threaded Programs. - Maria-Florina Balcan, Travis Dick, Yishay Mansour:
On the geometry of output-code multi-class learning. - Konstantin Makarychev, Yury Makarychev, Aravindan Vijayaraghavan:
Learning Communities in the Presence of Errors. - Jun Xie, Martin Kiefel, Ming-Ting Sun, Andreas Geiger:
Semantic Instance Annotation of Street Scenes by 3D to 2D Label Transfer. - Ujwal Bonde, Vijay Badrinarayanan, Roberto Cipolla, Minh-Tri Pham:
TemplateNet for Depth-Based Object Instance Recognition. - Roman V. Yampolskiy:
Taxonomy of Pathways to Dangerous AI. - Fatih Çakir, Sarah Adel Bargal, Stan Sclaroff:
Online Supervised Hashing for Ever-Growing Datasets. - Somak Aditya, Yezhou Yang, Chitta Baral, Cornelia Fermüller, Yiannis Aloimonos:
From Images to Sentences through Scene Description Graphs using Commonsense Reasoning and Knowledge. - Jonathan T. Barron, Ben Poole:
The Fast Bilateral Solver. - Yi Wang, Alister G. Burr, Qinhui Huang, Mehdi M. Molu:
A Multilevel Framework for Lattice Network Coding. - Liang-Chieh Chen, Jonathan T. Barron, George Papandreou, Kevin Murphy, Alan L. Yuille:
Semantic Image Segmentation with Task-Specific Edge Detection Using CNNs and a Discriminatively Trained Domain Transform. - Xi Chen, Jinyu Xie:
Tight Bounds for the Distribution-Free Testing of Monotone Conjunctions. - Liang-Chieh Chen, Yi Yang, Jiang Wang, Wei Xu, Alan L. Yuille:
Attention to Scale: Scale-aware Semantic Image Segmentation. - Xuan Xue, Tadilo Endeshaw Bogale, Xianbin Wang, Yongchao Wang, Long Bao Le:
Hybrid Analog-Digital Beamforming for Multiuser MIMO Millimeter Wave Relay Systems. - Talha Ahmed Khan, Philip V. Orlik, Kyeong Jin Kim, Robert W. Heath Jr., Kentaro Sawa:
A Stochastic Geometry Analysis of Large-scale Cooperative Wireless Networks Powered by Energy Harvesting. - Changsha Ma, Chang Wen Chen:
Attribute-Based Multi-Dimensional Scalable Access Control For Social Media Sharing. - Mohammad Javad Shafiee, Audrey G. Chung, Devinder Kumar, Farzad Khalvati, Masoom A. Haider, Alexander Wong:
Discovery Radiomics via StochasticNet Sequencers for Cancer Detection. - Sohini Roychowdhury:
Facial Expression Detection using Patch-based Eigen-face Isomap Networks. - Yu-Hui Chen, Roni Mittelman, Boklye Kim, Charles R. Meyer, Alfred O. Hero III:
Multimodal MRI Neuroimaging with Motion Compensation Based on Particle Filtering. - Jack Hessel, Alexandra Schofield, Lillian Lee, David M. Mimno:
What do Vegans do in their Spare Time? Latent Interest Detection in Multi-Community Networks. - Yue Wang, Jaewoo Lee, Daniel Kifer:
Differentially Private Hypothesis Testing, Revisited. - Xue Dong, Kun Wang, Chong Xu, Weimin Wang:
Information Rate Decomposition for Feedback Systems with Output Disturbance. - Armin Eftekhari, Michael B. Wakin:
Greed is Super: A Fast Algorithm for Super-Resolution. - Sudeng Hu, Haiqiang Wang, C.-C. Jay Kuo:
A GMM-Based Stair Quality Model for Human Perceived JPEG Images. - Darko Bozidar, Tomaz Dobravec:
Comparison of parallel sorting algorithms. - Shun Honda, Kimio Kuramitsu:
Implementing a Small Parsing Virtual Machine on Embedded Systems. - Aymeric Grodet, Takuya Tsuchiya:
An adaptive algorithm for the Euclidean Steiner tree problem in d-space. - Oliver Sander, Timo Koch, Natalie Schröder, Bernd Flemisch:
The Dune FoamGrid implementation for surface and network grids. - Yuke Zhu, Oliver Groth, Michael S. Bernstein, Li Fei-Fei:
Visual7W: Grounded Question Answering in Images. - Chang-Heng Wang, Tara Javidi:
Adaptive Policies for Scheduling with Reconfiguration Delay: An End-to-End Solution for All-Optical Data Centers. - Phil Weir, Dominic Reuter, Roland Ellerweg, Tuomas Alhonnoro, Mika Pollari, Philip Voglreiter, Panchatcharam Mariappan, Ronan Flanagan, Chang-Sub Park, Stephen J. Payne, Elmar Staerk, Peter Voigt, Michael Moche, Marina Kolesnik:
Go-Smart: Web-based Computational Modeling of Minimally Invasive Cancer Treatments. - Martin Klein-Hennig, Mathias Dietz, Volker Hohmann:
Combination of binaural and harmonic masking release effects in the detection of a single component in complex tones. - Marco Cristoforetti, Marco Guerini, Giuseppe Jurman, Cesare Furlanello:
Community dynamics in connected time-dependent multilayer networks. - Emanuele Bellini, Nadir Murru:
An efficient and secure RSA-like cryptosystem exploiting Rédei rational functions over conics. - Nalin Asanka Gamagedara Arachchilage:
User-Centred Security Education: A Game Design to Thwart Phishing Attacks. - Jan Deriu, Rolf Jagerman, Kai-En Tsay:
A Directional Diffusion Algorithm for Inpainting. - Ksenia Konyushkova, Nikolaos Arvanitopoulos, Zhargalma Dandarova Robert, Pierre-Yves Brandt, Sabine Süsstrunk:
God(s) Know(s): Developmental and Cross-Cultural Patterns in Children Drawings. - Pingbo Pan, Zhongwen Xu, Yi Yang, Fei Wu, Yueting Zhuang:
Hierarchical Recurrent Neural Encoder for Video Representation with Application to Captioning. - Jun He:
Link Approximation Performance Ratio and Average Convergence Rate. - Matthias Lorenzen, Fabrizio Dabbene, Roberto Tempo, Frank Allgöwer:
Constraint-Tightening and Stability in Stochastic Model Predictive Control. - Cornelia Haisjackl, Stefan Zugal:
Investigating Differences between Graphical and Textual Declarative Process Models. - Cornelia Haisjackl, Stefan Zugal, Pnina Soffer, Irit Hadar, Manfred Reichert, Jakob Pinggera, Barbara Weber:
Making Sense of Declarative Process Models: Common Strategies and Typical Pitfalls. - Roberto Valentini, Nga Dang, Marco Levorato, Eli Bozorgzadeh:
Modeling And Control Battery Aging in Energy Harvesting Systems. - Ya-Hui An, Qiang Dong, Chong-Jing Sun, Da-Cheng Nie, Yan Fu:
Diffuse-like recommender with enhanced similarity of objects. - Buddhadeb Sau, Srabani Mukhopadhyaya, Krishnendu Mukhopadhyaya:
MAINT: Localization of Mobile Sensors with Energy Control. - Andrea Höller, Tobias Rauter, Johannes Iber, Georg Macher, Christian Kreiner:
Software-Based Fault Recovery via Adaptive Diversity for COTS Multi-Core Processors. - Alexander Kott, Norbou Buchler, Kristin E. Schaefer:
Kinetic and Cyber. - Ali Keles, Aytürk Keles:
IBMMS Decision Support Tool For Management of Bank Telemarketing Campaigns. - Guorui Zhou, Guang Chen:
Hierarchical Latent Semantic Mapping for Automated Topic Generation. - Bruce Zhang, Laszlo B. Kish, Claes-Goran Granqvist:
Drawing from hats by noise-based logic. - (Withdrawn) A Location-Based Privacy Preserving Framework for M-Learning Adoption to Enhance Distance Education in Kenya: Literature Review.
- Harri Pennanen, Dimitrios Christopoulos, Symeon Chatzinotas, Björn E. Ottersten:
Distributed Coordinated Beamforming for Multi-cell Multigroup Multicast Systems. - Jakub Konecný, Brendan McMahan, Daniel Ramage:
Federated Optimization: Distributed Optimization Beyond the Datacenter. - Mohammad Khabbaz:
DataGrinder: Fast, Accurate, Fully non-Parametric Classification Approach Using 2D Convex Hulls. - Ilias Diakonikolas, Daniel M. Kane, Alistair Stewart:
The Fourier Transform of Poisson Multinomial Distributions and its Algorithmic Applications. - John P. Gallagher, Mai Ajspur, Bishoksan Kafle:
An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata. - Wei Jeng, Spencer DesAutels, Daqing He, Lei Li:
Information Exchange on an Academic Social Networking Site: A Multi-discipline Comparison on ResearchGate Q&A. - Marius Zimand:
Kolmogorov complexity version of Slepian-Wolf coding. - Amir H. Kargar B., Ali Mollahosseini, Taylor Struemph, Wilson D. Pace, Rodney D. Nielsen, Mohammad H. Mahoor:
Automatic Measurement of Physical Mobility in Get-Up-and-Go Test Using Kinect Sensor. - Ju Sun, Qing Qu, John Wright:
Complete Dictionary Recovery over the Sphere I: Overview and the Geometric Picture. - Andrei Costin, Apostolis Zarras, Aurélien Francillon:
Automated Dynamic Firmware Analysis at Scale: A Case Study on Embedded Web Interfaces. - Mahnoosh Alizadeh, Hoi-To Wai, Mainak Chowdhury, Andrea J. Goldsmith, Anna Scaglione, Tara Javidi:
Joint Management of Electric Vehicles in Coupled Power and Transportation Networks. - John S. H. Baxter, A. Jonathan McLeod, Terry M. Peters:
A Continuous Max-Flow Approach to Cyclic Field Reconstruction. - Ioannis Pachoulakis, Nikolaos Papadopoulos, Cleanthe Spanaki:
Are Game Platforms suitable for Parkinson Disease patients? - Johannes Hofmann, Dietmar Fey, Jan Eitzinger, Georg Hager, Gerhard Wellein:
Analysis of Intel's Haswell Microarchitecture Using The ECM Model and Microbenchmarks. - Ioannis Pachoulakis, Georgios Pontikakis:
Combining features of the Unreal and Unity Game Engines to hone development skills. - Constantinos Daskalakis, Anindya De, Gautam Kamath, Christos Tzamos:
A Size-Free CLT for Poisson Multinomials and its Applications. - (Withdrawn) Piecewise Linear Activation Functions For More Efficient Deep Networks.
- Peter Bürgisser, Matthias Christandl, Ketan D. Mulmuley, Michael Walter:
Membership in moment polytopes is in NP and coNP. - Zachary Chase Lipton, David C. Kale, Charles Elkan, Randall C. Wetzel:
Learning to Diagnose with LSTM Recurrent Neural Networks. - Zachary Chase Lipton, Sharad Vikram, Julian J. McAuley:
Capturing Meaning in Product Reviews with Character-Level Generative Text Models. - Mario Díaz, Víctor Pérez-Abreu:
On the Capacity of Block Multiantenna Channels. - David F. Harwath, James R. Glass:
Deep Multimodal Semantic Embeddings for Speech and Images. - S. Eman Mahmoodi, K. P. Subbalakshmi, Vidya Sagar:
Cloud Offloading for Multi-Radio Enabled Mobile Devices. - Nikhil R. Devanur, Balasubramanian Sivan, Vasilis Syrgkanis:
Multi-parameter Auctions with Online Supply. - Eric T. Phipps, Marta D'Elia, H. Carter Edwards, Mark Hoemmen, Jonathan J. Hu, Sivasankaran Rajamanickam:
Embedded Ensemble Propagation for Improving Performance, Portability and Scalability of Uncertainty Quantification on Emerging Computational Architectures. - Hong Xing, Kai-Kit Wong, Arumugam Nallanathan, Rui Zhang:
Wireless Powered Cooperative Jamming for Secrecy Multi-AF Relaying Networks. - Xiang Zhang, Yann LeCun:
Universum Prescription: Regularization using Unlabeled Data. - Nan Jiang, Lihong Li:
Doubly Robust Off-policy Evaluation for Reinforcement Learning. - Tian Wang, Kyunghyun Cho:
Larger-Context Language Modelling. - Ankit Garg, Leonid Gurvits, Rafael Mendes de Oliveira, Avi Wigderson:
A deterministic polynomial time algorithm for non-commutative rational identity testing. - Anton Lokhmotov:
GEMMbench: a framework for reproducible and collaborative benchmarking of matrix multiplication. - Anna Rohrbach, Marcus Rohrbach, Ronghang Hu, Trevor Darrell, Bernt Schiele:
Grounding of Textual Phrases in Images by Reconstruction. - Joon-Young Lee, Kalyan Sunkavalli, Zhe Lin, Xiaohui Shen, In So Kweon:
Automatic Content-Aware Color and Tone Stylization. - Monica Martinez, Edelweis Rohrer, Paula Severi:
Complexity of the Description Logic ALCM. - Rafael Reisenhofer, Johannes Kiefer, Emily J. King:
Shearlet-Based Detection of Flame Fronts. - Chuan Shi, Jian Liu, Fuzhen Zhuang, Philip S. Yu, Bin Wu:
Integrating Heterogeneous Information via Flexible Regularization Framework for Recommendation. - Hong Ren, Nan Liu, Cunhua Pan, Chunlong He:
Energy Efficiency Optimization for MIMO Distributed Antenna Systems. - Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou:
Sparse Learning for Large-scale and High-dimensional Data: A Randomized Convex-concave Optimization Approach. - Sachin S. Talathi, Aniket Vartak:
Improving performance of recurrent neural network with relu nonlinearity. - Lijie Chen, Jian Li:
On the Optimal Sample Complexity for Best Arm Identification. - Chen Sun, Manohar Paluri, Ronan Collobert, Ram Nevatia, Lubomir D. Bourdev:
ProNet: Learning to Propose Object-specific Boxes for Cascaded Neural Networks. - Yong Zheng:
A User's Guide to CARSKit. - Fangyi Zhang, Jürgen Leitner, Michael Milford, Ben Upcroft, Peter I. Corke:
Towards Vision-Based Deep Reinforcement Learning for Robotic Motion Control. - Li You, Xiqi Gao, A. Lee Swindlehurst, Wen Zhong:
Channel Acquisition for Massive MIMO-OFDM with Adjustable Phase Shift Pilots. - Amir Rosenfeld, Shimon Ullman:
On the Importance of Objects in Human Action Classification. - Geoffrey I. Webb, Roy Hyde, Hong Cao, Hai-Long Nguyen, François Petitjean:
Characterizing Concept Drift. - Johannes Schneider:
Secure Numerical and Logical Multi Party Operations. - Ilja Kuzborskij, Fabio Maria Carlucci, Barbara Caputo:
When Naïve Bayes Nearest Neighbours Meet Convolutional Neural Networks. - Wu-Jun Li, Sheng Wang, Wang-Cheng Kang:
Feature Learning based Deep Supervised Hashing with Pairwise Labels. - Adi Ben-Zvi, Simon R. Blackburn, Boaz Tsaban:
A Practical Cryptanalysis of the Algebraic Eraser. - Ángel M. Bravo-Santos:
Direct Polarization for q-ary Source and Channel Coding. - Xin Yuan:
Generalized Alternating Projection Based Total Variation Minimization for Compressive Sensing. - Joseph Kilcullen:
The Game of Phishing. - Tarcisio Mendes de Farias, Ana Roxin, Christophe Nicolle:
IfcWoD, Semantically Adapting IFC Model Relations into OWL Properties. - Natalia Neverova, Christian Wolf, Griffin Lacey, Lex Fridman, Deepak Chandra, Brandon Barbello, Graham W. Taylor:
Learning Human Identity from Motion Patterns. - Normunds Gruzitis, Dana Dannélls:
A Multilingual FrameNet-based Grammar and Lexicon for Controlled Natural Language. - M. Borkowski:
The scalability of the matrices in direct Trefftz method in 2D Laplace problem. - Luca Becchetti, Andrea Clementi, Emanuele Natale, Francesco Pasquale, Luca Trevisan:
Find Your Place: Simple Distributed Algorithms for Community Detection. - Lebing Pan:
Spectral Precoding for Out-of-band Power Reduction under Condition Number Constraint in OFDM-Based System. - Parisa Hassanzadeh, Elza Erkip, Jaime Llorca, Antonia M. Tulino:
Distortion-Memory Tradeoffs in Cache-Aided Wireless Video Delivery. - Milinda Pathirage, Beth Plale:
Fast Data Management with Distributed Streaming SQL. - Sukhamoy Pattanayak, Abhay Kumar Singh, Pratyush Kumar:
DNA Cyclic Codes Over The Ring $ \F_2[u, v]/\langle u^2-1, v^3-v, uv-vu \rangle$. - Luís Miguel Botelho, Luís Nunes, Ricardo Ribeiro, Rui J. Lopes:
Software Agents with Concerns of their Own. - Jingjing Zhang, Petros Elia:
Fundamental Limits of Cache-Aided Wireless BC: Interplay of Coded-Caching and CSIT Feedback. - Yangfeng Ji, Trevor Cohn, Lingpeng Kong, Chris Dyer, Jacob Eisenstein:
Document Context Language Models. - Patrick McClure, Nikolaus Kriegeskorte:
Representational Distance Learning for Deep Neural Networks. - Run Wang, Qiaoli Mo, Qian Zhang, Fudi Chen, Dazuo Yang:
Prediction of the Yield of Enzymatic Synthesis of Betulinic Acid Ester Using Artificial Neural Networks and Support Vector Machine. - Kin Gwn Lore, Adedotun Akintayo, Soumik Sarkar:
LLNet: A Deep Autoencoder Approach to Natural Low-light Image Enhancement. - Thanh Long Vu, Hsiao-Dong Chiang, Konstantin S. Turitsyn:
Smart Transmission Network Emergency Control. - Liang He, Jia Pan, Danwei Li, Dinesh Manocha:
Efficient Penetration Depth Computation between Rigid Models using Contact Space Propagation Sampling. - Dmitry Kislyuk, Yuchen Liu, David C. Liu, Eric Tzeng, Yushi Jing:
Human Curation and Convnets: Powering Item-to-Item Recommendations on Pinterest. - Qian Ma, Ya-Feng Liu, Jianwei Huang:
Time and Location Aware Mobile Data Pricing. - Zachary Seymour, Yingming Li, Zhongfei (Mark) Zhang:
Multimodal Skipgram Using Convolutional Pseudowords. - Mohammed Al-Sarem:
Building a Decision Tree Model for Academic Advising Affairs Based on the Algorithm C 4-5. - Yue Wu, Tal Hassner:
Facial Landmark Detection with Tweaked Convolutional Neural Networks. - Renato Paes Leme, Sam Chiu-wai Wong:
Computing Walrasian Equilibria: Fast Algorithms and Economic Insights. - Mikkel Abrahamsen:
An Optimal Algorithm for the Separating Common Tangents of two Polygons. - Vladimir Savic, Erik G. Larsson, Javier Ferrer-Coll, Peter F. Stenumgaard:
Kernel Methods for Accurate UWB-Based Ranging with Reduced Complexity. - Roozbeh Mottaghi, Hessam Bagherinezhad, Mohammad Rastegari, Ali Farhadi:
Newtonian Image Understanding: Unfolding the Dynamics of Objects in Static Images. - Jan Claes, Irene Vanderfeesten, Hajo A. Reijers, Jakob Pinggera, Matthias Weidlich, Stefan Zugal, Dirk Fahland, Barbara Weber, Jan Mendling, Geert Poels:
Tying Process Model Quality to the Modeling Process: The Impact of Structuring, Movement, and Speed. - Jan Claes, Irene Vanderfeesten, Jakob Pinggera, Hajo A. Reijers, Barbara Weber, Geert Poels:
Visualizing the Process of Process Modeling with PPMCharts. - Jan Claes, Irene Vanderfeesten, Jakob Pinggera, Hajo A. Reijers, Barbara Weber, Geert Poels:
A visual analysis of the process of process modeling. - Mohammad Norouzi, Maxwell D. Collins, Matthew Johnson, David J. Fleet, Pushmeet Kohli:
Efficient non-greedy optimization of decision trees. - Jakob Pinggera, Pnina Soffer, Stefan Zugal, Barbara Weber, Matthias Weidlich, Dirk Fahland, Hajo A. Reijers, Jan Mendling:
Modeling Styles in Business Process Modeling. - Stefan Zugal, Pnina Soffer, Jakob Pinggera, Barbara Weber:
Expressiveness and Understandability Considerations of Hierarchy in Declarative Business Process Models. - Barbara Weber, Jakob Pinggera, Victoria Torres, Manfred Reichert:
Change Patterns in Use: A Critical Evaluation. - Barbara Weber, Sarah Zeitelhofer, Jakob Pinggera, Victoria Torres, Manfred Reichert:
How Advanced Change Patterns Impact the Process of Process Modeling. - Heinrich W. Löllmann, Andreas Brendel, Peter Vary, Walter Kellermann:
Single-Channel Maximum-Likelihood T60 Estimation Exploiting Subband Information. - Ilias Diakonikolas, Daniel M. Kane, Alistair Stewart:
Properly Learning Poisson Binomial Distributions in Almost Polynomial Time. - Raviteja Vemulapalli, Oncel Tuzel, Ming-Yu Liu:
Deep Gaussian Conditional Random Field Network: A Model-based Deep Network for Discriminative Denoising. - Harsh Taneja, James G. Webster:
How Do Global Audiences Take Shape? The Role of Institutions and Culture in Patterns of Web Use. - Panqu Wang, Garrison W. Cottrell:
Basic Level Categorization Facilitates Visual Object Recognition. - Ming Tan, Bing Xiang, Bowen Zhou:
LSTM-based Deep Learning Models for non-factoid answer selection. - Tamer Mohamed Abdellatif, Luiz Fernando Capretz, Danny Ho:
Software Analytics to Software Domains: A Systematic Literature Review. - Ali Mollahosseini, David Chan, Mohammad H. Mahoor:
Going Deeper in Facial Expression Recognition using Deep Neural Networks. - S. Eman Mahmoodi, K. P. Subbalakshmi, Rajarathnam Chandramouli, Bahman Abolhassani:
Joint Spectrum Sensing and Resource Allocation for OFDM-based Transmission with a Cognitive Relay. - Shikhar Sharma, Ryan Kiros, Ruslan Salakhutdinov:
Action Recognition using Visual Attention. - Barbara Weber, Jakob Pinggera, Victoria Torres, Manfred Reichert:
Change Patterns for Model Creation: Investigating the Role of Nesting Depth. - Jakob Pinggera, Marco Furtner, Markus Martini, Pierre Sachse, Katharina Reiter, Stefan Zugal, Barbara Weber:
Investigating the Process of Process Modeling with Eye Movement Analysis. - Luis Barba, Otfried Cheong, Jean-Lou De Carufel, Michael Gene Dobbins, Rudolf Fleischer, Akitoshi Kawamura, Matias Korman, Yoshio Okamoto, János Pach, Yuan Tang, Takeshi Tokuyama, Sander Verdonschot, Tianhao Wang:
Weight Balancing on Boundaries and Skeletons. - Rasmus Brandt, Rami Mochaourab, Mats Bengtsson:
Interference Alignment-Aided Base Station Clustering using Coalition Formation. - Jisun An, Ingmar Weber:
Whom Should We Sense in "Social Sensing" - Analyzing Which Users Work Best for Social Media Now-Casting. - Longyin Wen, Dawei Du, Zhaowei Cai, Zhen Lei, Ming-Ching Chang, Honggang Qi, Jongwoo Lim, Ming-Hsuan Yang, Siwei Lyu:
DETRAC: A New Benchmark and Protocol for Multi-Object Tracking. - Lin Chen, Forrest W. Crawford, Amin Karbasi:
Seeing the Unseen Network: Inferring Hidden Social Ties from Respondent-Driven Sampling. - Matthew J. Hausknecht, Peter Stone:
Deep Reinforcement Learning in Parameterized Action Space. - Mehrdad Farajtabar, Safoora Yousefi, Long Q. Tran, Le Song, Hongyuan Zha:
A Continuous-time Mutually-Exciting Point Process Framework for Prioritizing Events in Social Media. - Yaoyi Li, Junxuan Chen, Hongtao Lu:
Adaptive Affinity Matrix for Unsupervised Metric Learning. - Sankalp Bagaria:
Aadhaar-Based Unified Payment Solution. - Ronghang Hu, Huazhe Xu, Marcus Rohrbach, Jiashi Feng, Kate Saenko, Trevor Darrell:
Natural Language Object Retrieval. - Yin Li, Manohar Paluri, James M. Rehg, Piotr Dollár:
Unsupervised Learning of Edges. - Sidney Amani, Toby C. Murray:
Specifying a Realistic File System. 1-9 - June Andronick, Corey Lewis, Carroll Morgan:
Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System. 10-24 - Felix Freiberger, Holger Hermanns:
On the Control of Self-Balancing Unicycles. 25-36 - Franck Cassez, Pablo González de Aledo Marugán:
Timed Automata for Modelling Caches and Pipelines. 37-45 - Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga:
Modeling and Verification of the Bitcoin Protocol. 46-60 - Wendelin Serwe:
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard. 61-147 - Devendra Kumar Sahu, Mohak Sukhwani:
Sequence to Sequence Learning for Optical Character Recognition. - Vivek Nigam, Giselle Reis, Leonardo Lima:
Towards the Automated Generation of Focused Proof Systems. 1-6 - Roberto Blanco, Dale Miller:
Proof Outlines as Proof Certificates: A System Description. 7-14 - Stéphane Graham-Lengrand:
Realisability semantics of abstract focussing, formalised. 15-28 - Glyn Morrill, Oriol Valentín:
Multiplicative-Additive Focusing for Parsing as Deduction. 29-54 - Palash Dey, Neeldhara Misra, Y. Narahari:
On Choosing Committees Based on Approval Votes in the Presence of Outliers. - Omid Etesami, Amin Gohari:
Maximal Rank Correlation. - Tianshui Chen, Liang Lin, Lingbo Liu, Xiaonan Luo, Xuelong Li:
DISC: Deep Image Saliency Computing via Progressive Representation Learning. - Zhiwei Deng, Arash Vahdat, Hexiang Hu, Greg Mori:
Structure Inference Machines: Recurrent Neural Networks for Analyzing Relations in Group Activity Recognition. - Kostas Kapetanakis, Haroula Andrioti, Helen Vonorta, Marios Zotos, Nikolaos Tsigkos, Ioannis Pachoulakis:
Collaboration Framework in the EViE-m Platform. - Anna Fiedorowicz, Elzbieta Sidorowicz:
Acyclic colourings of graphs with bounded degree. - Itay Safran, Ohad Shamir:
On the Quality of the Initial Basin in Overspecified Neural Networks. - Sascha Hunold:
A Survey on Reproducibility in Parallel Computing. - Albert J. Liu, Stephen R. Marschner, Victoria E. Dye:
Procedural wood textures. - Dylan Campbell, Lars Petersson:
An Adaptive Data Representation for Robust Point-Set Registration and Merging. - Tommaso Cavallari, Luigi Di Stefano:
Volume-based Semantic Labeling with Signed Distance Functions. - Man-Chung Yue, Sissi Xiaoxiao Wu, Anthony Man-Cho So:
A Robust Design for MISO Physical-Layer Multicasting over Line-of-Sight Channels. - Pu Yuan, Yong Xiao, Guoan Bi, Liren Zhang:
Towards Cooperation by Carrier Aggregation in Heterogeneous Networks: A Hierarchical Game Approach. - Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao:
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. - Kwang Moo Yi, Yannick Verdie, Pascal Fua, Vincent Lepetit:
Learning to Assign Orientations to Feature Points. - Zura Kakushadze:
An Index for SSRN Downloads. - Jannik Steinbring, Christian Mandery, Nikolaus Vahrenkamp, Tamim Asfour, Uwe D. Hanebeck:
High-Accuracy Real-Time Whole-Body Human Motion Tracking Based on Constrained Nonlinear Kalman Filtering. - Fredrik Jansson, Matthew Hartley, Martin Hinsch, Ivica Slavkov, Noemí Carranza, Tjelvar S. G. Olsson, Roland M. Dries, Johanna H. Grönqvist, Athanasius F. M. Marée, James Sharpe, Jaap A. Kaandorp, Verônica A. Grieneisen:
Kilombo: a Kilobot simulator to enable effective research in swarm robotics. - Fabian Fuchs:
Experimental Evaluation of Distributed Node Coloring Algorithms for Wireless Networks. - Sebastian Stober, Avtial Sternin, Adrian M. Owen, Jessica A. Grahn:
Deep Feature Learning for EEG Recordings. - Stefan Zugal, Jakob Pinggera:
Low-Cost Eye-Trackers: Useful for Information Systems Research? - Mansour Ahmadi, Giorgio Giacinto, Dmitry Ulyanov, Stanislav Semenov, Mikhail Trofimov:
Novel feature extraction, selection and fusion for effective malware family classification. - Manuel Chica, Pascual Campoy Cervera:
Standard methods for inexpensive pollen loads authentication by means of computer vision and machine learning. - Lars Kotthoff:
ICON Challenge on Algorithm Selection. - Linnan Wang, Wei Wu, Jianxiong Xiao, Yang Yi:
Large Scale Artificial Neural Network Training Using Multi-GPUs. - Fabrizio Riguzzi:
Introduzione all'Intelligenza Artificiale. - Giuliano Gadioli La Guardia, Marcelo Muniz Silva Alves:
On cyclotomic cosets and code constructions. - Anu Mercian, Michael P. McGarry, Martin Reisslein, Wolfgang Kellerer:
Software Defined Optical Access Networks (SDOANs): A Comprehensive Survey. - Adam W. Harley, Konstantinos G. Derpanis, Iasonas Kokkinos:
Learning Dense Convolutional Embeddings for Semantic Segmentation. - Konstantinos Rematas, Tobias Ritschel, Mario Fritz, Efstratios Gavves, Tinne Tuytelaars:
Deep Reflectance Maps. - Keith A. Britt, Travis S. Humble:
High-Performance Computing with Quantum Processing Units. - Shahriar Asta, Daniel Karapetyan, Ahmed Kheiri, Ender Özcan, Andrew J. Parkes:
Combining Monte-Carlo and Hyper-heuristic methods for the Multi-mode Resource-constrained Multi-project Scheduling Problem. - Erik M. Ferragut, Andrew C. Brady, Ethan J. Brady, Jacob M. Ferragut, Nathan M. Ferragut, Max C. Wildgruber:
HackAttack: Game-Theoretic Analysis of Realistic Cyber Conflicts. - Ehsan Hosseini-Asl, Angshuman Guha:
Similarity-based Text Recognition by Deeply Supervised Siamese Network. - Federico Raue, Thomas M. Breuel, Andreas Dengel, Marcus Liwicki:
Symbol Grounding Association in Multimodal Sequences with Missing Elements. - Oncel Tuzel, Salil Tambe, Tim K. Marks:
Robust Face Alignment Using a Mixture of Invariant Experts. - Arif Raza, Luiz Fernando Capretz, Zaka Ul-Mustafa:
Personality Profiles of Software Engineers and Their Software Quality Preferences. - Mazen Melibari, Pascal Poupart, Prashant Doshi:
Dynamic Sum Product Networks for Tractable Inference on Sequence Data. - Muasaad Alrasheedi, Luiz Fernando Capretz, Arif Raza:
A Systematic Literature Review of the Critical Factors for Success of Mobile Learning in Higher Education (University Students' Perspective). - Saiqa Aleem, Luiz Fernando Capretz, Faheem Ahmed:
Empirical Investigation of Key Business Factors for Digital Game Performance. - Luiz Fernando Capretz, Daniel Varona, Arif Raza:
Influence of Personality Types in Software Tasks Choices. - Reza Arablouei, Kutluyil Dogançay, Stefan Werner, Yih-Fang Huang:
On the Asymptotic Bias of the Diffusion-Based Distributed Pareto Optimization. - Richard Barnes, Clarence Lehman, David J. Mulla:
An Efficient Assignment of Drainage Direction Over Flat Surfaces in Raster Digital Elevation Models. - Roland E. Best, Nikolay V. Kuznetsov, Gennady A. Leonov, Marat V. Yuldashev, Renat V. Yuldashev:
A Survey on Dynamic Analysis of the Costas Loop. - Aleksei Y. Kondratev, Vladimir V. Mazalov:
The Ranking Problem of Alternatives as a Cooperative Game. - Elena Legchekova, Oleg Titov:
Mathematical model stabilization control of a robot due to the delay of the control signal. - Xun Xu, Timothy M. Hospedales, Shaogang Gong:
Zero-Shot Action Recognition by Word-Vector Embedding. - Richard Barnes, Clarence Lehman, David J. Mulla:
Priority-Flood: An Optimal Depression-Filling and Watershed-Labeling Algorithm for Digital Elevation Models. - Jasper C. H. Lee, Paul Valiant:
Beyond Convex Optimization: Star-Convex Functions. - Umberto Esposito, Eleni Vasilaki:
Detection of multiple and overlapping bidirectional communities within large, directed and weighted networks of neurons. - Rui Yu, Chris Russell, Lourdes Agapito:
Solving Jigsaw Puzzles with Linear Programming. - Massimiliano Fasi, Julien Langou, Yves Robert, Bora Uçar:
A Backward/Forward Recovery Approach for the Preconditioned Conjugate Gradient Method. - Martin Fürer:
Multi-Clique-Width. - Emre Neftci, Bruno U. Pedroni, Siddharth Joshi, Maruan Al-Shedivat, Gert Cauwenberghs:
Unsupervised Learning in Synaptic Sampling Machines. - Jiwon Kim, Jung Kwon Lee, Kyoung Mu Lee:
Deeply-Recursive Convolutional Network for Image Super-Resolution. - Huijing Zhang, David R. Choffnes:
Client-Side Web Proxy Detection from Unprivileged Mobile Devices. - Sergey Bereg, Avi Levy, Ivan Hal Sudborough:
Constructing Permutation Arrays from Groups. - Nicolas Papernot, Patrick D. McDaniel, Xi Wu, Somesh Jha, Ananthram Swami:
Distillation as a Defense to Adversarial Perturbations against Deep Neural Networks. - Xiaodan Liang, Xiaohui Shen, Donglai Xiang, Jiashi Feng, Liang Lin, Shuicheng Yan:
Semantic Object Parsing with Local-Global Long Short-Term Memory. - Ziming Zhang, Yun Liu, Tolga Bolukbasi, Ming-Ming Cheng, Venkatesh Saligrama:
BING++: A Fast High Quality Object Proposal Generator at 100fps. - Ziming Zhang, Venkatesh Saligrama:
Classifying Unseen Instances by Learning Class-Independent Similarity Functions. - Hao Zhuang, Wenjian Yu, Ilgweon Kang, Xinan Wang, Chung-Kuan Cheng:
An Algorithmic Framework for Efficient Large-Scale Circuit Simulation Using Exponential Integrators. - Xiaodan Liang, Yunchao Wei, Xiaohui Shen, Zequn Jie, Jiashi Feng, Liang Lin, Shuicheng Yan:
Reversible Recursive Instance-level Object Segmentation. - Hao Zhuang, Shih-Hung Weng, Jeng-Hau Lin, Chung-Kuan Cheng:
MATEX: A Distributed Framework for Transient Simulation of Power Distribution Networks. - Ziming Zhang, Yuting Chen, Venkatesh Saligrama:
Supervised Hashing with Deep Neural Networks. - Zhenhua Wang, Xingxing Wang, Gang Wang:
Learning Fine-grained Features via a CNN Tree for Large-scale Classification. - Sarasvathi V., Snehanshu Saha, N. Ch. S. N. Iyengar, Mahalaxmi Koti:
Coefficient of Restitution based Cross Layer Interference Aware Routing Protocol in Wireless Mesh Networks. - Nalin Asanka Gamagedara Arachchilage, Andrew P. Martin:
A Trust Domains Taxonomy for Securely Sharing Information: A Preliminary Investigation.