5216 search results - page 567 / 1044 » Planning as Model Checking |
226
Voted
SMI
2010
IEEE
15 years 4 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
200
Voted
JSAC
2011
15 years 1 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
153
click to vote
OR
2005
Springer
16 years 10 days ago
2005
Springer
The fare planning problem for public transport is to design a system of fares that maximize the revenue. We introduce a nonlinear optimization model to approach this problem. It i...
179
Voted
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
As large-scale sensor networks are being deployed with the objective of collecting quality data to support user queries and decision-making, the role of a scalable query model beco...
184
click to vote
STORYTELLING
2007
Springer
16 years 29 days ago
2007
Springer
We present Wide Ruled, an authoring tool for the creation of generative stories. It is based on the Universe author-goal-based model of story generation, and extends this model by ...