9067 search results - page 1512 / 1814 » Adaptive Model Checking |
229
click to vote
AAAI
2011
14 years 7 months ago
2011
Sustainable resource management in many domains presents large continuous stochastic optimization problems, which can often be modeled as Markov decision processes (MDPs). To solv...
363
click to vote
PROPOR
2012
Springer
14 years 2 months ago
2012
Springer
Fill-in-the-blank questions are one of the main assessment devices in REAP.PT tutoring system. The problem of automatically generating the stems, i.e. the sentences that serve as b...
231
click to vote
SDM
2012
SIAM
13 years 9 months ago
2012
SIAM
The focus of this paper is on how to select a small sample of examples for labeling that can help us to evaluate many different classification models unknown at the time of sampl...
207
click to vote
AAAI
2012
13 years 9 months ago
2012
General Game Playing is the design of AI systems able to understand the rules of new games and to use such descriptions to play those games effectively. Games with imperfect infor...
200
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we present a two-layer rate control In [4], their rate controller TMN8 applied the Lagrange framework for low delay video transmission based on a multiplier to d...