Sciweavers

2771 search results - page 127 / 555
» A General Computational Treatment of the Comparative
Sort
View
DAC
2002
ACM
16 years 7 months ago
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
Mike Bartley, Darren Galpin, Tim Blackmore
ICML
2005
IEEE
16 years 7 months ago
Naive Bayes models for probability estimation
Naive Bayes models have been widely used for clustering and classification. However, they are seldom used for general probabilistic learning and inference (i.e., for estimating an...
Daniel Lowd, Pedro Domingos
WWW
2008
ACM
16 years 7 months ago
Finding similar pages in a social tagging repository
Social tagging describes a community of users labeling web content with tags. It is a simple activity that enriches our knowledge about resources on the web. For a computer to hel...
Alex Penev, Raymond K. Wong
PEWASUN
2005
ACM
15 years 12 months ago
Investigating unfairness scenarios in MANET using 802.11b
An experimental study of MANET using 802.11b has shown that there exist several configurations where this standard does not guarantee fairness for the channel access. In this pap...
Leïla Kloul, Fabrice Valois
GECCO
2005
Springer
175views Optimization» more  GECCO 2005»
15 years 12 months ago
Meta-grammar constant creation with grammatical evolution by grammatical evolution
This study examines the utility of meta-grammar constant generation on a series of benchmark problems. The performance of the meta-grammar approach is compared to a grammar which ...
Ian Dempsey, Michael O'Neill, Anthony Brabazon