5216 search results - page 616 / 1044 » Planning as Model Checking |
146
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
The POIROT project is a four-year effort to develop an architecture that integrates the products of a number of targeted reasoning and learning components to produce executable re...
196
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper proposes a novel two-stage optimization method for robust Model Predictive Control (RMPC) with Gaussian disturbance and state estimation error. Since the dis...
158
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Recent information theoretic results on cooperation in cellular systems are reviewed, addressing both multicell processing (cooperation among base stations) and relaying (cooper...
165
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
180
Voted
IEEECIT
2007
IEEE
16 years 1 months ago
2007
IEEE
The User requirements of many web-based services are dynamically and continuously changing even during the service time itself. For that reason, web service companies always keep ...