1614 search results - page 190 / 323 » Planning as Temporal Reasoning |
149
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
177
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been considered in the realm of sem...
180
click to vote
PR
2008
15 years 6 months ago
2008
This paper presents a Hierarchical Context Hidden Markov Model (HC-HMM) for behavior understanding from video streams in a nursing center. The proposed HC-HMM infers elderly behav...
156
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
Developers undertaking a pragmatic reuse task must collect and reason about information that is spread throughout the source code of a system before they can understand the scope ...
157
click to vote
KES
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper presents a hybrid agents based architecture that uses casebased reasoning and case-based planning systems as reasoning mechanism in deliberative BDI agents to ...