Search
Search Results
-
BertHANK: hierarchical attention networks with enhanced knowledge and pre-trained model for answer selection
In recent years, Community Question Answering (CQA) becomes increasingly prevalent, because it provides platforms for users to collect information...
-
Open issues and recent advances in DC programming and DCA
DC (difference of convex functions) programming and DC algorithm (DCA) are powerful tools for nonsmooth nonconvex optimization. This field was...
-
Explaining Object Motion Using Answer Set Programming
Identifying objects and their motion from sequences of digital images is of growing interest due to the increasing application of autonomous mobile...
-
Dynamic Logic Programming
Dynamic Logic Programming (DLP) is an extension to logic programming designed to support the representation of knowledge about dynamic worlds. It...
-
Control Applications of Sum of Squares Programming
We consider nonlinear systems with polynomial vector fields and pose two classes of system theoretic problems that may be solved by sum of squares...
-
Exploiting Answer Set Programming for Building explainable Recommendations
The capability of a recommendation system to justify its proposals becomes an ever more important aspect in light of recent legislation and skeptic...
-
What Do I Need for Programming?
In this chapter we will learn about the tools necessary for programming. These include code editors and Integrated Development Environments (IDEs)....
-
Hybrid simplicial-randomized approximate stochastic dynamic programming for multireservoir optimization
We revisit an approximate stochastic dynamic programming method that we proposed earlier for the optimization of multireservoir problems. The method...
-
Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination
Answer set programming (ASP) is a declarative programming paradigm where the solutions of a search problem are captured by the answer sets of a logic...
-
Statistical Statements in Probabilistic Logic Programming
Probabilistic Logic Programs under the distribution semantics (PLPDS) do not allow statistical probabilistic statements of the form “90% of birds...
-
SSPOT-VR: An immersive and affordable mobile application for supporting K-12 students in learning programming concepts
High-resolution displays on mobile devices, accurate motion sensors, and efficient mobile processors have taken virtual reality (VR), essentially...
-
New semidefinite relaxations for a class of complex quadratic programming problems
In this paper, we propose some new semidefinite relaxations for a class of nonconvex complex quadratic programming problems, which widely appear in...
-
Exploring SLUG: Feature Selection Using Genetic Algorithms and Genetic Programming
We present SLUG, a recent method that uses genetic algorithms as a wrapper for genetic programming and performs feature selection while inducing...
-
Automated design of dynamic programming schemes for RNA folding with pseudoknots
Although RNA secondary structure prediction is a textbook application of dynamic programming (DP) and routine task in RNA structure analysis, it...
-
Parallel Programming Models
Programming models are a suitable way to abstract away from details of the architecture of parallel systems and to provide a high-level view which is...
-
A study of synergy between programming practices evolution and information disclosure-causing vulnerabilities
The Common Vulnerabilities and Exposures (CVE) is a formal dictionary of vulnerabilities and associated weaknesses reported by the community. As...
-
On the Use of Answer Set Programming for Model-Based Diagnosis
Model-based diagnosis has been an active area of AI for several decades leading to many applications ranging from automotive to space. The underlying...
-
Effect of SRA-programming on computational thinking through different output modalities
The application of sense-reason-act (SRA) programming in contemporary education can ensure the development of computational thinking (CT) at a more...
-
Applying genetic programming to PSB2: the next generation program synthesis benchmark suite
For the past seven years, researchers in genetic programming and other program synthesis disciplines have used the General Program Synthesis...
-
Stable Improved Dynamic Programming Method: An Efficient and Accurate Method for Optimization of Reservoir Flood Control Operation
The optimal algorithm to ensure computational efficiency and accuracy remains to be challenging for the development of robust operation model to...
