This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
As the number of in-house and public-domain 3D shape models increase, importance of shape-similarity based search and retrieval for 3D shapes models has increased rapidly. In this...
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
In this paper, based on manifold harmonics, we propose a novel framework for 3D shape similarity comparison and partial matching. First, we propose a novel symmetric meanvalue rep...
Huai-Yu Wu, Hongbin Zha, Tao Luo, Xulei Wang, Song...
Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passersby, and guardians. Most exis...
Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn...