9067 search results - page 1795 / 1814 » Adaptive Model Checking |
153
click to vote
IJHPCA
2008
15 years 2 months ago
2008
We present a de novo hierarchical simulation framework for first-principles based predictive simulations of materials and their validation on high-end parallel supercomputers and ...
152
click to vote
ISF
2008
15 years 2 months ago
2008
This article examines how emerging pervasive computing and affective computing technologies might enhance the adoption of ICT in e-Learning which takes place in the home and wider ...
123
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
—Resource allocation is investigated for fading relay channels under separate power constraints at the source and relay nodes. As a basic information-theoretic model for fading r...
125
click to vote
JMLR
2008
15 years 2 months ago
2008
In this paper we develop a theoretical analysis of the performance of sampling-based fitted value iteration (FVI) to solve infinite state-space, discounted-reward Markovian decisi...
136
Voted
CVIU
2007
15 years 2 months ago
2007
Tracking articulated structures like a hand or body within a reasonable time is challenging because of the high dimensionality of the state space. Recently, a new optimization met...