This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can ...
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
: Worldwide costs and the disparity between healthcare in the Western world and the developing countries increase exponentially. Increased involvement of ICT allows, in similarity ...
Visualization of non-vectorial objects is not easy in practice due to their lack of convenient vectorial representation. Representative approaches are Kernel PCA and Kernel Laplac...
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...