Sciweavers

899 search results - page 86 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
CODES
2008
IEEE
13 years 10 months ago
Specification-based compaction of directed tests for functional validation of pipelined processors
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
Heon-Mo Koo, Prabhat Mishra
WIOPT
2010
IEEE
13 years 7 months ago
Enhancing RRM optimization using a priori knowledge for automated troubleshooting
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
Moazzam Islam Tiwana, Zwi Altman, Berna Sayra&cced...
CIKM
2003
Springer
14 years 2 months ago
Using titles and category names from editor-driven taxonomies for automatic evaluation
Evaluation of IR systems has always been difficult because of the need for manually assessed relevance judgments. The advent of large editor-driven taxonomies on the web opens the...
Steven M. Beitzel, Eric C. Jensen, Abdur Chowdhury...
SIGIR
2008
ACM
13 years 8 months ago
Semi-supervised spam filtering: does it work?
The results of the 2006 ECML/PKDD Discovery Challenge suggest that semi-supervised learning methods work well for spam filtering when the source of available labeled examples diff...
Mona Mojdeh, Gordon V. Cormack
JDCTA
2010
104views more  JDCTA 2010»
13 years 3 months ago
Mean Shifts Identification Model in Bivariate Process Based on LS-SVM Pattern Recognizer
This study develops a least squares support vector machines (LS-SVM) based model for bivariate process to diagnose abnormal patterns of process mean vector, and to help identify a...
Zhi-Qiang Cheng, Yi-Zhong Ma, Jing Bu