Search

Search Results

• Mixed Discrete-Continuous Planning with Convex Optimization

  Enrique Fernandez-Gonzalez, Erez Karpas, Brian Williams

  2017-02-12

• Human-Like Spatial Reasoning Formalisms

  Przemyslaw Walega

  2017-02-12

• Tracking Idea Flows between Social Groups

  Yangxin Zhong, Shixia Liu, Xiting Wang, Jiannan Xiao, Yangqiu Song

  2016-02-21

• Recommending Groups to Users Using User-Group Engagement and Time-Dependent Matrix Factorization

  Xin Wang, Roger Donaldson, Christopher Nell, Peter Gorniak, Martin Ester, Jiajun Bu

  2016-02-21

• Mobility Sequence Extraction and Labeling Using Sparse Cell Phone Data

  Yingxiang Yang, Peter Widhalm, Shounak Athavale, Marta Gonzalez

  2016-03-05

• Planning with Numeric Timed Initial Fluents

  Chiara Piacentini, Maria Fox, Derek Long

  2015-03-04

• Consistent Knowledge Discovery from Evolving Ontologies

  Freddy Lecue, Jeff Pan

  2015-02-09

• Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness

  Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali

  2014-06-21

• RETRACTED: McOmet: Multimodal Fusion Transformer for Physical Audiovisual Commonsense Reasoning

  Daoming Zong, Shiliang Sun

  6621-6629

  2023-06-26

• Temporally Expressive Planning Based on Answer Set Programming with Constraints

  Forrest Bao, Yuanlin Zhang

  2413-2414

  2021-09-20

• Automata Cascades: Expressivity and Sample Complexity

  Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo

  9588-9595

  2023-06-26

• Dominance Testing via Model Checking

  Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

  357-362

  2010-07-03

• Towards Consumer Loan Fraud Detection: Graph Neural Networks with Role-Constrained Conditional Random Field

  Bingbing Xu, Huawei Shen, Bingjie Sun, Rong An, Qi Cao, Xueqi Cheng

  4537-4545

  2021-05-18

• DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

  Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening

  7647-7656

  2021-05-18

• Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata

  Alessandro Gianola, Marco Montali, Sarah Winkler

  10525-10534

  2024-03-24

• RSPNet: Relative Speed Perception for Unsupervised Video Representation Learning

  Peihao Chen, Deng Huang, Dongliang He, Xiang Long, Runhao Zeng, Shilei Wen, Mingkui Tan, Chuang Gan

  1045-1053

  2021-05-18

• Named Entity Recognition in Travel-Related Search Queries

  Brooke Cowan, Sven Zethelius, Brittany Luk, Teodora Baras, Prachi Ukarde, Daodao Zhang

  3935-3941

  2015-01-25

• Supervised Deep Hashing for Hierarchical Labeled Data

  Dan Wang, Heyan Huang, Chi Lu, Bo-Si Feng, Guihua Wen, Liqiang Nie, Xian-Ling Mao

  2018-04-27

• Bernoulli Embeddings for Graphs

  Vinith Misra, Sumit Bhatia

  2018-04-29

• Fine-Grained Argument Unit Recognition and Classification

  Dietrich Trautmann, Johannes Daxenberger, Christian Stab, Hinrich Schütze, Iryna Gurevych

  9048-9056

  2020-04-03

• Online Cross-Modal Hashing with Expanding Label Space

  Wentao Fan, Chao Zhang, Chunlin Chen, Huaxiong Li

  21002-21010

  2026-03-14

• DrugHash: Hashing Based Contrastive Learning for Virtual Screening

  Jin Han, Yun Hong, Wu-Jun Li

  17041-17049

  2025-04-11

• Focus on Local: Finding Reliable Discriminative Regions for Visual Place Recognition

  Changwei Wang, Shunpeng Chen, Yukun Song, Rongtao Xu, Zherui Zhang, Jiguang Zhang, Haoran Yang, Yu Zhang, Kexue Fu, Shide Du, Zhiwei Xu, Longxiang Gao, Li Guo, Shibiao Xu

  7536-7544

  2025-04-11

• Multi-Constellation-Inspired Single-Shot Global LiDAR Localization

  Tongzhou Zhang, Gang Wang, Yu Chen, Hai Zhang, Jue Hu

  10404-10412

  2024-03-24

• Rethinking the Optimization of Average Precision: Only Penalizing Negative Instances before Positive Ones Is Enough

  Zhuo Li, Weiqing Min, Jiajun Song, Yaohui Zhu, Liping Kang, Xiaoming Wei, Xiaolin Wei, Shuqiang Jiang

  1518-1526

  2022-06-28