119 search results - page 11 / 24 » Normal Forms for Knowledge Compilation |
BMCBI
2005
13 years 7 months ago
2005
Background: Analysis of inherited diseases and their associated phenotypes is of great importance to gain knowledge of underlying genetic interactions and could ultimately give cl...
CP
2009
Springer
14 years 8 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
IWPC
1999
IEEE
14 years 4 days ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
IWANN
2001
Springer
14 years 9 days ago
2001
Springer
This work presents an approach to the automatic interpretation of the visual field to enable ophthalmology patients to be classified as glaucomatous and normal. The approach is bas...
ASWC
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...