3207 search results - page 92 / 642 » A Semantics for HTN Methods |
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
ICOST
2009
Springer
14 years 7 months ago
2009
Springer
Smart Homes are pervasive systems that interact with the user using a service offer paradigm to provide fully automated daily repetitive tasks. When services are augmented with sem...
ISCI
2007
14 years 9 months ago
2007
We propose a semantic passage segmentation method for a Question Answering (QA) system. We define a semantic passage as sentences grouped by semantic coherence, determined by the...
AUTONOMICS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. Adaptation of devices and applications based on contextual information has a great potential to enhance usability and mitigate the increasing complexity of mobile devices...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
This paper describes hybrid search, a search method supporting both document and knowledge retrieval via the flexible combination of ontologybased search and keyword-based matching...