1616 search results - page 229 / 324 » A Framework for Hybrid Planning |
CASCON
2010
13 years 5 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
AAAI
2012
11 years 11 months ago
2012
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
NOMS
2008
IEEE
14 years 3 months ago
2008
IEEE
— In simple and monolithic systems such as our current home gateways, monitoring is often overlooked: the home user can only reboot the gateway when there is a problem. In next-g...
AGP
2003
IEEE
14 years 2 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
EUROMICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
Small companies in the software product business risk rework and market failure due to shortcomings in integrating a strategic perspective into management of product development. ...