4595 search results - page 266 / 919 » Reasoning about Plans |
210
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
230
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
The recent developments of smart mobile phones and 3G networks enable users to enjoy video programs by subscribing to data plans. Due to phone-to-phone communication technologies ...
240
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
Crawling the web is deceptively simple: the basic algorithm is (a) Fetch a page (b) Parse it to extract all linked URLs (c) For all the URLs not seen before, repeat (a)?(c). Howev...
201
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
Ordinals form the basis for termination proofs in ACL2. Currently, ACL2 uses a rather inefficient representation for the ordinals up to 0 and provides limited support for reasoning...
186
click to vote
CEEMAS
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...