1800 search results - page 303 / 360 » Learning Restart Strategies |
GLVLSI
2009
IEEE
14 years 6 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
ICC
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— Relaying and orthogonal frequency division multiple access (OFDMA) are the accepted technologies for emerging wireless communications standards. The activities in many ...
ICEIS
2009
IEEE
14 years 5 months ago
2009
IEEE
Many researchers in the software agent field use the financial domain as a test bed to develop adaptation, cooperation and learning skills of software agents. However, there are no...
AIED
2009
Springer
14 years 5 months ago
2009
Springer
Self-explaining is a beneficial learning strategy for studying worked-out examples because it either supplies missing information through the generation of inferences or because it...
ERCIMDL
2009
Springer
14 years 5 months ago
2009
Springer
We consider the problem of e-Infrastructures that wish to reconcile the generality of their services with the bespoke requirements of diverse user communities. We motivate the requ...