We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
In this proposal a novel implementation to find and recognize person actions in image sequences of meeting scenarios is introduced. Such extracted information can be used as the b...
Simulation of rupture fault displacement during a tsunamigenic earthquake event is vital to understanding the subsequent wave propagation. We have developed a new approach which i...
Xiaoru Yuan, Minh X Nguyen, Yingchun Liu, David...
Skin color is an important feature of faces. Various applications benefit from robust skin color detection. Depending on camera settings, illumination, shadows, people's tans...