4555 search results - page 143 / 911 » Deductive Algorithmic Knowledge |
RECOMB
2010
Springer
14 years 18 days ago
2010
Springer
Abstract. One of the critical stages in drug development is the identification of potential side effects for promising drug leads. Large scale clinical experiments aimed at discove...
IJAR
2006
13 years 10 months ago
2006
In many real-life situations, we only have partial information about the actual probability distribution. For example, under Dempster-Shafer uncertainty, we only know the masses m...
CADE
1999
Springer
14 years 3 months ago
1999
Springer
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
ISIPTA
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
GEM
2008
14 years 7 days ago
2008
Abstract--We present an approach to compress arbitrary files using a Huffman-like prefix-free code generated through the use of a genetic algorithm, thus requiring no prior knowled...