5216 search results - page 413 / 1044 » Planning as Model Checking |
175
click to vote
IPOM
2009
Springer
16 years 1 months ago
2009
Springer
The operational model for large Internet service providers is moving to a multi-layer architecture consisting of IP/MPLS coupled with OTN/DWDM. While there has been significant wo...
165
Voted
ACL
2008
15 years 8 months ago
2008
We present the development and tuning of a topic-adapted language model for word prediction, which improves keystroke savings over a comparable baseline. We outline our plans to d...
201
click to vote
WSC
2000
15 years 8 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
166
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A description of a novel domain-independent framework that automatically generates and fades scaffolding supports for task-oriented learning within exploratory environmen...
181
click to vote
AIPS
2010
15 years 9 months ago
2010
Computing a good policy in stochastic uncertain environments with unknown dynamics and reward model parameters is a challenging task. In a number of domains, ranging from space ro...