Sciweavers

899 search results - page 86 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
128
Voted
CODES
2008
IEEE
15 years 5 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
118
Voted
WIOPT
2010
IEEE
15 years 1 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...
238
Voted
CIKM
2003
Springer
15 years 8 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...
120
Voted
SIGIR
2008
ACM
15 years 3 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
122
Voted
JDCTA
2010
104views more  JDCTA 2010»
14 years 10 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