4609 search results - page 123 / 922 » Automatic Generation of Sigma-Protocols |
165
click to vote
COLING
2010
15 years 1 months ago
2010
In this paper, an automatic method for Persian WordNet construction based on Prenceton WordNet 2.1 (PWN) is introduced. The proposed approach uses Persian and English corpora as w...
220
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
171
click to vote
MVA
2000
15 years 6 months ago
2000
With the proliferation of different types of IC packages, there is a need for machine-vision-based inspection systems to be able to efficiently identify the orientation of IC packa...
202
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
202
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
We present a new non-parametric model constraint graph min-cut algorithm for automatic kidney segmentation in CT images. The segmentation is formulated as a maximum a-posteriori es...