3207 search results - page 289 / 642 » A Semantics for HTN Methods |
169
click to vote
SEMCO
2007
IEEE
15 years 11 months ago
2007
IEEE
The proliferation of digital libraries and the large amount of existing documents raise important issues in efficient handling of documents. Printed texts in documents need to be...
141
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector spa...
160
click to vote
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
We demonstrate a phonotactic-semantic paradigm for spoken document categorization. In this framework, we define a set of acoustic words instead of lexical words to represent acous...
232
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
136
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...