256 search results - page 20 / 52 » Uncertainty Reasoning for Linked Data |
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
JIB
2007
13 years 7 months ago
2007
Gene expression profiling is a sophisticated method to discover differences in activation patterns of genes between different patient collectives. By reasonably defining patient...
RSFDGRC
2005
Springer
14 years 1 months ago
2005
Springer
Pawlak recently introduced rough set flow graphs (RSFGs) as a graphical framework for reasoning from data. Each rule is associated with three coefficients, which have been shown t...
ACIVS
2006
Springer
13 years 11 months ago
2006
Springer
The vision-based scene understanding technique that infers scene-interpreting contexts from real-world vision data has to not only deal with various uncertain environments but also...
BMCBI
2005
13 years 7 months ago
2005
Background: Microarray devices permit a genome-scale evaluation of gene function. This technology has catalyzed biomedical research and development in recent years. As many import...