1879 search results - page 224 / 376 » Integrating motivations with planning |
TABLEAUX
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
SIGUCCS
2004
ACM
14 years 1 months ago
2004
ACM
This paper is a literature review on practical techniques and guidelines using PowerPoint, animation, and video effectively for instruction. The motivation to collect research bas...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
POLICY
2004
Springer
14 years 1 months ago
2004
Springer
We present PROTON, a policy-based solution for 4G mobile devices – it allows users to seamlessly connect to highly integrated heterogeneous wireless networks. The key motivation...