• Publications
  • Influence
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover
TLDR
A new MVC local search algorithm, referred to as NuMVC, which is at least competitive with the nearest competitor namely PLS on the DIMACS benchmark, and clearly dominates all competitors on the BHOSLIB benchmark. Expand
Predicting backbone Cα angles and dihedrals from protein sequences by stacked sparse auto‐encoder deep neural network
TLDR
This work reports the first machine‐learning technique for sequence‐based prediction of θ and τ angles, which are expected to be complementary to predicted ϕ and ψ angles and secondary structures for using in model validation and template‐based as well as template‐free structure prediction. Expand
A Constraint-Based Autonomous 3D Camera System
TLDR
A novel application of constraint satisfaction in the design of a camera system that addresses the unique and difficult challenges of IDE is described, demonstrating a specialized constraint solver that exploits the spatial structure of the problem, enabling the real-time use of the camera system. Expand
Protein folding prediction in 3D FCC HP lattice model using genetic algorithm
TLDR
The successful hybrid genetic algorithms (HGA) proposed earlier for a square and cube lattice model is being extended in this paper for a 3D FCC model, which shows best performance when compared with the simple GA (SGA), SGA with TR, and HGA only versions. Expand
Two New Local Search Strategies for Minimum Vertex Cover
TLDR
The experimental results show that NuMVC significantly outperforms existing state-of-the-art heuristic algorithms on most of the hard DIMACS instances and all instances in the hard random BHOSLIB benchmark. Expand
INDU: An Interval and Duration Network
TLDR
The important contribution of the current study is to show that for the tractable subclasses (Convex as well as Pre-convex) 4-consistency is necessary to guarantee global consistency of INDU-network. Expand
A defeasible logic for modelling policy-based intentions and motivational attitudes
TLDR
This paper outlines a defeasible logic of intention that specifies how modalities can be introduced and manipulated in a non-monotonic setting without giving rise to the problem of logical omniscience. Expand
Old Resolution Meets Modern SLS
TLDR
Empirical results are presented showing that for a range of random and real-world benchmark problems, resolution-enhanced SLS solvers clearly outperform the alternatives. Expand
Advances in Local Search for Satisfiability
TLDR
This paper presents a detailed description of the gNovelty+ algorithm, a stochastic local search procedure for finding satisfying models of satisfiable propositional formulae, and compares it with two of the most representative WalkSAT-based solvers. Expand
Merging and Aligning Ontologies in dl-Programs
TLDR
A novel technique called forgetting is developed in the setting of dl-programs and applied to ontology merging and aligning and the answer set semantics for the dl -programs are defined. Expand
...
1
2
3
4
5
...