8 search results - page 1 / 2 » On the Role of Canonicity in Knowledge Compilation |
ISMIS
2005
Springer
13 years 11 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
CC
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Writing an optimizing back end is expensive, in part because it requires mastery of both a target machine and a compiler's internals. We separate these concerns by i...
IEEEAMS
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
NLE
2010
13 years 4 months ago
2010
In this article, we present a comprehensive study aimed at computing semantic relatedness of word pairs. We analyze the performance of a large number of semantic relatedness measu...
BMCBI
2002
13 years 6 months ago
2002
Background: For effective exposition of biological information, especially with regard to analysis of large-scale data types, researchers need immediate access to multiple categor...