479 search results - page 58 / 96 » A quantified logic of evidence |
124
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
APAL
2010
15 years 2 months ago
2010
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand's Theorem and backtracking games in the style of Coquand. First described by M...
SYNTHESE
2008
15 years 1 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
125
click to vote
ICCV
2005
IEEE
16 years 3 months ago
2005
IEEE
Tree structured models have been widely used for determining the pose of a human body, from either 2D or 3D data. While such models can effectively represent the kinematic constra...
115
click to vote
DAC
1998
ACM
16 years 2 months ago
1998
ACM
- A closed form solution for the output signal of a CMOS inverter driving an RLC transmission line is presented. This solution is based on the alpha power law for deep submicromete...