default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, July 2018
- Eun-Young Kang
, Dongrui Mu, Li Huang:
Probabilistic Analysis of Weakly-Hard Real-Time Systems. - Serhiy O. Semerikov, Illia O. Teplytskyi, Yuliia V. Yechkalo:
Computer Simulation of Neural Networks Using Spreadsheets: The Dawn of the Age of Camelot. - Hanshen Xiao, Guoqiang Xiao:
On Solving Ambiguity Resolution with Robust Chinese Remainder Theorem for Multiple Numbers. - Andrew Cotter, Maya R. Gupta, Heinrich Jiang, Nathan Srebro, Karthik Sridharan, Serena Lutong Wang, Blake E. Woodworth, Seungil You:
Training Well-Generalizing Classifiers for Fairness Metrics and Other Data-Dependent Constraints. - Matthew P. Johnson:
Deciding the Closure of Inconsistent Rooted Triples is NP-Complete. - Vuong M. Ngo, Nhien-An Le-Khac, M. Tahar Kechadi:
An Efficient Data Warehouse for Crop Yield Prediction. - Julián Vicens, Josep Perelló, Jordi Duch:
Citizen Social Lab: A digital platform for human behaviour experimentation within a citizen science framework. - Jelena Milosevic, Dexmont Peña, Andrew Forembsky, David Moloney, Miroslaw Malek:
It All Matters: Reporting Accuracy, Inference Time and Power Consumption for Face Emotion Recognition on Embedded Systems. - Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. - Anand Venkatesan, Atishay Jain, Rakesh Grewal:
AI in Game Playing: Sokoban Solver. - Sanja Krakan, Luka Humski, Zoran Skocir:
Determination of Friendship Intensity between Online Social Network Users Based on Their Interaction. - Wenqi Wei, Ling Liu, Stacey Truex, Lei Yu, Mehmet Emre Gursoy:
Adversarial Examples in Deep Learning: Characterization and Divergence. - Kai Wan, Daniela Tuninetti, Mingyue Ji, Pablo Piantanida:
Fundamental Limits of Distributed Data Shuffling. - Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. - Alan Jeffrey:
Josephine: Using JavaScript to safely manage the lifetimes of Rust data. - Nadine Kroher, Aggelos Pikrakis:
Exploratory Analysis of a Large Flamenco Corpus using an Ensemble of Convolutional Neural Networks as a Structural Annotation Backend. - Emery D. Berger, Stephen M. Blackburn, Carla E. Brodley, H. V. Jagadish, Kathryn S. McKinley, Mario A. Nascimento, Minjeong Shin, Lexing Xie:
GOTO Rankings Considered Helpful. - Joo-Kyung Kim, Young-Bum Kim:
Joint Learning of Domain Classification and Out-of-Domain Detection with Dynamic Class Weighting for Satisficing False Acceptance Rates. - Ralf-Peter Mundani, Jérôme Frisch, Vasco Varduhn, Ernst Rank:
A sliding window technique for interactive high-performance computing scenarios. - Braden Hancock, Hongrae Lee, Cong Yu:
Title Generation for Web Tables. - Forrest Sheldon, Pietro Cicotti, Fabio L. Traversa, Massimiliano Di Ventra:
Stress-testing memcomputing on hard combinatorial optimization problems. - Tianyuan Sun, Yongcai Wang, Deying Li, Wenping Chen, Zhaoquan Gu:
Robust Component-based Network Localization with Noisy Range Measurements. - Piotr Indyk, Tal Wagner:
Approximate Nearest Neighbors in Limited Space. - Junyeong Seo, Youngchul Sung, Hamid Jafarkhani:
A High-Diversity Transceiver Design for K-User MISO Broadcast Channels. - Yong Liu, Ruiping Wang, Shiguang Shan, Xilin Chen:
Structure Inference Net: Object Detection Using Scene-Level Context and Instance-Level Relationships. - Koji M. Kobayashi:
An optimal algorithm for 2-bounded delay buffer management with lookahead. - Sanaz Bahargam, Evangelos E. Papalexakis:
A Constrained Coupled Matrix-Tensor Factorization for Learning Time-evolving and Emerging Topics. - Willie Boag, Harini Suresh, Leo Anthony Celi, Peter Szolovits, Marzyeh Ghassemi:
Modeling Mistrust in End-of-Life Care. - Abigail Paradise, Dvir Cohen, Asaf Shabtai, Rami Puzis:
Generation of Automatic and Realistic Artificial Profiles. - Jason Ramapuram, Russ Webb:
A New Benchmark and Progress Toward Improved Weakly Supervised Learning. - Andrei-Alexandru Agape, Madalin Claudiu Danceanu, René Rydhof Hansen, Stefan Schmid:
Charting the Security Landscape of Programmable Dataplanes. - Sharath Adavanne, Archontis Politis, Joonas Nikunen, Tuomas Virtanen:
Sound Event Localization and Detection of Overlapping Sources Using Convolutional Recurrent Neural Networks. - Guang-He Lee, David Alvarez-Melis, Tommi S. Jaakkola:
Game-Theoretic Interpretability for Temporal Modeling. - Kannan Balakrishnan, Divya Sindhu Lekha:
Generalized Vertex Transitivity in Graphs. - Paola Giannini, Marco Servetto, Elena Zucca, James Cone:
Flexible recovery of uniqueness and immutability (Extended Version). - Chun-Hung Cheng, Iyiola E. Olatunji:
Harnessing constrained resources in service industry via video analytics. - Li Liu, Jiasong Wu, Dengwang Li, Lotfi Senhadji, Huazhong Shu:
Fractional Wavelet Scattering Network and Applications. - Jérôme Frisch, Ralf-Peter Mundani:
Measuring and comparing the scaling behaviour of a high-performance CFD code on different supercomputing infrastructures. - Keze Wang, Liang Lin, Xiaopeng Yan, Ziliang Chen, Dongyu Zhang, Lei Zhang:
Cost-effective Object Detection: Active Sample Mining with Switchable Selection Criteria. - Nevena Perovic, Jérôme Frisch, Ralf-Peter Mundani, Ernst Rank:
Interactive data exploration for high-performance fluid flow computations through porous media. - Cyril Grunspan, Ricardo Pérez-Marco:
Ant routing algorithm for the Lightning Network. - Cristina Conati, Kaska Porayska-Pomsta, Manolis Mavrikis:
AI in Education needs interpretable machine learning: Lessons from Open Learner Modelling. - Artur Poplawski:
Self-consistency of voting implies majority vote. - Ted Underwood:
The Historical Significance of Textual Distances. - Yuanliang Chen, Yu Jiang, Jie Liang, Mingzhe Wang, Xun Jiao:
EnFuzz: From Ensemble Learning to Ensemble Fuzzing. - S. C. Maree, Tanja Alderliesten, Dirk Thierens, Peter A. N. Bosman:
Benchmarking the Hill-Valley Evolutionary Algorithm for the GECCO 2018 Competition on Niching Methods Multimodal Optimization. - Pedro A. Ortega, Shane Legg:
Modeling Friends and Foes. - Christina Wadsworth, Francesca Vera, Chris Piech:
Achieving Fairness through Adversarial Learning: an Application to Recidivism Prediction. - Yu Liu, Guanlong Zhao, Boyuan Gong, Yang Li, Ritu Raj, Niraj Goel, Satya Kesav, Sandeep Gottimukkala, Zhangyang Wang, Wenqi Ren, Dacheng Tao:
Improved Techniques for Learning to Dehaze and Beyond: A Collective Study. - Ibrahim Numanagic, Alim S. Gökkaya, Lillian Zhang, Bonnie Berger, Can Alkan, Faraz Hach:
Fast Characterization of Segmental Duplications in Genome Assemblies. - Elahe Rezaei, Hafez Eslami Manoochehri, Babak Hossein Khalaj:
Multi-agent Learning for Cooperative Large-scale Caching Networks. - Luka Humski, Damir Pintar, Mihaela Vranic:
Exploratory Analysis of Pairwise Interactions in Online Social Networks. - Serhiy O. Semerikov, Vladyslav S. Pototskyi, Kateryna I. Slovak, Svitlana M. Hryshchenko:
Automation of the Export Data from Open Journal Systems to the Russian Science Citation Index. - Kamel Abdelouahab, François Berry, Maxime Pelcat:
The Challenge of Multi-Operand Adders in CNNs on FPGAs: How not to solve it! - Nitish Mital, Katina Kralevska, Deniz Gündüz, Cong Ling:
Storage-Repair Bandwidth Trade-off for Wireless Caching with Partial Failure and Broadcast Repair. - Farshid Alambeigi, Mahsan Bakhtiarinejad, Armina Azizi, Rachel Hegeman, Iulian Iordachita, Harpal Khanuja, Mehran Armand:
Inroads Toward Robot-Assisted Internal Fixation of Bone Fractures Using a Bendable Medical Screw and the Curved Drilling Technique. - Yunpu Ma, Volker Tresp, Erik A. Daxberger:
Embedding Models for Episodic Memory. - Bruno Korbar, Du Tran, Lorenzo Torresani:
Co-Training of Audio and Video Representations from Self-Supervised Temporal Synchronization. - Inigo Jauregi Unanue, Ehsan Zare Borzeshi, Massimo Piccardi:
A Shared Attention Mechanism for Interpretation of Neural Automatic Post-Editing Systems. - Hayoung Choi, Hosoo Lee, Yifei Shen, Yuanming Shi:
Comparing large-scale graphs based on quantum probability theory. - Chaojing Duan, Siheng Chen, Jelena Kovacevic:
Weighted Multi-projection: 3D Point Cloud Denoising with Estimated Tangent Planes. - Jochen L. Leidner:
Information Retrieval in the Cloud. - Dongdong Jiang, Ying Cui:
Analysis and Optimization of Caching and Multicasting for Multi-Quality Videos in Large-Scale Wireless Networks. - Volodymyr Kuleshov, Nathan Fenner, Stefano Ermon:
Accurate Uncertainties for Deep Learning Using Calibrated Regression. - Raghav Gupta, Abhinav Rastogi, Dilek Hakkani-Tür:
An Efficient Approach to Encoding Context for Spoken Language Understanding. - Michael Honke, Rahul Iyer, Dishant Mittal:
Photorealistic Style Transfer for Videos. - Fangchang Ma, Guilherme Venturelli Cavalheiro, Sertac Karaman:
Self-supervised Sparse-to-Dense: Self-supervised Depth Completion from LiDAR and Monocular Camera. - Andrii Striuk, Maryna Rassovytska, Svitlana V. Shokaliuk:
Using Blippar Augmented Reality Browser in the Practical Training of Mechanical Engineers. - Shahriar Sefati, Ryan J. Murphy, Farshid Alambeigi, Michael Pozin, Iulian Iordachita, Russell H. Taylor, Mehran Armand:
FBG-Based Control of a Continuum Manipulator Interacting With Obstacles. - Benteng Ma, Yong Xia:
Autonomous Deep Learning: A Genetic DCNN Designer for Image Classification. - Manuel Mager, Elisabeth Mager, Alfonso Medina Urrea, Iván Meza, Katharina Kann:
Lost in Translation: Analysis of Information Loss During Machine Translation Between Polysynthetic and Fusional Languages. - Weinan E, Qingcan Wang:
Exponential Convergence of the Deep Neural Network Approximation for Analytic Functions. - Junping Wang, Wensheng Zhang, Ian Thomas, Shihui Duan, Youkang Shi:
Multi-Task Generative Adversarial Nets with Shared Memory for Cross-Domain Coordination Control. - Julian Faraone, Nicholas J. Fraser, Michaela Blott, Philip Heng Wai Leong:
SYQ: Learning Symmetric Quantization For Efficient Deep Neural Networks. - Vinicius Woloszyn, Guilherme Medeiros Machado, Leandro Krug Wives, José Palazzo Moreira de Oliveira:
Modeling, comprehending and summarizing textual content by graphs. - Daniel Lehmann:
Local Equilibria. - Milan Broz, Mikulás Patocka, Vashek Matyas:
Practical Cryptographic Data Integrity Protection with Full Disk Encryption Extended Version. - Yanru Qu, Bohui Fang, Weinan Zhang, Ruiming Tang, Minzhe Niu, Huifeng Guo, Yong Yu, Xiuqiang He:
Product-based Neural Networks for User Response Prediction over Multi-field Categorical Data. - Christoph Ertl, Ralf-Peter Mundani, Ernst Rank:
Ensuring domain consistency in an adaptive framework with distributed topology for fluid flow simulations. - Maryna Rassovytska, Andrii Striuk:
Mechanical Engineers Training in Using Cloud and Mobile Services in Professional Activity. - Andrii Striuk:
Using Elements Of Semantic Parsing In E-Learning Environments. - Georgios Amanatidis, George Christodoulou, John Fearnley, Evangelos Markakis, Christos-Alexandros Psomas, Eftychia Vakaliou:
An Improved Envy-Free Cake Cutting Protocol for Four Agents. - Mohammad Mahdi Tajiki, Mohammad Shojafar, Behzad Akbari, Stefano Salsano, Mauro Conti, Mukesh Singhal:
Joint Failure Recovery, Fault Prevention, and Energy-efficient Resource Management for Real-time SFC in Fog-supported SDN. - Dan Li, Deli Qiao, Lei Zhang, Geoffrey Ye Li:
Performance Analysis of Indoor THz Communications with One-Bit Precoding. - Michael Blondin, Javier Esparza, Antonín Kucera:
Automatic Analysis of Expected Termination Time for Population Protocols. - Xinhan Di, Pengqian Yu, Meng Tian:
Towards Adversarial Training with Moderate Performance Improvement for Neural Network Classification. - Amogh Agrawal, Akhilesh Jaiswal, Bing Han, Gopalakrishnan Srinivasan, Kaushik Roy:
Xcel-RAM: Accelerating Binary Neural Networks in High-Throughput SRAM Compute Arrays. - Saad Kriouile, Maialen Larrañaga, Mohamad Assaad:
Asymptotically optimal delay-aware scheduling in wireless networks. - Wanran Xu, Suzhi Bi, Xiaohui Lin, Juan Wang:
Reusing Wireless Power Transfer for Backscatter-assisted Cooperation in WPCN. - Baoxiang Wang, Tongfang Sun, Xianjun Sam Zheng:
Beyond Winning and Losing: Modeling Human Motivations and Behaviors Using Inverse Reinforcement Learning. - Francesco Pace, Dimitrios Milios, Damiano Carra, Daniele Venzano, Pietro Michiardi:
A Data-Driven Approach to Dynamically Adjust Resource Allocation for Compute Clusters. - Dekel Tsur:
Representation of ordered trees with a given degree distribution. - Ehsan Hosseini-Asl, Yingbo Zhou, Caiming Xiong, Richard Socher:
Augmented Cyclic Adversarial Learning for Domain Adaptation. - Chaya Levinger, Amos Azaria, Noam Hazon:
Human Satisfaction as the Ultimate Goal in Ridesharing. - Fatemeh Riahi, Oliver Schulte:
Model-based Exception Mining for Object-Relational Data. - Tim Hegeman, Alexandru Iosup:
Survey of Graph Analysis Applications. - Ralf-Peter Mundani, Marko Ljucovic, Ernst Rank:
Framework for the hybrid parallelisation of simulation codes. - Konstantinos Zampogiannis, Cornelia Fermüller, Yiannis Aloimonos:
cilantro: a lean, versatile, and efficient library for point cloud data processing. - James Max Kanter, Benjamin Schreck, Kalyan Veeramachaneni:
Machine learning 2.0 : Engineering Data Driven AI Products. - Surya Bhupatiraju, Kumar Krishna Agrawal, Rishabh Singh:
Towards Mixed Optimization for Reinforcement Learning with Program Synthesis. - David Koerner, Jamie Portsmouth, Wenzel Jakob:
PN-Method for Multiple Scattering in Participating Media. - Alex Kendall, Jeffrey Hawke, David Janz, Przemyslaw Mazur, Daniele Reda, John-Mark Allen, Vinh-Dieu Lam, Alex Bewley, Amar Shah:
Learning to Drive in a Day. - Mark Harmon, Diego Klabjan:
Dynamic Prediction Length for Time Series with Sequence to Sequence Networks. - John R. Zech, Marcus A. Badgeley, Manway Liu, Anthony B. Costa, Joseph J. Titano, Eric K. Oermann:
Confounding variables can degrade generalization performance of radiological deep learning models. - Gaurav Choudhary, Vishal Sharma, Ilsun You, Kangbin Yim, Ing-Ray Chen, Jin-Hee Cho:
Intrusion Detection Systems for Networked Unmanned Aerial Vehicles: A Survey. - Sang-gil Lee, Jae Seok Bae, Hyunjae Kim, Jung Hoon Kim, Sungroh Yoon:
Liver Lesion Detection from Weakly-labeled Multi-phase CT Volumes with a Grouped Single Shot MultiBox Detector. - Anvar Bahrampour, Omid Mohamad Nezami:
Dynamic Swarm Dispersion in Particle Swarm Optimization for Mining Unsearched Area in Solution Space (DSDPSO). - Aslam Abdullah:
Influence of the Forward Difference Scheme for the Time Derivative on the Stability of Wave Equation Numerical Solution. - Xiangxiang Chu:
Policy Optimization With Penalized Point Probability Distance: An Alternative To Proximal Policy Optimization. - Hao Ye, Geoffrey Ye Li, Biing-Hwang Fred Juang, Kathiravetpillai Sivanesan:
Channel Agnostic End-to-End Learning based Communication Systems with Conditional GAN. - Hua-Lin He, Chun-Xiang Pan, Qing Da, Anxiang Zeng:
Speeding up the Metabolism in E-commerce by Reinforcement Mechanism Design. - Yue Bai, Shuvra S. Bhattacharyya, Antti P. Happonen, Heikki Huttunen:
Elastic Neural Networks: A Scalable Framework for Embedded Computer Vision. - Chengxi Ye, Chinmaya Devaraj, Michael Maynord, Cornelia Fermüller, Yiannis Aloimonos:
Evenly Cascaded Convolutional Networks. - Shasha Li, Ajaya Neupane, Sujoy Paul, Chengyu Song, Srikanth V. Krishnamurthy, Amit K. Roy-Chowdhury, Ananthram Swami:
Adversarial Perturbations Against Real-Time Video Classification Systems. - Eugene Bagdasaryan, Andreas Veit, Yiqing Hua, Deborah Estrin, Vitaly Shmatikov:
How To Backdoor Federated Learning. - Amanda Bower, Laura Niss, Yuekai Sun, Alexander Vargo:
Debiasing representations by removing unwanted variation due to protected attributes. - Jiankai Sun, Abhinav Vishnu, Aniket Chakrabarti, Charles Siegel, Srinivasan Parthasarathy:
ColdRoute: Effective Routing of Cold Questions in Stack Exchange Sites. - Jan Rühaak, Thomas Polzin, Stefan Heldmann, Ivor J. A. Simpson, Heinz Handels, Jan Modersitzki, Mattias P. Heinrich:
Estimation of Large Motion in Lung CT by Integrating Regularized Keypoint Correspondences into Dense Deformable Registration. - Sakshi Udeshi, Pryanshu Arora, Sudipta Chattopadhyay:
Automated Directed Fairness Testing. - Yuwei Xie, Hongwei Zhang, Pengfei Ren:
Unified Scheduling for Predictable Communication Reliability in Cellular Networks with D2D Links. - Masahiko Ueda, Toshiyuki Tanaka:
Zero-determinant strategies in repeated incomplete-information games: Consistency of payoff relations. - Yunhao Sun:
Information theoretic limits of state-dependent networks. - Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena:
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. - Shaobin Cao, Zhijian Ji, Hai Lin, Haisheng Yu:
Perfectly Controllable Multi-Agent Networks. - Jeff Zhang, Siddharth Garg:
FATE: Fast and Accurate Timing Error Prediction Framework for Low Power DNN Accelerator Design. - Toan Nguyen, Nasir D. Memon:
Tap-based User Authentication for Smartwatches. - Sunil Arya, Guilherme Dias da Fonseca, David M. Mount:
Approximate Convex Intersection Detection with Applications to Width and Minkowski Sums. - G. D. Illeperuma:
An initial study on estimating area of a leaf using image processing. - Zhu Kaili, Chuan Wang, Ruobing Li, Yang Liu, Tianlei Hu, Hui Lin:
A Simple but Effective Classification Model for Grammatical Error Correction. - Rémi Bonnefoi, Lilian Besson, Christophe Moy, Emilie Kaufmann, Jacques Palicot:
Multi-Armed Bandit Learning in IoT Networks: Learning helps even in non-stationary settings. - Phuc Xuan Nguyen, Deva Ramanan, Charless C. Fowlkes:
Active Testing: An Efficient and Robust Framework for Estimating Accuracy.