1059 search results - page 4 / 212 » Standard Logics Are Valuation-Nonmonotonic |
DAM
1999
14 years 9 months ago
1999
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
GLVLSI
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper introduces a standard cell based design for a Serializer and Deserializer (SerDes) communication link. The proposed design is area, power and design time efficient as c...
69
Voted
CLUSTER
2002
IEEE
15 years 2 months ago
2002
IEEE
Clusters have made the jump from lab prototypes to fullfledged production computing platforms. The number, variety, and specialized configurations of these machines are increasi...
JACM
2002
14 years 9 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
LICS
2003
IEEE
15 years 2 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...