![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
29th ICTAI 2017: Boston, MA, USA
- 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-3876-7
- Alper Demir
, Erkin Çilden, Faruk Polat:
A Concept Filtering Approach for Diverse Density to Discover Subgoals in Reinforcement Learning. 1-5 - Hong Yu, Yahong Lian
, Linlin Zong
, Linlin Tian:
Self-Paced Learning Based Multi-view Spectral Clustering. 6-10 - Paul Wiechmann, Karina Lora
, Paul Branscum, Jicheng Fu:
Identifying Discriminative Attributes to Gain Insights Regarding Child Obesity in Hispanic Preschoolers Using Machine Learning Techniques. 11-15 - Sarthak Ghosh, C. R. Ramakrishnan:
Optimal Value of Information in Dynamic Bayesian Networks. 16-23 - Guang Chen
, Peng Sun, Yi Shang:
Automatic Fish Classification System Using Deep Learning. 24-29 - Jinjing Zhang, Fei Hu, Li Li, Xiaofei Xu, Zhanbo Yang:
AEDR: An Adaptive Mechanism to Achieve Online Learning Rate Dynamically. 30-36 - Yuxin Zhang, Yiqiang Chen, Lisha Hu, Xinlong Jiang, Jianfei Shen:
An Effective Deep Learning Approach for Unobtrusive Sleep Stage Detection Using Microphone Sensor. 37-44 - Anh Viet Phan
, Minh Le Nguyen, Lam Thu Bui:
Convolutional Neural Networks over Control Flow Graphs for Software Defect Prediction. 45-52 - Jhony-Heriberto Giraldo-Zuluaga
, Augusto Salazar, Alexander Gómez, Angélica Diaz-Pulido:
Recognition of Mammal Genera on Camera-Trap Images Using Multi-layer Robust Principal Component Analysis and Mixture Neural Networks. 53-60 - Jie Ding, JunMin Wu, Huan Wu:
Asymmetric Ternary Networks. 61-65 - Chao Fang
, Yi Shang, Dong Xu:
A New Deep Neighbor Residual Network for Protein Secondary Structure Prediction. 66-71 - Ludan Tan, Changjian Wang, Qin Lv, Yuxing Peng, Minghao Hu, Xiang Zhao, Zhen Huang:
SDF-NN: A Deep Neural Network with Semantic Dropping and Fusion for Natural Language Inference. 72-79 - Jiahao Li, Hejun Wu, Xinrui Zhou:
PeMapNet: Action Recognition from Depth Videos Using Pyramid Energy Maps on Neural Networks. 80-87 - Liangjie Wei, Youfang Lin
, Jing Wang, Yan Ma
:
Time-Frequency Convolutional Neural Network for Automatic Sleep Stage Classification Based on Single-Channel EEG. 88-95 - T. K. Satish Kumar, Hong Xu, Zheng Tang, Anoop Kumar, Craig Milo Rogers, Craig A. Knoblock:
A Distributed Logical Filter for Connected Row Convex Constraints. 96-101 - María Andreína Francisco Rodríguez
, Pierre Flener, Justin Pearson:
Automatic Generation of Descriptions of Time-Series Constraints. 102-109 - Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta:
A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks. 110-117 - Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre:
Efficient Reification of Table Constraints. 118-122 - Thierry Petit:
On Constraint Linear Decompositions Using Mathematical Variables. 123-130 - Wenting Zhao, Mark H. Liffiton, Peter Jeavons, Dan Roberts:
Finding Graph Decompositions via SAT. 131-138 - Yi Chu
, Chuan Luo, Wenxuan Huang, Haihang You, Dongrui Fan
:
Hard Neighboring Variables Based Configuration Checking in Stochastic Local Search for Weighted Partial Maximum Satisfiability. 139-146 - Hüseyin Aydin
, Erkin Çilden, Faruk Polat:
Using Transitional Bottlenecks to Improve Learning in Nearest Sequence Memory Algorithm. 147-152 - Ke Xu, Hiromasa Arai, Crystal Maung, Haim Schweitzer:
Two-Stage Feature Selection with Unsupervised Second Stage. 153-159 - Di Jin, Meng Ge, Zhixuan Li, Wenhuan Lu, Dongxiao He, Françoise Fogelman-Soulié:
Using Deep Learning for Community Discovery in Social Networks. 160-167 - Yue Peng, Gang Chen, Ming Xu, Chongjun Wang, Junyuan Xie:
Multi-label Learning by Exploiting Label Correlations with LDA. 168-174 - Luis Eduardo Boiko Ferreira, Jean Paul Barddal
, Heitor Murilo Gomes
, Fabrício Enembreck
:
Improving Credit Risk Prediction in Online Peer-to-Peer (P2P) Lending Using Imbalanced Learning Techniques. 175-181 - Aomar Osmani
, Massinissa Hamidi, Abdelghani Chibani:
Machine Learning Approach for Infant Cry Interpretation. 182-186 - Karl R. Weiss, Taghi M. Khoshgoftaar:
Evaluation of Transfer Learning Algorithms Using Different Base Learners. 187-196 - Dumitru-Clementin Cercel, Cristian Onose, Stefan Trausan-Matu
, Florin Pop:
Exploiting Opinion Influence in Question Answering Systems. 197-201 - Bing Shi, Hangxing Zhu, Jinwen Wang, Bin Sun:
Optimize Pricing Policy in Evolutionary Market with Multiple Proactive Competing Cloud Providers. 202-209 - Jose Thiago H. de A. Cabral, Ricardo de A. Araújo, Jarley Palmeira Nóbrega, Adriano L. I. Oliveira:
Heterogeneous Ensemble Dynamic Selection for Software Development Effort Estimation. 210-217 - Xue Li, Richong Zhang, Jianxin Li:
User Interest Propagation and Its Application in Recommender System. 218-222 - Sidahmed Benabderrahmane
, Nedra Mellouli, Myriam Lamolle, Nada Mimouni:
When Deep Neural Networks Meet Job Offers Recommendation. 223-230 - Tom Rolandus Hagedoorn, Gerasimos Spanakis
:
Massive Open Online Courses Temporal Profiling for Dropout Prediction. 231-238 - Gustavo H. F. M. Oliveira, Rodolfo Carneiro Cavalcante, George G. Cabral, Leandro L. Minku
, Adriano L. I. Oliveira:
Time Series Forecasting in the Presence of Concept Drift: A PSO-based Approach. 239-246 - Nikolaos G. Bourbakis:
Converting Diagrams, Formulas, Tables, Graphics and Pictures into SPN and NL-text Sentences for Automatic Deep Understanding of Technical Documents. 247-254 - Ying Zhong, Zhuo Tang, Xiaofei Ding, Li Zhu, Yuquan Le, Kenli Li, Keqin Li:
An Improved LDA Multi-document Summarization Model Based on TensorFlow. 255-259 - Bastien Latard, Jonathan Weber
, Germain Forestier
, Michel Hassenforder:
Using Semantic Relations between Keywords to Categorize Articles from Scientific Literature. 260-264 - Weijing Huang, Wei Chen, Tengjiao Wang, Shibo Tao:
Efficient Topic Modeling on Phrases via Sparsity. 265-269 - Hilário Oliveira, Rafael Dueire Lins, Rinaldo Lima, Fred Freitas:
A Regression-Based Approach Using Integer Linear Programming for Single-Document Summarization. 270-277 - Jipeng Qiang, Yun Li, Yunhao Yuan, Tong Wang:
Identifying the Number of Clusters in Short Text Using Bayesian Nonparametric Model. 278-284 - Huiying Li, Jing Shi:
Personalized EntityRank-Based Entity Linking with DBpedia. 285-292 - Brian C. Coe:
Multi-layer Perceptrons for Subvocal Recognition. 293-300 - Lu Chen, Jie Zhou, Liang He, Qin Chen, Jiacheng Zhang, Yan Yang
:
Modeling User-Item Profiles with Neural Networks for Rating Prediction. 301-308 - Junlin Wang, Zhaoyu Li, Yi Shang:
New Deep Neural Networks for Protein Model Evaluation. 309-313 - Yiqi Chen, Binheng Song, Yufeng Ren:
Perpendicular Bisector Constraint on Artificial Neural Network. 314-321 - Hu Liu, Binheng Song:
Stock Trends Forecasting by Multi-layer Stochastic ANN Bagging. 322-329 - Joseph D. Prusa, Taghi M. Khoshgoftaar:
Training Convolutional Networks on Truncated Text. 330-335 - Jingjing Zhang, Shuangjiu Xiao, Huichao Zhang, Lan Jiang:
Isolated Word Recognition with Audio Derivation and CNN. 336-341 - Victor Parque
, Tomoyuki Miyashita
:
On the Numerical Representation of Labeled Graphs with Self-Loops. 342-349 - Flavia Roberta Barbosa de Araujo, Kátia Silva Guimaraes:
A Novel Approach Based on Relevance Learning Vector Quantization Applied to the Inference of High-Order SNPs Interactions. 350-357 - Victor Parque
, Tomoyuki Miyashita
:
Bundling n-Stars in Polygonal Maps. 358-365 - Philippe Jégou, Helene Kanso, Cyril Terrioux:
Adaptive and Opportunistic Exploitation of Tree-Decompositions for Weighted CSPs. 366-373 - Stefano Bistarelli
, Fabio Rossi, Francesco Santini
:
A ConArg-Based Library for Abstract Argumentation. 374-381 - Anthony Hunter
, Sylwia Polberg:
Empirical Methods for Modelling Persuadees in Dialogical Argumentation. 382-389 - Josef Moudrík, Tomás Kren, Roman Neruda
:
Algorithm Discovery with Monte-Carlo Search: Controlling the Size. 390-395 - Yiu-Kai Ng, Iris Seaman:
Personalized Table-Top Game Recommendations. 396-403 - Kailiang Hu, Sam Ganzfried:
Midgame Solving: A New Weapon for Efficient Large-Scale Equilibrium Approximation. 404-408 - Anna Esposito
, Antonietta Maria Esposito
, Marilena Esposito, Filomena Scibelli, Gennaro Cordasco
, Carl Vogel
, Nikolaos G. Bourbakis:
How Traders' Appearances and Moral Descriptions Influence Receivers' Choices in the Ultimatum Game. 409-416 - Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres:
Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms. 417-424 - Yoram Bachrach, Andrej Zukov Gregoric, Sam Coope, Ed Tovell, Bogdan Maksak, José Rodríguez, Conan McMurtie, Mahyar Bordbar:
An Attention Mechanism for Neural Answer Selection Using a Combined Global and Local View. 425-432 - Azzeddine Benabbou, Domitile Lourdeaux, Dominique Lenne:
Generation of Obligation and Prohibition Dilemmas Using Knowledge Models. 433-440 - Degang Sun, Kun Yang, Zhixin Shi, Chao Chen:
A New Mimicking Attack by LSGAN. 441-447 - Jianping Gou
, Wenmo Qiu, Qirong Mao, Yongzhao Zhan, Xiangjun Shen, Yunbo Rao:
A Multi-local Means Based Nearest Neighbor Classifier. 448-452 - Stuart J. Blair, Yaxin Bi, Maurice D. Mulvenna
:
Unsupervised Sentiment Classification: A Hybrid Sentiment-Topic Model Approach. 453-460 - Noppayut Sriwatanasakdi, Masayuki Numao, Ken-ichi Fukui:
Concept Drift Detection for Graph-Structured Classifiers under Scarcity of True Labels. 461-468 - Mofei Song
, Zhengxing Sun:
Active Classification of Large 3D Shape Collection. 469-476 - Justin Sahs, Latifur Khan
:
Online Classification of Nonstationary Streaming Data with Dynamic Pitman-Yor Diffusion Trees. 477-484 - Muhammad Hassan Arif, Jianxin Li, Muhammad Iqbal:
Solving Social Media Text Classification Problems Using Code Fragment-Based XCSR. 485-492 - Yan Zhang, Weiwei Yang, Bangtian Liu, Ge-Yang Ke, Yan Pan, Jian Yin:
Multi-view Spectral Clustering via Tensor-SVD Decomposition. 493-497 - Alex Meincheim, Cleiton dos Santos Garcia
, Júlio César Nievola, Edson Emílio Scalabrin:
Combining Process Mining with Trace Clustering: Manufacturing Shop Floor Process - An Applied Case. 498-505 - Baolong Liu, Xingzheng Lyu, Chao Li, Sanyuan Zhang, Zhenjie Hong, Xiuzi Ye:
Using Transferred Deep Model in Combination with Prior Features to Localize Multi-style Ship License Numbers in Nature Scenes. 506-510 - Feng Liu, Zian Wang, Qi Tian:
An Observation Dimension Weight-Based U-Tree Algorithm. 511-518 - Gino Brunner, Yuyi Wang, Roger Wattenhofer, Jonas Wiesendanger:
JamBot: Music Theory Aware Chord Based Generation of Polyphonic Music with LSTMs. 519-526 - Son P. Nguyen, Zhaoyu Li, Yi Shang:
Deep Networks and Continuous Distributed Representation of Protein Sequences for Protein Quality Assessment. 527-534 - Lucas Martiniano
, Carlos N. Silla
:
BIRITS: A Music Information Retrieval System Using Query-by-Playing Techniques. 535-542 - Abdulrahman Alatawi, Weifeng Xu, Dianxiang Xu:
Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code. 543-550 - Meriem Touat, Fatima Benbouzid-Si Tayeb, Sabrina Bouzidi-Hassini, Belaid Benhamou:
A Fuzzy Genetic Algorithm for Single-Machine Scheduling and Flexible Maintenance Planning Integration under Human Resource Constraints. 551-558 - Peng Liu, Chang Liu, Wei Zhao, Xianglong Tang:
Extended Kernelized Correlation Tracking with Target Enhancement and Sample Selection. 559-565 - Limengzi Yuan, Wenjun Wang, Pengfei Jiao, Di Jin, Wenxin Wei:
Tracking and Detecting Dynamic Communities with Node Popularity Preservation. 566-573 - Ruijuan Chang, Rong Ding, Mengxiang Lin:
Optical Flow Based Obstacle Avoidance for Multi-rotor Aerial Vehicles. 574-578 - Rémi Lacaze-Labadie, Domitile Lourdeaux, Mohamed Sallak
:
Heuristic Approach to Guarantee Safe Solutions in Probabilistic Planning. 579-585 - Fang Li, Marcus Eng Hock Ong, Yan Daniel Zhao, Gang Qian, Jicheng Fu:
A Feasible and Terrain-Insensitive Approach for Analyzing Power Wheelchair Users' Mobility. 586-590 - Guangquan Cheng, Yang Ma, Jincai Huang, Kuihua Huang:
An F Test Based Method of Estimating the Number of Groups in an Organization. 591-595 - Damian M. Lyons, Luca Del Signore, Benjamin Barriage:
Effect of Field of View in Stereovision-Based Visual Homing. 596-601 - Lipu Zhou:
Visual Relocalization Using Long-Short Term Memory Fully Convolutional Network. 602-609 - Xiaodong Duan
, Nicolai Bæk Thomsen, Zheng-Hua Tan, Børge Lindberg, Søren Holdt Jensen:
Weighted Score Based Fast Converging CO-training with Application to Audio-Visual Person Identification. 610-617 - Mahlagha Sedghi, Michael Georgiopoulos, Georgios C. Anagnostopoulos:
Sparse Inductive Embedding: An Explorative Data Visualization Technique. 618-622 - Chuang Xing, Chengjiang Long, Hao Guo
, Yongwei Nie, Yuan Zhang, Dehai Zhu, Qin Ma, Mengxiao Tian:
How Does a Camera Look at One 3D CAD Object? 623-627 - Fabrício Henrique Rodrigues
, José Antônio Tesser Poloni, Mara Abel
, Cecilia Dias Flores
, Liane Nanci Rotta:
An Ontological Model for Urinary Profiles. 628-635 - Ricardo Luna da Silva, Sérgio F. Chevtchenko
, Allan Alves de Moura, Filipe Rolim Cordeiro
, Valmir Macario:
Detecting People from Beach Images. 636-643 - Gonzalo Nápoles
, Maikel León
, Isel Grau
, Koen Vanhoof
:
Fuzzy Cognitive Maps Tool for Scenario Analysis and Pattern Classification. 644-651 - Andrej Zukov Gregoric, Yoram Bachrach, Pasha Minkovsky, Sam Coope, Bogdan Maksak:
Neural Named Entity Recognition Using a Self-Attention Mechanism. 652-656 - Yifei Fan, Yichang Tsai:
Detection and Recognition of U.S. Warning Signs on Curves. 657-662 - Rolla Almodfer, Shengwu Xiong
, Mohammed Mudhsh, Pengfei Duan:
Enhancing AlexNet for Arabic Handwritten words Recognition Using Incremental Dropout. 663-669 - Marcos Tenorio, Evandro Costa, Tiago F. Vieira
:
Erasure Detection and Recognition on Children's Manuscript Essays. 670-676 - Andreas Triantafyllou, George A. Tsihrintzis:
Group Affect Recognition: Visual - Facial Data Collection. 677-681 - Lizhang Hu, Jinhua Xu:
Body Joints Selection Convolutional Neural Networks for Skeletal Action Recognition. 682-686 - Estelle Chauveau, Philippe Jégou, Nicolas Prcovic:
Weather Routing Optimization: A New Shortest Path Algorithm. 687-694 - Shaobo Cui, Chao-Bing Song, Yong Jiang:
Improved Optimization Methods for Regularized Optimal Transport. 695-700 - Rongjie Yan, Yupeng Zhou, Yige Yan, Minghao Yin
, Min Yu, Feifei Ma, Kai Huang:
A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs. 701-708 - Houda Abadlia, Nadia Smairi, Khaled Ghédira:
Particle Swarm Optimization Based on Dynamic Island Model. 709-716 - Alexis Gauthier, Jonathan Gaudreault
, Claude-Guy Quimper
:
Dealing with User's Preferences in Mixed-Initiative Systems for Linear Optimization. 717-723 - Alfredo Cuzzocrea, Francesco Folino, Massimo Guarascio
, Luigi Pontieri
:
Deviance-Aware Discovery of High Quality Process Models. 724-731 - Maxime Morge, Antoine Nongaillard
:
Distributed Algorithm for Egalitarian Matching between Individuals and Activities with Additively Separable Preferences. 739-746 - Christos Troussas, Akrivi Krouska, Maria Virvou
:
Automatic Predictions Using LDA for Learning through Social Networking Services. 747-751 - Danuta Sorina Chisca, Mohamed Siala
, Gilles Simonin, Barry O'Sullivan:
New Models for Two Variants of Popular Matching. 752-759 - Malak Abdullah
, Mirsad Hadzikadic:
Sentiment Analysis of Twitter Data: Emotions Revealed Regarding Donald Trump during the 2015-16 Primary Debates. 760-764 - Pengwei Hu, Tiantian He
, Keith C. C. Chan, Henry Leung:
Deep Fusion of Multiple Networks for Learning Latent Social Communities. 765-771 - Arpita Roy, Anamika Paul, Hamed Pirsiavash, Shimei Pan:
Automated Detection of Substance Use-Related Social Media Posts Based on Image and Text Analysis. 772-779 - Abeer Zaroor, Mohammed Maree
, Muath Sabha
:
JRC: A Job Post and Resume Classification System for Online Recruitment. 780-787 - Alan Menk, Laura Sebastia
, Rebeca Ferreira:
CURUMIM: A Serendipitous Recommender System for Tourism Based on Human Curiosity. 788-795 - Jose Luis Jorro-Aragoneses
, Maria Belén Díaz-Agudo
, Juan Antonio Recio-García:
Madrid Live: A Context-Aware Recomendar System of Leisure Plans. 796-801 - Litian Yin, Dong Wang, Xin Xin, Yue Ding:
SoGeM: Social Based Generative Model for Top-N Recommendation. 802-806 - Daoyi Li, Minlie Huang, Yongfeng Zhang, Xiaoyan Zhu:
Give me Something Unknown: Incorporate Exploration Preference in Cognition into Recommender System. 807-814 - Jose Luis Jorro-Aragoneses
, Gineth Magaly Cerón-Rios, Maria Belén Díaz-Agudo
, Juan A. Recio-García, Diego Mauricio Lopez Gutierrez:
RecOnto: An Ontology to Model Recommender Systems and its Components. 815-821 - Efthimios Alepis, Aristea Kontogianni
, Constantinos Patsakis:
Mapping the Wireless Coverage Grid for Carrier and User Recommendations through Crowdsourcing. 822-829 - Daniel Bustos Coral, Maristela Oliveira Santos, Claudio Fabiano Motta Toledo:
Clustering-Based Crossover in an Evolutionary Algorithm for the Vehicle Routing Problem with Time Windows. 830-837 - Éric Grégoire, Yacine Izza, Jean-Marie Lagniez:
On Computing One Max_Subset Inclusion Consensus. 838-845 - Hippolyte Léger, Dominique Bouthinon, Mustapha Lebbah, Hanene Azzag:
An Instance Based Model for Scalable Theta -Subsumption. 846-852 - Philippe Besnard, Victor David
, Sylvie Doutre
, Dominique Longin:
Subsumption and Incompatibility between Principles in Ranking-Based Argumentation. 853-859 - Noureddine Aribi
, Mehdi Maamar, Nadjib Lazaar
, Yahia Lebbah, Samir Loudni:
Multiple Fault Localization Using Constraint Programming and Pattern Mining. 860-867 - Aolong Zha
, Naoki Uemura, Miyuki Koshimura, Hiroshi Fujita:
Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints. 868-875 - Guillaume Baud-Berthier, Laurent Simon:
On Selecting Constraints for Replication in Model Checking. 876-883 - Quratul-ain Mahesar, Vania Dimitrova, Derek R. Magee, Anthony G. Cohn:
Uncertainty Management for Rule-Based Decision Support Systems. 884-891 - Cheng Wu, Yiming Wang, Zhijie Yin:
Distributed Sequential Decision in Rail Transit Cognitive Radio. 892-898 - Wenbin Qian, Wenhao Shu, Jun Liu, Yinglong Wang:
Feature Selection based on Discernibility Function in Incomplete Data with Fuzzy Decision. 899-904 - Dmitry Yu. Ignatov, Andrey D. Ignatov:
Decision Stream: Cultivating Deep Decision Trees. 905-912 - Ndeye Arame Diago, Samir Aknine, Sarvapali D. Ramchurn
, Onn Shehory, Mbaye Sene:
Distributed Negotiation for Collective Decision-Making. 913-920 - Joel Luis Carbonera
, Mara Abel
:
Efficient Prototype Selection Supported by Subspace Partitions. 921-928 - Zekun Ye, Kai Huang, Shuigeng Zhou, Jihong Guan:
Gaussian Weighting Reversion Strategy for Accurate On-Line Portfolio Selection. 929-936 - Jesimar da Silva Arantes, Márcio da Silva Arantes, Andre Badawi Missaglia, Eduardo do Valle Simões, Claudio Fabiano Motta Toledo:
Evaluating Hardware Platforms and Path Re-planning Strategies for the UAV Emergency Landing Problem. 937-944 - Huseyin Can Baykara, Erdem Biyik
, Gamze Gül, Deniz Onural, Ahmet Safa Ozturk
:
Real-Time Detection, Tracking and Classification of Multiple Moving Objects in UAV Videos. 945-950 - Mathieu Lelerre, Abdel-Illah Mouaddib, Laurent Jeanpierre:
Robust Inverse Planning Approaches for Policy Estimation of Semi-autonomous Agents. 951-958 - Roman Barták
, Neng-Fa Zhou, Roni Stern
, Eli Boyarski, Pavel Surynek
:
Modeling and Solving the Multi-agent Pathfinding Problem in Picat. 959-966 - Andrea Figueroa, Elizabeth Montero
, María Cristina Riff:
An Effective Simulated Annealing for Off-Line Robot Motion Planning. 967-971 - Lukás Chrpa, Jakub Gemrot, Martin Pilát
:
Towards a Safer Planning and Execution Concept. 972-976 - Jonathan Cohen, Jilles Steeve Dibangoye, Abdel-Illah Mouaddib:
Open Decentralized POMDPs. 977-984 - Biswarup Bhattacharya, Abhishek Sinha
:
Intelligent Fault Analysis in Electrical Power Grids. 985-990 - Fatima Abdallah, Shadi Basurra, Mohamed Medhat Gaber
:
A Hybrid Agent-Based and Probabilistic Model for Fine-Grained Behavioural Energy Waste Simulation. 991-995 - Qiaoyun Yin, Ke Niu, Ning Li:
Using CV-CRITIC to Determine Weights for Smart City Evaluation. 996-1000 - Larbi Benmezal, Belaid Benhamou, Dalila Boughaci
:
Some Neighbourhood Approaches for the Antenna Positioning Problem. 1001-1007 - Priya Persaud, Aparna S. Varde, Stefan A. Robila
:
Enhancing Autonomous Vehicles with Commonsense: Smart Mobility in Smart Cities. 1008-1012 - Roua Elchamaa, Maxime Guériau, Baudouin Dafflon, Rima Kilany Chamoun
, Yacine Ouzrout
:
A Local Leader Election Protocol Applied to Decentralized Traffic Regulation. 1013-1020 - Miltiadis Alamaniotis, Lefteri H. Tsoukalas:
Fuzzy Multi-kernel Approach in Intelligent Control of Energy Consumption in Smart Cities. 1021-1028 - Markus Iser, Felix Kutzner, Carsten Sinz:
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. 1029-1036 - Ruiwei Wang, Wei Xia, Roland H. C. Yap:
Correlation Heuristics for Constraint Programming. 1037-1041 - Swair Shah, Baokun He, Crystal Maung, Haim Schweitzer:
Computing Robust Principal Components by A* Search. 1042-1049 - Alessandro Previti, Alexey Ignatiev
, Matti Järvisalo, João Marques-Silva:
On Computing Generalized Backbones. 1050-1056 - Salem Benferhat, Amélie Levray, Karim Tabia:
Approximating MAP Inference in Credal Networks Using Probability-Possibility Transformations. 1057-1064 - Hong Huang, Laura Climent
, Barry O'Sullivan:
Acquiring Local Preferences of Weighted Partial MaxSAT. 1065-1072 - Jean-Guillaume Fages, Charles Prud'homme
:
Making the First Solution Good! 1073-1077 - Zhaoyu Li, Son P. Nguyen, Dong Xu, Yi Shang:
Protein Loop Modeling Using Deep Generative Adversarial Network. 1085-1091 - Wen Zhou, Yiwen Liang, Hongbin Dong, Chengyu Tan, Zhenhua Xiao, Weiwei Liu:
A Numerical Differentiation Based Dendritic Cell Model. 1092-1098 - Yi Fan, Zongjie Ma, Kaile Su
, Chengqian Li, Cong Rao, Ren-Hau Liu, Longin Jan Latecki
:
Efficient Local Search for Maximum Weight Cliques in Large Graphs. 1099-1104 - Atena M. Tabakhi, Reza Tourani, Francisco Natividad, William Yeoh
, Satyajayant Misra:
Pseudo-Tree Construction Heuristics for DCOPs and Evaluations on the ns-2 Network Simulator. 1105-1112 - Murillo G. Carneiro
, Thiago Henrique Cupertino, Ran Cheng
, Yaochu Jin
, Liang Zhao
:
Nature-Inspired Graph Optimization for Dimensionality Reduction. 1113-1119 - Henry Soldano, Guillaume Santini, Dominique Bouthinon, Emmanuel Lazega:
Hub-Authority Cores and Attributed Directed Network Mining. 1120-1127 - Xiaolong Liu, Zhidong Deng, Guorun Yang:
Drivable Road Detection Based on Dilated FPN with Feature Aggregation. 1128-1134 - Yang Ma
, Xingxing Liang
, Jincai Huang, Guangquan Cheng:
Intercity Transportation Construction Based on Link Prediction. 1135-1138 - Giuseppe Lombardi, Eric Medvet, Alberto Bartoli:
A Language for UAV Traffic Rules in an Urban Environment and Decentralized Scenario. 1139-1143 - Matthis Gaciarz, Samir Aknine, Huan Vu
:
A Constraint-Based Coordination Model to Advantage Buses in Urban Traffic. 1144-1152 - Christos Troussas, Akrivi Krouska, Maria Virvou
:
Integrating an Adjusted Conversational Agent into a Mobile-Assisted Language Learning Application. 1153-1157 - Omar Dib, Alexandre Caminada, Marie-Ange Manier, Laurent Moalic
:
Computing Multicriteria Shortest Paths in Stochastic Multimodal Networks Using a Memetic Algorithm. 1158-1165 - Elizabeth Montero
, Nicolás Medina, Jorge Ardila-Rey
:
An Evaluation of Meta-Heuristic Approaches for Improve the Separation of Multiple Partial Discharge Sources and Electrical Noise. 1166-1173 - Francesco Santini
:
Properties and Implementation of a Two-Step Ranking-Based Semantics: On Revising NaE and SC. 1174-1181 - Di Jin, Xiaobao Wang, Dongxiao He, Wenhuan Lu, Françoise Fogelman-Soulié, Jianwu Dang:
Identification of Generalized Communities with Semantics in Networks with Content. 1182-1189 - Azer Nouira
, Lilia Cheniti-Belcadhi, Rafik Braham:
A Semantic Web Based Architecture for Assessment Analytics. 1190-1197 - Ahmed Dridi, Salma Sassi
, Sami Faïz:
A Smart IoT Platform for Personalized Healthcare Monitoring Using Semantic Technologies. 1198-1203 - Yang Yan, Tingwen Liu, Jinqiao Shi, Qiuyan Wang, Li Guo:
Flexible Expert Finding on the Web via Semantic Hypergraph Learning and Affinity Propagation Model. 1204-1209 - Zhiyong Zhao, Ruonan Rao, Shaoxiong Tu, Jun Shi:
Time-Weighted LSTM Model with Redefined Labeling for Stock Trend Prediction. 1210-1217 - Md. Samiullah, Thao Xuan Hoang, David W. Albrecht
, Ann E. Nicholson
, Kevin B. Korb:
iOOBN: A Bayesian Network Modelling Tool Using Object Oriented Bayesian Networks with Inheritance. 1218-1225 - Thomas Schmitt, François Gonard, Phillipe Caillou, Michèle Sebag:
Language Modelling for Collaborative Filtering: Application to Job Applicant Matching. 1226-1233 - Sayda Elmi
, Allel Hadjali, Mohamed Anis Bach Tobji
, Boutheina Ben Yaghlane:
Skyline Computation and Maintenance over Imperfect Databases: A Marginal-Points-Based Approach. 1234-1242 - Lidia Bononi Paiva Tomaz, Rita Maria da Silva Julia, Matheus Prado Prandini Faria:
APHID-Draughts: Comparing the Synchronous and Asynchronous Parallelism Approaches for the Alpha-Beta Algorithm Applied to Checkers. 1243-1250 - Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri
, Vincent Hilaire:
A Normative Model for Holonic Multi-agent Systems. 1251-1258 - Rong Yan, Guanglai Gao:
Pseudo-Based Relevance Analysis for Information Retrieval. 1259-1266 - Tariq Saad Al Murayziq, Stelios Kapetanakis, Miltos Petridis:
Intelligent Signal Processing for Dust Storm Prediction Using Ensemble Case-Based Reasoning. 1267-1271 - Tianyang Wang, Mingxuan Sun, Kaoning Hu:
Dilated Deep Residual Network for Image Denoising. 1272-1279 - Véronique Ventos, Yves Costel, Olivier Teytaud, Solene Thepaut Ventos:
Boosting a Bridge Artificial Intelligence. 1280-1287 - Shutao Zhang
, Zhizheng Zhang:
Epistemic Specifications with Probabilities. 1288-1295 - Lu-Yao Xie, Lu-Xia Wang, Heng-Yang Lu, Ning Li, Chong-Jun Wang:
Topics may Evolve: Using Complaint Data for Analysis. 1296-1303 - Manuel Fogué, Julio A. Sanguesa, Francisco J. Martinez, Johann Márquez-Barja
:
When Vehicular Networks meet Artificial Intelligence. 1304-1311 - Mehdi Cherti, Balázs Kégl, Akin Kazakçi:
Out-of-Class Novelty Generation : An Experimental Foundation. 1312-1319 - Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu
, Jun Hong
:
Resource-Based Dynamic Rewards for Factored MDPs. 1320-1327 - Simon Pageaud, Véronique Deslandres, Vassilissa Lehoux
, Salima Hassas:
Co-construction of Adaptive Public Policies Using SmartGov. 1328-1335
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.