2286 search results - page 80 / 458 » Algorithms for Categorical Equivalence |
ICDCIT
2005
Springer
15 years 3 months ago
2005
Springer
The existing search engines sometimes give unsatisfactory search result for lack of any categorization. If there is some means to know the preference of user about the search resul...
EMO
2001
Springer
15 years 2 months ago
2001
Springer
This paper describes an application of Adaptive Range Multiobjective Genetic Algorithms (ARMOGAs) to aerodynamic wing optimization. The objectives are to minimize transonic and sup...
CIMCA
2008
IEEE
14 years 12 months ago
2008
IEEE
XML has emerged as a common standard for data exchange over the World Wide Web. One way to manage XML data is to use the power of relational databases for storing and q...
WCE
2007
14 years 11 months ago
2007
— Our work explores the use of several text categorization techniques for classification of manufacturing quality defect and service shop data sets into fixed categories. Althoug...
ICCAD
1998
IEEE
15 years 2 months ago
1998
IEEE
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...