197 search results - page 16 / 40 » Efficient Inference of Partial Types |
182
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Synthetic lethality experiments identify pairs of genes with complementary function. More direct functional associations (for example greater probability of membership...
TPHOL
2006
IEEE
15 years 8 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
127
Voted
PROVSEC
2010
Springer
15 years 19 days ago
2010
Springer
Generic constructions of designated confirmer signatures follow one of the following two strategies; either produce a digital signature on the message to be signed, then encrypt th...
130
Voted
UAI
2001
15 years 4 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
121
Voted
CONTEXT
1999
Springer
15 years 7 months ago
1999
Springer
When modelling complex systems one can not include all the causal factors, but one has to settle for partial models. This is alright if the factors left out are either so constant...