10213 search results - page 1653 / 2043 » An Experimental Analysis of Parallel |
199
click to vote
CAV
2004
Springer
16 years 7 days ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
180
click to vote
CEAS
2004
Springer
16 years 7 days ago
2004
Springer
: We describe methods for automatically identifying signature blocks and reply lines in plaintext email messages. This analysis has many potential applications, such as preprocessi...
225
click to vote
CEAS
2004
Springer
16 years 7 days ago
2004
Springer
We present an end-to-end system that extracts a user’s social network and its members’ contact information given the user’s email inbox. The system identifies unique people...
208
click to vote
CIVR
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we propose the use of the Maximum Entropy approach for the task of automatic image annotation. Given labeled training data, Maximum Entropy is a statistical techniqu...
205
click to vote
ECCV
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The randomness of iris pattern makes it one of the most reliable biometric traits. On the other hand, the complex iris image structure and various sources of intra-class ...