research
∙
06/15/2021
Vision-Language Navigation with Random Environmental Mixup
Vision-language Navigation (VLN) tasks require an agent to navigate step...
share
research
∙
05/14/2021
City-Scale Multi-Camera Vehicle Tracking Guided by Crossroad Zones
Multi-Target Multi-Camera Tracking has a wide range of applications and ...
research
∙
10/01/2020
Constraint Monotonicity, Epistemic Splitting and Foundedness Could in General Be Too Strong in Answer Set Programming
Recently, the notions of subjective constraint monotonicity, epistemic s...
research
∙
03/04/2020
Unity Style Transfer for Person Re-Identification
Style variation has been a major challenge for person re-identification,...
research
∙
11/15/2017
Dual-Path Convolutional Image-Text Embedding with Instance Loss
Matching images and sentences demands a fine understanding of both modal...
research
∙
11/15/2017
Dual-Path Convolutional Image-Text Embedding
This paper considers the task of matching images and sentences. The chal...
research
∙
11/07/2011
Embedding Description Logic Programs into Default Logic
Description logic programs (dl-programs) under the answer set semantics ...
research
∙
05/13/2009
Termination Prediction for General Logic Programs
We present a heuristic framework for attacking the undecidable terminati...
research
∙
04/30/2009
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
This paper studies the stable model semantics of logic programs with (ab...
research
∙
06/21/2000
Verifying Termination of General Logic Programs with Concrete Queries
We introduce a method of verifying termination of logic programs with re...
research
∙
03/09/2000
Linear Tabulated Resolution Based on Prolog Control Strategy
Infinite loops and redundant computations are long recognized open probl...
research
∙
02/27/2000