Sciweavers

1829 search results - page 309 / 366
» On Learning Soccer Strategies
Sort
View
GLVLSI
2009
IEEE
122views VLSI» more  GLVLSI 2009»
14 years 4 months ago
Enhancing SAT-based sequential depth computation by pruning search space
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...
Yung-Chih Chen, Chun-Yao Wang
ICC
2009
IEEE
195views Communications» more  ICC 2009»
14 years 4 months ago
Fairness-Aware Joint Routing and Scheduling in OFDMA-Based Cellular Fixed Relay Networks
Abstract— Relaying and orthogonal frequency division multiple access (OFDMA) are the accepted technologies for emerging wireless communications standards. The activities in many ...
Mohamed Salem, Abdulkareem Adinoyi, Mahmudur Rahma...
ICEIS
2009
IEEE
14 years 4 months ago
AgEx: A Financial Market Simulation Tool for Software Agents
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...
Paulo André Lima de Castro, Jaime Sim&atild...
AIED
2009
Springer
14 years 4 months ago
Collaborative Dialog While Studying Worked-out Examples
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...
Robert G. M. Hausmann, Timothy J. Nokes, Kurt VanL...
ERCIMDL
2009
Springer
103views Education» more  ERCIMDL 2009»
14 years 4 months ago
Functional Adaptivity for Digital Library Services in e-Infrastructures: The gCube Approach
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...
Fabio Simeoni, Leonardo Candela, David Lievens, Pa...