549 search results - page 93 / 110 » Verification condition generation for conditional informatio... |
74
Voted
IQ
2007
14 years 11 months ago
2007
: Models of the association between input accuracy and output accuracy imply that, for any given application, the effect of input errors on the output error rate generally varies i...
PICS
2001
14 years 11 months ago
2001
Many old manuscript documents were written on both sides of the paper, and the bleed-through from one side of the document to the other increases the difficulty in reading or deci...
WSC
2004
14 years 11 months ago
2004
The Telemedicine Program was created to provide medical assistance to people living in extreme poverty conditions in Mexico. Through a satellite connection, a physician located in...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
The paper develops a novel approach to stream cipher design: Both the state update function and the output function of the corresponding pseudorandom generators are compositions of...
98
Voted
JMLR
2006
14 years 10 months ago
2006
A classical approach in multi-class pattern classification is the following. Estimate probability distributions that generated the observations for each label class, and then labe...