Sciweavers

759 search results - page 127 / 152
» A Perspective on Knowledge Compilation
Sort
View
AAAI
2008
13 years 10 months ago
Prime Implicate Normal Form for ALC Concepts
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
Meghyn Bienvenu
COOTS
2001
13 years 10 months ago
Kava - Using Byte code Rewriting to add Behavioural Reflection to Java
Many authors have proposed using byte code rewriting as a way of adapting or extending the behaviour of Java There are toolkits available that simplify this process and raise the ...
Ian Welch, Robert J. Stroud
CORR
2007
Springer
172views Education» more  CORR 2007»
13 years 8 months ago
A Data-Parallel Version of Aleph
This is to present work on modifying the Aleph ILP system so that it evaluates the hypothesised clauses in parallel by distributing the data-set among the nodes of a parallel or di...
Stasinos Konstantopoulos
IPL
2006
86views more  IPL 2006»
13 years 8 months ago
Monotone circuits for monotone weighted threshold functions
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...
Amos Beimel, Enav Weinreb
BMCBI
2002
99views more  BMCBI 2002»
13 years 8 months ago
FunSpec: a web-based cluster interpreter for yeast
Background: For effective exposition of biological information, especially with regard to analysis of large-scale data types, researchers need immediate access to multiple categor...
Mark D. Robinson, Jörg Grigull, Naveed Mohamm...