5216 search results - page 396 / 1044 » Planning as Model Checking |
171
click to vote
EOR
2008
15 years 6 months ago
2008
In the fractional ownership model, the partial owner of an aircraft is entitled to certain flight hours per year, and the management company is responsible for all the operational...
204
click to vote
IJRR
2010
15 years 5 months ago
2010
Partially observable Markov decision processes (POMDPs) provide a principled, general framework for robot motion planning in uncertain and dynamic environments. They have been app...
211
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Compared to conventional wireless sensor networks (WSNs) that are operated based on the client-server computing model, mobile agent (MA) systems provide new capabilities for energy...
221
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—When users submit new queries to a distributed stream processing system (DSPS), a query planner must allocate physical resources, such as CPU cores, memory and network bandwidth...
189
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Many problems in the engineering domain involve more than one objective to be optimized simultaneously. The optimal solution to a multi-objective function results in a set of e...