Semantic Scholar uses AI to extract papers important to this topic.
We propose a new family of description logics (DLs), called DL-Lite, specifically tailored to capture basic ontology languages… Expand Network clustering (or graph partitioning) is an important task for the discovery of underlying structures in networks. Many… Expand We use a simple statistical analysis to impose one image's color characteristics on another. We can achieve color correction by… Expand Preface This book should be of interest to anyone who would like to understand computation from the point of view of logic. The… Expand The class PCP(f(n),g(n)) consists of all languages L for which there exists a polynomial-time probabilistic oracle machine that… Expand An empirical model of equatorial electron density in the magnetosphere has been developed, covering the range 2.25 < L < 8… Expand Solvation dynamics in polar liquids have been examined using the probe molecule coumarin 153 (Cu153) and picosecond spectroscopic… Expand Some non-perturbative constraints on supersymmetry breaking are derived. It is demonstrated that dynamical supersymmetry breaking… Expand The problem of deciding whether a given propositional formula in conjunctive normal form is satisfiable has been widely studied… Expand explicitly evaluable functions. For example, the M-ary error probability is expressed as a quadrature in Lindsey's equation (17… Expand