3005 search results - page 28 / 601 » Logical Information Systems: from Taxonomies to Logics |
JOLLI
2002
14 years 9 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
ENTCS
2006
14 years 9 months ago
2006
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...
82
Voted
SAINT
2005
IEEE
15 years 3 months ago
2005
IEEE
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
LOCA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Location Fingerprinting (LF) is a promising location technique for many awareness applications in pervasive computing. However, as research on LF systems goes beyond basi...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...