4609 search results - page 445 / 922 » Automatic Generation of Sigma-Protocols |
232
Voted
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
128
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper studies the effect of automatic sentence boundary detection and comma prediction on entity and relation extraction in speech. We show that punctuating the machine gener...
164
Voted
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Near-duplicate image detection is a critical task in copyright protection. More challenging than the common similarity search, this task requires not only the retrieval of the top...
202
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a method to localize 3D objects, which is the extension of the segment-based object recognition method to use on a STL CAD model. Models for localization are ...
169
Voted
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs...