4167 search results - page 275 / 834 » Regression model checking |
163
click to vote
ESORICS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
128
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
123
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
We introduce a novel approach to combining rankings from multiple retrieval systems. We use a logistic regression model or an SVM to learn a ranking from pairwise document prefere...
141
click to vote
CEAS
2005
Springer
15 years 10 months ago
2005
Springer
We reduce email overload by addressing the problem of waiting for a reply to one’s email. We predict whether sent and received emails necessitate a reply, enabling the user to b...
144
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...