5216 search results - page 999 / 1044 » Planning as Model Checking |
117
click to vote
TKDE
2011
14 years 5 months ago
2011
—Classification has been used for modeling many kinds of data sets, including sets of items, text documents, graphs, and networks. However, there is a lack of study on a new kind...
135
Voted
SOICT
2010
14 years 5 months ago
2010
Routing problems have been considered as central problems in the fields of transportation, distribution and logistics. LS(Graph) is a generic framework allowing to model and solve...
136
Voted
ALDT
2011
Springer
13 years 10 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
87
Voted
ATAL
2011
Springer
13 years 10 months ago
2011
Springer
In creating an evacuation simulation for training and planning, realistic agents that reproduce known phenomenon are required. Evacuation simulation in the airport domain requires...
118
click to vote
SDM
2012
SIAM
13 years 1 months ago
2012
SIAM
In this article, we propose a random walk-based model to predict legislators’ votes on a set of bills. In particular, we first convert roll call data, i.e. the recorded votes a...