5216 search results - page 958 / 1044 » Planning as Model Checking |
EOR
2011
14 years 6 months ago
2011
Efficiency measurement is an important issue for any firm or organization. Efficiency measurement allows organizations to compare their performance with their competitors’ and t...
69
Voted
EWC
2011
14 years 6 months ago
2011
This paper outlines continuing work on the intelligent design catalogue. The intelligent design catalogue seeks to create a virtual design environment that is linked to a catalogu...
JAIR
2011
14 years 6 months ago
2011
Markovian processes have long been used to model stochastic environments. Reinforcement learning has emerged as a framework to solve sequential planning and decision-making proble...
JDCTA
2010
14 years 5 months ago
2010
In this paper, we present the user evaluation results of a Community-centric Music Voting service that relies on a DHT-based P2P network. For each user community, an independent D...
ICDE
2011
IEEE
14 years 2 months ago
2011
IEEE
—The booming industry of location-based services has accumulated a huge collection of users’ location trajectories of driving, cycling, hiking, etc. In this work, we investigat...