Home      Discussions      About
Join us
Latest Conferences Trending
VISION
LANGUAGE
SOUND
ROBOTICS
OPTICS
GENOMICS
Sep 18, 2019
Image and Video Processing
Computer Vision

A Survey on Rain Removal from Video and Single Image

Rain streaks might severely degenerate the performance of video/image processing tasks. The investigations on rain removal from video or a single ima…
Sep 18, 2019
By mslaz
Neural and Evolutionary Computation
Programming Languages

Research Report on Automatic Synthesis of Local Search Neighborhood …

Constraint Programming (CP) and Local Search (LS) are different paradigms for dealing with combinatorial search and optimization problems. Their comp…
Sep 18, 2019
By 7D
Artificial Intelligence
Logic in Computer Science

An ASP-based Approach for Attractor Enumeration in Synchronous and …

Boolean networks are conventionally used to represent and simulate gene regulatory networks. In the analysis of the dynamic of a Boolean network, the…
Sep 18, 2019
Artificial Intelligence
Computation and Language

Natural Language Generation for Non-Expert Users

Motivated by the difficulty in presenting computational results, especially when the results are a collection of atoms in a logical language, to user…
Sep 18, 2019
By aguado
Logic in Computer Science
Artificial Intelligence
Programming Languages

A Rule-Based System for Explainable Donor-Patient Matching in Liver …

In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplant…
Sep 18, 2019
By mehrdad
Computer Vision

Towards Shape Biased Unsupervised Representation Learning for Domain …

It is known that, without awareness of the process, our brain appears to focus on the general shape of objects rather than superficial statistics of …
Sep 18, 2019
Artificial Intelligence
Programming Languages

Quantified Constraint Handling Rules

We shift the QCSP (Quantified Constraint Satisfaction Problems) framework to the QCHR (Quantified Constraint Handling Rules) framework by enabling dy…
Sep 18, 2019
By mslaz
Neural and Evolutionary Computation
Programming Languages

Generating Local Search Neighborhood with Synthesized Logic Programs

Local Search meta-heuristics have been proven a viable approach to solve difficult optimization problems. Their performance depends strongly on the s…
Sep 18, 2019
Artificial Intelligence

Mutex Graphs and Multicliques: Reducing Grounding Size for Planning

We present an approach to representing large sets of mutual exclusions, also known as mutexes or mutex constraints. These are the types of constraint…
Sep 18, 2019
By 7D
Artificial Intelligence

Information Extraction Tool Text2ALM: From Narratives to Action Langu…

In this work we design a narrative understanding tool Text2ALM. This tool uses an action language ALM to perform inferences on complex interactions o…
Sep 18, 2019
By saghosh
Artificial Intelligence

Value of Information in Probabilistic Logic Programs

In medical decision making, we have to choose among several expensive diagnostic tests such that the certainty about a patient's health is maximized …
Sep 18, 2019
Artificial Intelligence
Logic in Computer Science

Exploiting Partial Knowledge in Declarative Domain-Specific Heuristic…

Domain-specific heuristics are an important technique for solving combinatorial problems efficiently. We propose a novel semantics for declarative sp…
Sep 18, 2019
Computation and Language

Pre-trained Language Model for Biomedical Question Answering

The recent success of question answering systems is largely attributed to pre-trained language models. However, as language models are mostly pre-tra…
Sep 18, 2019
Computer Vision

IR-NAS: Neural Architecture Search for Image Restoration

Recently, neural architecture search (NAS) methods have attracted much attention and outperformed manually designed architectures on a few high-level…
Sep 18, 2019
By endywon
Computer Vision

Diversified Arbitrary Style Transfer via Deep Feature Perturbation

Image style transfer is an underdetermined problem, where a large number of solutions can explain the same constraint (i.e., the content and style). …
Sep 18, 2019
Computer Vision
Machine Learning
Image and Video Processing

CrackGAN: A Labor-Light Crack Detection Approach Using Industrial P…

Fully convolutional network is a powerful tool for per-pixel semantic segmentation/detection. However, it is problematic when coping with crack detec…
Sep 18, 2019
Robotics

Vision-based Multi-MAV Localization with Anonymous Relative Measureme…

We address the localization of robots in a multi-MAV system where external infrastructure like GPS or motion capture system may not be available. We …
Sep 18, 2019
Artificial Intelligence

This work was funded by the NSF under the grant IIS-1707371.

Encoding Selection for Solving Hamiltonian Cycle Problems with ASP

It is common for search and optimization problems to have alternative equivalent encodings in ASP. Typically none of them is uniformly better than ot…
Sep 18, 2019
Logic in Computer Science
Databases
Machine Learning

Today BigData applications are often developed and operated in silos, which only support a particular family of tasks – e.g. only descriptive analytics or only graph analytics or only some ML models and so on. This lack of a unifying model makes dev…

BigData Applications from Graph Analytics to Machine Learning by Ag…

In the past, the semantic issues raised by the non-monotonic nature of aggregates often prevented their use in the recursive statements of logic prog…
Sep 18, 2019
Artificial Intelligence
Performance

CPO proved to perform better in general on the classic benchmark and especially on the large-scale benchmark. ORT benefited more than CPO from the quad core configuration, which allowed ORT to find optimal solutions even in the large-scale benchmark…

Google vs IBM: A Constraint Solving Challenge on the Job-Shop Schedul…

The job-shop scheduling is one of the most studied optimization problems from the dawn of computer era to the present day. Its combinatorial nature m…
There aren't more projects

Every arXiv paper needs to be discussed

Request Comment

or Invite via email
You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description