One of the characteristics of the Human Visual System (HVS) is to model the sensitivity of the human eye at each coordinate location in the image. This paper explores the use of fu...
Mukesh C. Motwani, Rakhi C. Motwani, Frederick C. ...
The development of techniques for knowledge-based navigation constitutes one of the major trends in the current research on mobile robotics. Fuzzy logic provides tools that are of...
Hrudaya K. Tripathy, B. K. Tripathy, Pradip K. Das
Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces...
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
Azzurra Ragone, Umberto Straccia, Tommaso Di Noia,...
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
William M. Farmer, Joshua D. Guttman, F. Javier Th...