2125 search results - page 71 / 425 » Points with Type-2 Operations |
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
JAIR
2006
13 years 8 months ago
2006
As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier's natural revision and provided a prototypic...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In ...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
We propose a method of calibrating multiple camera systems that operates by adjusting the camera parameters and the 3D shape of objects onto silhouette observations. Our method em...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— We present a simple randomized POMDP algorithm for planning with continuous actions in partially observable environments. Our algorithm operates on a set of reachable b...