default search action
CoRR, March 2017
- Alessandro Loriga:
Nonlinear Model and its Inverse of an Audio System. - Dylan Gray, Joshua Joy, Mario Gerla:
MPC Validation and Aggregation of Unit Vectors. - Fatemeh Vahedian, Robin D. Burke, Bamshad Mobasher:
Weighted Random Walk Sampling for Multi-Relational Recommendation. - Steven G. McDonagh, Benjamin Hou, Konstantinos Kamnitsas, Ozan Oktay, Amir Alansary, Mary A. Rutherford, Joseph V. Hajnal, Bernhard Kainz:
Context-Sensitive Super-Resolution for Fast Fetal Magnetic Resonance Imaging. - Andreas Wolke, Martin Bichler, Fernando Chirigati, Victoria Steeves:
Reproducible experiments on dynamic resource allocation in cloud data centers. - Jenish C. Mehta:
Tree tribes and lower bounds for switching lemmas. - Lihong Li, Yu Lu, Dengyong Zhou:
Provable Optimal Algorithms for Generalized Linear Contextual Bandits. - Angel X. Chang, Mihail Eric, Manolis Savva, Christopher D. Manning:
SceneSeer: 3D Scene Design with Natural Language. - Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy:
Verified Low-Level Programming Embedded in F*. - Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin:
A Monadic Framework for Relational Verification (Functional Pearl). - Lu Zhang, Yongkai Wu, Xintao Wu:
Achieving non-discrimination in prediction. - Manolis Savva, Angel X. Chang, Maneesh Agrawala:
SceneSuggest: Context-driven 3D Scene Design. - Toke Høiland-Jørgensen, Michal Kazior, M. Dave Täht, Per Hurtig, Anna Brunström:
Ending the Anomaly: Achieving Low Latency and Airtime Fairness in WiFi. - Vitaly Feldman, Badih Ghazi:
On the Power of Learning from k-Wise Queries. - Yi-Hsuan Tsai, Xiaohui Shen, Zhe Lin, Kalyan Sunkavalli, Xin Lu, Ming-Hsuan Yang:
Deep Image Harmonization. - Tetsufumi Tanamoto, Satoshi Takaya, Nobuaki Sakamoto, Hirotsugu Kasho, Shinichi Yasuda, Takao Marukame, Shinobu Fujita, Yuichiro Mitani:
Physically unclonable function using initial waveform of ring oscillators on 65 nm CMOS technology. - Rachid Haddadi, Elhassane Abdelmounim, Mustapha El Hanine, Abdelaziz Belaguid:
Discrete Wavelet Transform Based Algorithm for Recognition of QRS Complexes. - Mert Geveci:
Fault Tolerant Thermal Control of Steam Turbine Shell Deflections. - Md Farhadur Rahman, Abolfazl Asudeh, Nick Koudas, Gautam Das:
Efficient Computation of Subspace Skyline over Categorical Domains. - Zhaojian Wang, Feng Liu, Steven H. Low, Changhong Zhao, Shengwei Mei:
Distributed Frequency Control with Operational Constraints, Part II: Network Power Balance. - Kasthurirengan Suresh, Samuel Silva, Johnathan Votion, Yongcan Cao:
Multi-Sensor Data Pattern Recognition for Multi-Target Localization: A Machine Learning Approach. - Mostafa Jahanifar, Neda Zamani Tajeddin, Ali Gooya, Babak Mohammadzadeh Asl:
Segmentation of Lesions in Dermoscopy Images Using Saliency Map And Contour Propagation. - Fan Zhang, Diane J. Litman:
A Joint Identification Approach for Argumentative Writing Revisions. - Mabel M. Zhang, Nikolay Atanasov, Kostas Daniilidis:
Active Tactile Object Recognition by Monte Carlo Tree Search. - Hairong Liu, Zhenyao Zhu, Xiangang Li, Sanjeev Satheesh:
Gram-CTC: Automatic Unit Selection and Target Decomposition for Sequence Labelling. - Zhou Yu, Alan W. Black, Alexander I. Rudnicky:
Learning Conversational Systems that Interleave Task and Non-Task Content. - Van-Dinh Nguyen, Chuyen T. Nguyen, Hieu V. Nguyen, Oh-Soon Shin:
Joint Beamforming and Antenna Selection for Sum Rate Maximization in Cognitive Radio Networks. - Lei Qiu, Yu Zhang, Li Zhang:
Minimum Enclosing Circle of a Set of Static Points with Dynamic Weight from One Free Point. - Bo Liu, Xiao-Tong Yuan, Lezi Wang, Qingshan Liu, Dimitris N. Metaxas:
Dual Iterative Hard Thresholding: From Non-convex Sparse Minimization to Non-smooth Concave Maximization. - Alireza Majzoobi, Amin Khodaei, Shay Bahramirad:
Capturing Distribution Grid-Integrated Solar Variability and Uncertainty Using Microgrids. - Gong Cheng, Junwei Han, Xiaoqiang Lu:
Remote Sensing Image Scene Classification: Benchmark and State of the Art. - (Withdrawn) RGB-D Salient Object Detection Based on Discriminative Cross-modal Transfer Learning.
- Jian Dai, Fei He, Wang-Chien Lee, Gang Chen, Beng Chin Ooi:
DTNC: A New Server-side Data Cleansing Framework for Cellular Trajectory Services. - Wei Fu, Tim Menzies:
Revisiting Unsupervised Learning for Defect Prediction. - Wei Fu, Tim Menzies:
Easy over Hard: A Case Study on Deep Learning. - Naeem Akl, Ahmed H. Tewfik:
Collision Resolution and Interference Elimination in Multiaccess Communication Networks. - Wenqian Shen, Linglong Dai, Yang Yang, Yue Li, Zhaocheng Wang:
Codebook Design for Channel Feedback in Lens-Based Millimeter-Wave Massive MIMO Systems. - Liang Zhao, Siyu Liao, Yanzhi Wang, Jian Tang, Bo Yuan:
Theoretical Properties for Neural Networks with Weight Matrices of Low Displacement Rank. - Van-Dinh Nguyen, Trung Quang Duong, Oh-Soon Shin, Arumugam Nallanathan, George K. Karagiannidis:
Robust Beamforming for Secrecy Rate in Cooperative Cognitive Radio Multicast Communications. - Nevrez Imamoglu, Chi Zhang, Wataru Shimoda, Yuming Fang, Boxin Shi:
Saliency Detection by Forward and Backward Cues in Deep-CNNs. - Arno Solin, Santiago Cortés Reina, Esa Rahtu, Juho Kannala:
Inertial Odometry on Handheld Smartphones. - Yanjing Wang:
A New Modal Framework for Epistemic Logic. 515-534 - Nevrez Imamoglu, Zhixuan Wei, Huangjun Shi, Yuki Yoshida, Myagmarbayar Nergui, José González, Dongyun Gu, Weidong Chen, Kenzo Nonami, Wenwei Yu:
Saliency Fusion in Eigenvector Space with Multi-Channel Pulse Coupled Neural Network. - Réhan Noordally, Xavier Nicolay, Yassine Gangat, Pascal Anelli:
How long delays impact TCP performance for a connectivity from Reunion Island ? - Thiemo Alldieck, Marc Kassubeck, Marcus A. Magnor:
Optical Flow-based 3D Human Motion Estimation from Monocular Video. - Mirsad Cosovic, Achilleas Tsitsimelis, Dejan Vukobratovic, Javier Matamoros, Carles Antón-Haro:
5G Mobile Cellular Networks: Enabling Distributed State Estimation for Smart Grid. - Enrico Calore, Alessandro Gabbana, Jiri Kraus, E. Pellegrini, Sebastiano Fabio Schifano, Raffaele Tripiccione:
Massively parallel lattice-Boltzmann codes on large GPU clusters. - Enrico Calore, Alessandro Gabbana, Jiri Kraus, Sebastiano Fabio Schifano, Raffaele Tripiccione:
Performance and Portability of Accelerated Lattice Boltzmann Applications with OpenACC. - Neri Merhav:
Lower Bounds on Exponential Moments of the Quadratic Error in Parameter Estimation. - Krzysztof Wegner, Tomasz Grajek, Jakub Stankowski, Marek Domanski:
Video transrating in AVC and HEVC transcoding. - Gilad Francis, Lionel Ott, Fabio Tozeto Ramos:
Stochastic Functional Gradient for Motion Planning in Continuous Occupancy Maps. - Amihood Amir, Costas S. Iliopoulos, Jakub Radoszewski:
Two strings at Hamming distance 1 cannot be both quasiperiodic. - Yan Bai, Feng Gao, Yihang Lou, Shiqi Wang, Tiejun Huang, Ling-Yu Duan:
Incorporating Intra-Class Variance to Fine-Grained Visual Recognition. - Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, Martin Monperrus:
Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness. - Ulrik Eklund, Christian Berger:
Scaling Agile Development in Mechatronic Organizations - A Comparative Case Study. - Aditya Ahuja:
A Quantum-Classical Scheme towards Quantum Functional Encryption. - (Withdrawn) Are Erdös- Rényi Random Graphs Topologically Random?
- Guénolé Harel, Jacques-Bernard Lekien, Philippe P. Pébaÿ:
Two New Contributions to the Visualization of AMR Grids: I. Interactive Rendering of Extreme-Scale 2-Dimensional Grids II. Novel Selection Filters in Arbitrary Dimension. - Man Hon Cheung, Fen Hou, Jianwei Huang, Richard Southwell:
Congestion-Aware Distributed Network Selection for Integrated Cellular and Wi-Fi Networks. - Gilad Francis, Lionel Ott, Román Marchant, Fabio Ramos:
Occupancy Map Building through Bayesian Exploration. - Feng Gao, Yihang Lou, Yan Bai, Shiqi Wang, Tiejun Huang, Ling-Yu Duan:
Improving Object Detection with Region Similarity Learning. - L. Sunil Chandran, Anita Das, Davis Issac, Erik Jan van Leeuwen:
Algorithms and Bounds for Very Strong Rainbow Coloring. - Zhaowei Xu, Wenhui Zhang, Yuefei Sui:
On Completeness Results of Hoare Logic Relative to the Standard Model. - Zhaowei Xu, Yuefei Sui, Wenhui Zhang:
Completeness of Hoare Logic over Nonstandard Models. - Kamil Khadiev, Aliya Khadieva:
Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams. - Sébastien Ehrhardt, Áron Monszpart, Niloy J. Mitra, Andrea Vedaldi:
Learning A Physical Long-term Predictor. - Adur Lagunas, Oier Dominguez, Susana Martinez-Conde, Stephen L. Macknik, Carlos del Rio:
Human Eye Visual Hyperacuity: A New Paradigm for Sensing? - Ghazal Kachigar, Jean-Pierre Tillich:
Quantum Information Set Decoding Algorithms. - Henrik Barthels:
Systematic Generation of Algorithms for Iterative Methods. - Line Kühnel, Stefan Sommer:
Stochastic Development Regression on Non-Linear Manifolds. - Zhiyuan Zha, Xinggan Zhang, Qiong Wang, Yechao Bai, Lan Tang:
Group Sparsity Residual Constraint for Image Denoising. - Thomas Rinsma:
Automatic Library Version Identification, an Exploration of Techniques. - Aneel Tanwani, Christophe Prieur, Sophie Tarbouriech:
Disturbance-to-State Stabilization and Quantized Control for Linear Hyperbolic Systems. - Angelos Valsamis, Alexandros Psychas, Fotis Aisopos, Andreas Menychtas, Theodora A. Varvarigou:
Second Screen User Profiling and Multi-level Smart Recommendations in the context of Social TVs. - Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama:
Multi-stage Neural Networks with Single-sided Classifiers for False Positive Reduction and its Evaluation using Lung X-ray CT Images. - Raphael Meier, Urspeter Knecht, Alain Jungo, Roland Wiest, Mauricio Reyes:
Perturb-and-MPM: Quantifying Segmentation Uncertainty in Dense Multi-Label CRFs. - Ceyda Sanli, Anupam Mondal, Erik Cambria:
Tracing Linguistic Relations in Winning and Losing Sides of Explicit Opposing Groups. - Hadi Hosseini, Kate Larson, Robin Cohen:
Investigating the Characteristics of One-Sided Matching Mechanisms Under Various Preferences and Risk Attitudes. - Mahyar Shahsavari, Pierre Boulet:
Memristor nanodevice for unconventional computing: review and applications. - Massimo Battaglioni, Alireza Tasdighi, Giovanni Cancellieri, Franco Chiaraluce, Marco Baldi:
Design and Analysis of Time-Invariant SC-LDPC codes with Small Constraint Length. - Jonathan Prados-Garzon, Pablo Ameigeiras, Juan J. Ramos-Muñoz, Pilar Andres-Maldonado, Juan M. López-Soler:
Analytical Modeling for Virtualized Network Functions. - Renata Khasanova, Pascal Frossard:
Graph-based Isometry Invariant Representation Learning. - Apostolos Pyrgelis, Carmela Troncoso, Emiliano De Cristofaro:
What Does The Crowd Say About You? Evaluating Aggregation-based Location Privacy. - Rob J. Meijer:
MattockFS; Page-cache and access-control concerns in asynchronous message-based forensic frameworks on the Linux platform. - Charles Sauerbier:
Factoring Odd Integers without Multiplication and Division. - Swapnil M. Parikh, Narendra M. Patel, Harshadkumar B. Prajapati:
Resource Management in Cloud Computing: Classification and Taxonomy. - Yehia Elkhatib, Barry Porter, Heverson B. Ribeiro, Mohamed Faten Zhani, Junaid Qadir, Etienne Rivière:
On Using Micro-Clouds to Deliver the Fog. - Hanzhang Hu, Wen Sun, Arun Venkatraman, Martial Hebert, J. Andrew Bagnell:
Gradient Boosting on Stochastic Data Streams. - Sandra Servia Rodríguez, Liang Wang, Jianxin Zhao, Richard Mortier, Hamed Haddadi:
Personal Model Training under Privacy Constraints. - Junier B. Oliva, Barnabás Póczos, Jeff G. Schneider:
The Statistical Recurrent Unit. - Andjela Draganic, Milan Maric, Irena Orovic, Srdjan Stankovic:
Identification of image source using serialnumber-based watermarking under Compressive Sensing conditions. - Alessandro Loriga, Parvin Moyassari, Daniele Bernardini, Gregorio Landi, Francesca Venturini, Elisabeth Dumont:
Nonlinear Volterra model of a loudspeaker behavior based on Laser Doppler Vibrometry. - Timothee Habra, Markus Grotz, David Sippel, Tamim Asfour, Renaud Ronsse:
Multimodal Gaze Stabilization of a Humanoid Robot based on Reafferences. - Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke:
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report. - Sampoorna Biswas, Laks V. S. Lakshmanan, Senjuti Basu Roy:
Combating the Cold Start User Problem in Model Based Collaborative Filtering. - Mikael G. Nilsson, Carl Gustafson, Taimoor Abbas, Fredrik Tufvesson:
A Measurement Based Multilink Shadowing Model for V2V Network Simulations of Highway Scenarios. - Lei Tai, Giuseppe Paolo, Ming Liu:
Virtual-to-real Deep Reinforcement Learning: Continuous Control of Mobile Robots for Mapless Navigation. - Cezary Kaliszyk, François Chollet, Christian Szegedy:
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. - Gokhan Calis, Swetha Shivaramaiah, Onur Ozan Koyluoglu, Loukas Lazos:
Repair Strategies for Storage on Mobile Clouds. - Ke Li, Jitendra Malik:
Fast k-Nearest Neighbour Search via Prioritized DCI. - Ke Li, Jitendra Malik:
Learning to Optimize Neural Nets. - Brandon Amos, J. Zico Kolter:
OptNet: Differentiable Optimization as a Layer in Neural Networks. - Tetsuya Kobayashi:
Bayesian Gates for Reliable Logical Operations under Noisy Condition. - Zoja Vulaj, Andjela Draganic, Milos Brajovic, Irena Orovic:
A tool for ECG signal analysis using standard and optimized Hermite transform. - Erik Agrell, Balázs Csébfalvi:
Multidimensional Sampling of Isotropically Bandlimited Signals. - Rika Antonova, Silvia Cruciani, Christian Smith, Danica Kragic:
Reinforcement Learning for Pivoting Task. - Shahrzad Keshavarz, Christof Paar, Daniel E. Holcomb:
Design Automation for Obfuscated Circuits with Multiple Viable Functions. - Robert J. Griffin, Georg Wiedebach, Sylvain Bertrand, Alexander Leonessa, Jerry E. Pratt:
Walking Stabilization Using Step Timing and Location Adjustment on the Humanoid Robot, Atlas. - Chi-Yo Tsai, Gaurav Kumar Agarwal, Christina Fragouli, Suhas N. Diggavi:
A Distortion Based Approach for Protecting Inferences. - Shuchi Chawla, Nikhil R. Devanur, Janardhan Kulkarni, Rad Niazadeh:
Truth and Regret in Online Scheduling. - Shaohe Lv, Yong Lu, Mianxiong Dong, Xiaodong Wang, Yong Dou, Weihua Zhuang:
Qualitative Action Recognition by Wireless Radio Signals in Human-Machine Systems. - Yu-Chuan Su, Kristen Grauman:
Making 360° Video Watchable in 2D: Learning Videography for Click Free Viewing. - Ronen Karni, Moshe Schwartz:
Infinity-Norm Permutation Covering Codes from Cyclic Groups. - Tianmin Shu, Xiaofeng Gao, Michael S. Ryoo, Song-Chun Zhu:
Learning Social Affordance Grammar from Videos: Transferring Human Interactions to Human-Robot Interactions. - Randal S. Olson, William G. La Cava, Patryk Orzechowski, Ryan J. Urbanowicz, Jason H. Moore:
PMLB: A Large Benchmark Suite for Machine Learning Evaluation and Comparison. - Shreesh Kumara Bhat, Aron Culotta:
Identifying leading indicators of product recalls from online reviews using positive unlabeled learning and domain adaptation. - Ivan Voitalov, Rodrigo Aldecoa, Lan Wang, Dmitri V. Krioukov:
Geohyperbolic Routing and Addressing Schemes. - Andrew McCaleb Reach, Chris North:
The Signals and Systems Approach to Animation. - Wojciech Marian Czarnecki, Grzegorz Swirszcz, Max Jaderberg, Simon Osindero, Oriol Vinyals, Koray Kavukcuoglu:
Understanding Synthetic Gradients and Decoupled Neural Interfaces. - Matt Berseth:
ISIC 2017 - Skin Lesion Analysis Towards Melanoma Detection. - Riten Gupta, Lieven Vandenberghe, Mario Gerla:
Centralized Network Utility Maximization over Aggregate Flows. - Hao Chang:
Skin cancer reorganization and classification with deep neural network. - Ania M. Piotrowska, Jamie Hayes, Tariq Elahi, Sebastian Meiser, George Danezis:
The Loopix Anonymity System. - Jinying Chen, Hong Yu:
Unsupervised Ensemble Ranking of Terms in Electronic Health Record Notes Based on Their Importance to Patients. - Vitaly Petrov, Konstantin Mikhaylov, Dmitri Moltchanov, Sergey Andreev, Gábor Fodor, Johan Torsner, Halim Yanikomeroglu, Markku J. Juntti, Yevgeni Koucheryavy:
When IoT Keeps People in the Loop: A Path Towards a New Global Utility. - Dusan Knop, Martin Koutecký, Tomás Masarík, Tomás Toufar:
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity. - Risto Miikkulainen, Jason Zhi Liang, Elliot Meyerson, Aditya Rawal, Daniel Fink, Olivier Francon, Bala Raju, Hormoz Shahrzad, Arshak Navruzyan, Nigel Duffy, Babak Hodjat:
Evolving Deep Neural Networks. - (Withdrawn) Statistical Verification of Computational Rapport Model.
- Md. Amirul Islam, Shujon Naha, Mrigank Rochan, Neil D. B. Bruce, Yang Wang:
Label Refinement Network for Coarse-to-Fine Semantic Segmentation. - Tomoya Murase, Tanaka Kanji:
Change Detection under Global Viewpoint Uncertainty. - Jo Schlemper, Jose Caballero, Joseph V. Hajnal, Anthony N. Price, Daniel Rueckert:
A Deep Cascade of Convolutional Neural Networks for MR Image Reconstruction.