6258 search results - page 492 / 1252 » Applied Text Generation |
162
click to vote
ICCS
2004
Springer
16 years 12 days ago
2004
Springer
We have studied two approaches to the modeling of bubbly and cavitating fluids. The first approach is based on the direct numerical simulation of gas bubbles using the interface ...
204
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
211
click to vote
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...
187
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
192
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We propose a novel face image similarity measure based on Hausdorff distance (HD). In contrast to conventional HD-based measures, which are generally applied in the image space (s...