549 search results - page 93 / 110 » Verification condition generation for conditional informatio... |
87
Voted
IQ
2007
15 years 1 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...
70
Voted
PICS
2001
15 years 1 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...
83
Voted
WSC
2004
15 years 1 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...
96
Voted
CORR
2006
Springer
15 years 16 days 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...
120
Voted
JMLR
2006
15 years 13 days 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...