4795 search results - page 184 / 959 » The Message Classification Model |
114
click to vote
ICDM
2010
IEEE
15 years 11 days ago
2010
IEEE
In many applications of data mining we know beforehand that the response variable should be increasing (or decreasing) in the attributes. Such relations between response and attrib...
134
click to vote
ICPR
2010
IEEE
15 years 10 days ago
2010
IEEE
This paper is aimed at evaluating the semantic information content of multiscale, low-level image segmentation. As a method of doing this, we use selected features of segmentation...
130
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
120
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
126
click to vote
SIGSOFT
2010
ACM
15 years 8 days ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...