As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
Digital multimedia such as images and videos are prevalent on today's internet and cause significant social impact, which can be evidenced by the proliferation of social netw...
Diffusion tensor magnetic resonance imaging (DT-MRI) is capable of providing quantitative insights into tissue microstructure in the brain. An important piece of information offere...
Cheng Guan Koay, U. Nevo, Lin-Ching Chang, Carlo P...
We propose an approach to categorize real-world natural scenes based on a semantic typicality measure. The proposed typicality measure allows to grade the similarity of an image wi...