default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st ICTAI 2019: Portland, OR, USA
- 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019. IEEE 2019, ISBN 978-1-7281-3798-8
- Sahil Verma
, Roland H. C. Yap:
Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. 1-9 - Yazid Boumarafi, Yakoub Salhi:
On Solving Exactly-One-SAT. 10-17 - Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex:
Guaranteed Diversity & Quality for the Weighted CSP. 18-25 - Stefano Demarchi, Marco Menapace, Armando Tacchella:
Automating Elevator Design with Satisfiability Modulo Theories. 26-33 - Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Yu. Zinovyev:
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. 34-41 - Soufia Bennai, Kamal Amroun, Samir Loudni:
Exploiting Data Mining Techniques for Compressing Table Constraints. 42-49 - Pierre Talbot, David Cachera, Éric Monfroy, Charlotte Truchet:
Combining Constraint Languages via Abstract Interpretation. 50-58 - Bernhard Bliem, Matti Järvisalo:
Centrality Heuristics for Exact Model Counting. 59-63 - Markus Iser, Tomás Balyo, Carsten Sinz:
Memory Efficient Parallel SAT Solving with Inprocessing. 64-70 - Hugues Wattez, Christophe Lecoutre, Anastasia Paparrizou, Sébastien Tabary:
Refining Constraint Weighting. 71-77 - Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl:
A Survey on Applications of Quantified Boolean Formulas. 78-84 - Mengwei Xu, Kevin McAreavey, Kim Bauters, Weiru Liu:
Intention Interleaving Via Classical Replanning. 85-92 - Keisuke Otaki, Satoshi Koide, Keiichiro Hayakawa, Ayano Okoso, Tomoki Nishi:
Multi-agent Path Planning with Heterogeneous Cooperation. 93-100 - Roopam Bamal:
Collision-Free Path Finding for Dynamic Gaming and Real Time Robot Navigation. 101-108 - Sávio Menezes Sampaio, Altino Dantas, Celso G. Camilo-Junior:
Routing Sales Territory by Solving a Multi-objective TSP Variant with Evolutionary Algorithms. 109-116 - Matthew McNeill, Damian M. Lyons:
A Comparison of Contextual Bandit Approaches to Human-in-the-Loop Robot Task Completion with Infrequent Feedback. 117-124 - Mingxi Zhang, Guanying Su, Wei Wang:
Random Walk-Based Top-k Tag Generation in Bipartite Networks of Entity-Term Type. 125-132 - Kareem Amin:
Cases without Borders: Automating Knowledge Acquisition Approach using Deep Autoencoders and Siamese Networks in Case-Based Reasoning. 133-140 - Cuong Phuc Ngo, Amadeus Aristo Winarto, Connie Khor Li Kou, Sojeong Park, Farhan Akram, Hwee Kuan Lee:
Fence GAN: Towards Better Anomaly Detection. 141-148 - Bangyi Dong, Qingyong Li, Jianzhu Wang, Wei Huang, Peng Dai, Shengchun Wang:
An End-to-End Abnormal Fastener Detection Method Based on Data Synthesis. 149-156 - Ericsson Marin, Mohammed Almukaynizi, Paulo Shakarian:
Reasoning About Future Cyber-Attacks Through Socio-Technical Hacking Information. 157-164 - Brigitte Jaumard, Kia Babashahi Ashtiani, Nicolas Huin:
Automated Mechanism Design: Compact and Decomposition Linear Programming Models. 165-169 - Senpeng Chen, Jia Wu, Xiuyun Chen:
Deep Reinforcement Learning with Model-Based Acceleration for Hyperparameter Optimization. 170-177 - Luke Holbrook, Miltiadis Alamaniotis:
Internet of Things Security Analytics and Solutions with Deep Learning. 178-185 - Gabriel Hartmann, Zvi Shiller, Amos Azaria:
Deep Reinforcement Learning for Time Optimal Velocity Control using Prior Knowledge. 186-193 - Len Du:
Shallow Deep Learning: Embedding Verbatim K-Means in Deep Neural Networks. 194-197 - Elhadji Amadou Oury Diallo, Toshiharu Sugawara:
Coordination in Adversarial Multi-Agent with Deep Reinforcement Learning Under Partial Observability. 198-205 - Zhen Liang, Zhongxuan Cai, Minglong Li, Wenjing Yang:
Parallel Gym Gazebo: a Scalable Parallel Robot Deep Reinforcement Learning Platform. 206-213 - Di Jin, Zhigang Li, Liang Yang, Dongxiao He, Pengfei Jiao, Lu Zhai:
Adversarial Capsule Learning for Network Embedding. 214-221 - Amos Azaria, Seagal Azaria:
Semi-Supervised Ovulation Detection Based on Multiple Properties. 222-228 - Hong Yao, Lijun Dong, Shiqi Zhen, Xiaojun Kang, Xinchuan Li, Qingzhong Liang:
Distant-Supervised Relation Extraction with Hierarchical Attention Based on Knowledge Graph. 229-236 - Aaron N. Richter, Taghi M. Khoshgoftaar:
Approximating Learning Curves for Imbalanced Big Data with Limited Labels. 237-242 - Rémi Viola, Rémi Emonet, Amaury Habrard, Guillaume Metzler, Sébastien Riou, Marc Sebban:
An Adjusted Nearest Neighbor Algorithm Maximizing the F-Measure from Imbalanced Data. 243-250 - Yitzhak Spielberg, Amos Azaria:
The Concept of Criticality in Reinforcement Learning. 251-258 - Caili Wu, Zhao Zhou, Hao Ye, Jing Yang, Liang He:
Math Expression Image Retrieval via Attention-Based Framework. 259-264 - Zhixin Li, Yaru Sun, Suqin Tang, Canlong Zhang, Huifang Ma:
Sentence-Level Semantic Features Guided Adversarial Network for Zhuang Language Part-of-Speech Tagging. 265-272 - Ali Shariq Imran, Zenun Kastrati, Torbjørn Karl Svendsen, Arianit Kurti:
Text-Independent Speaker ID Employing 2D-CNN for Automatic Video Lecture Categorization in a MOOC Setting. 273-277 - Gianni Costa, Riccardo Ortale:
Document Clustering and Topic Modeling: A Unified Bayesian Probabilistic Perspective. 278-285 - Zhaohong Guo, Hui Xu, Feng Lu, Qiufeng Wang, Xiangdong Zhou, Yu Shi:
Improving Irregular Text Recognition by Integrating Gabor Convolutional Network. 286-293 - Huiwen Jiang, Weigang Wu, Jiangtao Ren:
Aspect-Based Sentiment Analysis with Adjustments to Irrelevant Sentimental-Related Features. 294-299 - Song Liu, Jiawei Zhan, Zhengding Luo, Gege Qi, Zhiqiang Bai, Yuesheng Zhu:
Deep Captioning Hashing Network for Complex Scene Image Retrieval. 300-307 - Chunfeng Liu, Yan Zhang, Mei Yu, Xuewei Li, Mankun Zhao, Tianyi Xu, Jian Yu, Ruiguo Yu:
Text-Enhanced Knowledge Representation Learning Based on Gated Convolutional Networks. 308-315 - Alcides Lopes, Renata dos Santos Alvarenga, Joel Luis Carbonera, Mara Abel:
An Efficient Approach for Semantic Relatedness Evaluation Based on Semantic Neighborhood. 316-323 - Xu Zhang, Xin Tian, Bing Yang, Zuyu Zhang, Yan Li:
Semi-Supervised Cross-Modal Hashing Based on Label Prediction and Distance Preserving. 324-330 - Gege Qi, Lin Pan, Song Liu, Zhengding Luo, Yuesheng Zhu:
Self-Learned Feature Reconstruction and Offset-Dilated Feature Fusion for Real-Time Semantic Segmentation. 331-338 - Dong Si, Sunny Chieh Cheng, Ruiwen Xing, Chang Liu, Hoi Yan Wu:
Scaling up Prediction of Psychosis by Natural Language Processing. 339-347 - Qilei Chen, Xinzi Sun, Ning Zhang, Yu Cao, Benyuan Liu:
Mini Lesions Detection on Diabetic Retinopathy Images via Large Scale CNN Features. 348-352 - Ran Li, Qingyi Si, Peng Fu, Zheng Lin, Weiping Wang, Gang Shi:
A Multi-channel Neural Network for Imbalanced Emotion Recognition. 353-360 - Bei Chen, Jiabin Yuan, Xiuping Bao:
Automatic 2D-to-3D Video Conversion using 3D Densely Connected Convolutional Networks. 361-367 - Lahari Poddar, Wynne Hsu, Mong-Li Lee:
Predicting User Reported Symptoms Using a Gated Neural Network. 368-375 - Yuzhe Ma, Ran Chen, Wei Li, Fanhua Shang, Wenjian Yu, Minsik Cho, Bei Yu:
A Unified Approximation Framework for Compressing and Accelerating Deep Neural Networks. 376-383 - Feng Liu, Cheng Lei, Hanyi Liu, Chongjun Wang:
A Probabilistic Forward Search Value Iteration Algorithm for POMDP. 384-391 - Sultan Ahmed, Malek Mouhoub:
A Divide and Conquer Algorithm for Dominance Testing in Acyclic CP-Nets. 392-399 - Mariana Soller Ramada, Telma Woerle de Lima, Anderson da Silva Soares, Adenilso Simão:
Generating Reduced Tests for FSMs using a Search-Based Testing Approach. 400-407 - Jianghai Dai, Chong Feng, Xuefeng Bai, Jinming Dai, Huanhuan Zhang:
AERNs: Attention-Based Entity Region Networks for Multi-Grained Named Entity Recognition. 408-415 - Seydou Ba, Takuya Hiraoka, Takashi Onishi, Toru Nakata, Yoshimasa Tsuruoka:
Monte Carlo Tree Search with Variable Simulation Periods for Continuously Running Tasks. 416-423 - Leopoldo Melo Junior, Franco Maria Nardini, Chiara Renso, José A. F. de Macêdo:
KNORA-IU: Improving the Dynamic Selection Prediction in Imbalanced Credit Scoring Problems. 424-431 - Maël Guillemé, Véronique Masson, Laurence Rozé, Alexandre Termier:
Agnostic Local Explanation for Time Series Classification. 432-439 - Daning Cheng, Hanping Zhang, Fen Xia, Shigang Li, Yunquan Zhang:
Using Gradient Based Multikernel Gaussian Process and Meta-Acquisition Function to Accelerate SMBO. 440-447 - Chen Chang, Jianjun Cao, Nianfeng Weng, Guojun Lv:
Ant Colony Optimization Parameters Control Based on Evolutionary Strength. 448-455 - Amrita Gupta, Bistra Dilkina:
Budget-Constrained Demand-Weighted Network Design for Resilient Infrastructure. 456-463 - Tao Tan, Shiqun Yin, Kunling Liu, Man Wan:
On the Convergence Speed of AMSGRAD and Beyond. 464-470 - Laurent Parmentier, Olivier Nicol, Laetitia Jourdan, Marie-Eléonore Kessaci:
TPOT-SH: A Faster Optimization Algorithm to Solve the AutoML Problem on Large Datasets. 471-478 - Afonso B. L. Neto, Tibério C. J. Loureiro, Marcial Porto Fernandez, Jerry Vasconcelos, Fernando A. M. Trinta:
METAPHOR - A Multiagent Architecture using IoT and Classification Algorithms for Referral Postoperative Patients. 479-484 - Alireza Nasiri, Yuxin Cui, Zhonghao Liu, Jing Jin, Yong Zhao, Jianjun Hu:
AudioMask: Robust Sound Event Detection Using Mask R-CNN and Frame-Level Classifier. 485-492 - Yifei Wang, Rui Liu, Yong Chen, Hui Zhang, Zhiwen Ye:
Regularized Non-Negative Spectral Embedding for Clustering. 493-500 - Runzhi Wang, Yu-e Sun, He Huang, Le Lu, Yang Du, Danlei Huang:
An Efficient Truth Discovery Mechanism for Crowdsensing Tasks With Temporal and Spatial Correlations. 501-508 - Joel Luís Carbonera, Mara Abel:
A Subspace Hierarchical Clustering Algorithm for Categorical Data. 509-516 - Bruno Kostiuk, Yandre M. G. Costa, Alceu de Souza Britto Jr., Xiao Hu, Carlos N. Silla:
Multi-label Emotion Classification in Music Videos Using Ensembles of Audio and Video Features. 517-523 - Xiu Li, Guichun Duan, Zhouxia Wang, Jimmy S. J. Ren, Yongbing Zhang, Jiawei Zhang, Kaixiang Song:
Recovering Extremely Degraded Faces by Joint Super-Resolution and Facial Composite. 524-530 - Zhuo Wang, Haonan Qin, Yunsong Li, Jie Lei, Weiying Xie:
SOON: Specifically Optimized One-Stage Network for Object Detection in Remote Sensing Imagery. 531-538 - Wanru Song, Jieying Zheng, Yahong Wu, Changhong Chen, Feng Liu:
Partial Attribute-Driven Video Person Re-Identification. 539-546 - Xiaofeng Zhao, Xiaocan Wu, Yu-e Sun, He Huang, Yang Du, Zhen Cao:
CPDM: An Efficient Crowdsensing-Based Pothole Detection and Measurement System Design. 547-554 - Fengming Lin, Ju Liu, Qiang Wu, Xiangmao Kong, Wali Ullah Khan, Wei Shi, Enshuai Pang:
FMNet: Feature Mining Networks for Brain Tumor Segmentation. 555-560 - Thiago de P. Vasconcelos, Daniel Augusto R. M. A. de Souza, César L. C. Mattos, João P. P. Gomes:
No-PASt-BO: Normalized Portfolio Allocation Strategy for Bayesian Optimization. 561-568 - Daniel Vriesman, Alceu S. Britto Jr., Alessandro Zimmer, Alessandro Lameiras Koerich:
Texture CNN for Thermoelectric Metal Pipe Image Classification. 569-574 - Zhizhuang Li, Zhengzhou Zhu, Teng Yang:
A Multi-index Examination Cheating Detection Method Based on Neural Network. 575-581 - Haote Yang, Shikui Tu:
GLmser: A GAN-Lmser Network for Image-to-Image Translation. 582-589 - Sanket Shukla, Gaurav Kolhe, Sai Manoj Pudukotai Dinakarrao, Setareh Rafatirad:
Stealthy Malware Detection using RNN-Based Automated Localized Feature Extraction and Classifier. 590-597 - Xiuping Bao, Jiabin Yuan, Bei Chen:
ECPNet: An Efficient Attention-Based Convolution Network with Pseudo-3D Block for Human Action Recognition. 598-605 - Mingyong Li, Hongya Wang, Liangliang Wang, Kaixiang Yang, Yingyuan Xiao:
Triplet Deep Hashing with Joint Supervised Loss for Fast Image Retrieval. 606-613 - Xijue Zhang, Wanling Li, Wangshu Shen, Lin Zhang, Xiaorong Pu, Lei Chen:
Automatic Identification of Alzheimer's Disease and Epilepsy Based on MRI. 614-620 - Vidhya Natarajan, Shangbo Mao, Liang-Tien Chia:
Salient Textural Anomaly Proposals and Classification for Metal Surface Anomalies. 621-628 - Shangbo Mao, Vidhya Natarajan, Liang-Tien Chia, Guang-Bin Huang:
Texture Recognition on Metal Surface using Order-Less Scale Invariant GLAC. 629-635 - Dechun Wang, Ning Zhang, Xinzi Sun, Pengfei Zhang, Chenxi Zhang, Yu Cao, Benyuan Liu:
AFP-Net: Realtime Anchor-Free Polyp Detection in Colonoscopy. 636-643 - Kai Zhu, Meng Cao, Heng-Yang Lu:
MALP: A More Effective Meta-Paths Based Link Prediction Method in Partially Aligned Heterogeneous Social Networks. 644-651 - Weifeng Zhang, Yi Cao, Congfu Xu:
SARC: Split-and-Recombine Networks for Knowledge-Based Recommendation. 652-659 - Shang Li, Boyang Liu, Lin Ye, Hongli Zhang, Binxing Fang:
Element-Aware Legal Judgment Prediction for Criminal Cases with Confusing Charges. 660-667 - Quentin Baert, Anne-Cécile Caron, Maxime Morge, Jean-Christophe Routier, Kostas Stathis:
A Location-Aware Strategy for Agents Negotiating Load-Balancing. 668-675 - Antonio Lieto, Gian Luca Pozzato, Federico Perrone:
A Dynamic Knowledge Generation System for Cognitive Agents. 676-681 - Junfan Li, Shizhong Liao:
Online Kernel Selection via Grouped Adversarial Bandit Model. 682-689 - Sarthak Ghosh, C. R. Ramakrishnan:
Optimizing Value of Information Over an Infinite Time Horizon. 690-696 - Mohit Kumar, Stefano Teso, Patrick De Causmaecker, Luc De Raedt:
Automating Personnel Rostering by Learning Constraints Using Tensors. 697-704 - Sonu Jose, Siming Liu, Sushil J. Louis, Sergiu Dascalu:
Towards a Hybrid Approach for Evolving Bayesian Networks Using Genetic Algorithms. 705-712 - Mokhtar Essaid, Mathieu Brévilliers, Julien Lepagnot, Lhassane Idoumghar, Daniel Fodorean:
An Eigenvector-Enhanced Parallel Adaptive Differential Evolution for Electric Motor Design. 713-720 - Narayan Changder, Samir Aknine, Animesh Dutta:
An Effective Dynamic Programming Algorithm for Optimal Coalition Structure Generation. 721-727 - Yuanyuan Pan, Jun Gan, Xiangying Ran, Chongjun Wang:
Multi-granularity Position-Aware Convolutional Memory Network for Aspect-Based Sentiment Analysis. 728-735 - Yueyao Huang, Junjie Hu:
Residual Neural Network Based Classification of Macular Edema in OCT. 736-743 - Xiangbin Meng, Pengfei Wang, Haoran Yan, Liutong Xu, Jiafeng Guo, Yixing Fan:
Multi-graph Convolution Network with Jump Connection for Event Detection. 744-751 - Garrett Goodman, Cogan Shimizu, Iosif Papadakis Ktistakis:
Constrained State-Preserved Extreme Learning Machine. 752-759 - Kun Wan, Shu Yang, Boyuan Feng, Yufei Ding, Lingwei Xie:
Reconciling Feature-Reuse and Overfitting in DenseNet with Specialized Dropout. 760-767 - Dong Wang, Xiao Bai, Lei Zhou, Jun Zhou:
A One-step Pruning-recovery Framework for Acceleration of Convolutional Neural Networks. 768-775 - Constance Thierry, Jean-Christophe Dubois, Yolande Le Gall, Arnaud Martin:
Modeling Uncertainty and Inaccuracy on Data from Crowdsourcing Platforms: MONITOR. 776-783 - Xinyu Zhou, Yiwen Ling, Maosheng Zhong, Mingwen Wang:
Dynamic Multi-population Artificial Bee Colony Algorithm. 784-791 - Yucheng Shu, Zhenlong Liao, Dan Luo:
Robust Point Set Registration with Mixture Re-Weighting Based on Relative Geometric Structures. 792-799 - Tiantian He, Lu Bai, Yew-Soon Ong:
Manifold Regularized Stochastic Block Model. 800-807 - Guihong Wan, Crystal Maung, Haim Schweitzer:
Improving the Accuracy of Principal Component Analysis by the Maximum Entropy Method. 808-815 - Luoyi Zhang, Xiaowen Ma, Peng Shi, Sheng Bi, Chongjun Wang:
RegCNN: A Deep Multi-output Regression Method for Wastewater Treatment. 816-823 - Yinlong Bian, Jie Shen, Xin Xiong, Ying Li, Wei He, Peng Li:
Crowd Counting via Enhanced Feature Channel Convolutional Neural Network. 824-831 - Mingkun Wang, Dianxi Shi, Naiyang Guan, Tao Zhang, Liujing Wang, Ruoxiang Li:
Unsupervised Pedestrian Trajectory Prediction with Graph Neural Networks. 832-839 - Xiaoxue Hou, Jie An, Miaomiao Zhang, Bowen Du, Jing Liu:
High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training. 840-847 - Fangli Ren, Zhengwei Jiang, Jian Liu:
Integrating an Attention Mechanism and Deep Neural Network for Detection of DGA Domain Names. 848-855 - Xiangyuan Sun, Xiaoyong Li, Kaijun Ren, Junqiang Song:
Solving the Defect in Application of Compact Abating Probability to Convolutional Neural Network Based Open Set Recognition. 856-863 - Yishen Wang, Zongzhang Zhang:
Experience Selection in Multi-agent Deep Reinforcement Learning. 864-870 - Z. X. Zhou, Vincent W. L. Tam, King-Shan Lui, Edmund Y. Lam, Allan Hoi Kau Yuen, Xiao Hu, Nancy Law:
Applying Deep Learning and Wearable Devices for Educational Data Analytics. 871-878 - Henrique Lemos, Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb:
Graph Colouring Meets Deep Learning: Effective Graph Neural Network Models for Combinatorial Problems. 879-885 - Muhammad Jahanzeb Khan, Adeel Zafar, Valeriia Tumanian, Ding Yue, Guoqiang Li:
Object Detection Boosting using Object Attributes in Detect and Describe Framework. 886-893