3207 search results - page 274 / 642 » A Semantics for HTN Methods |
182
click to vote
EWIMT
2004
15 years 6 months ago
2004
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...
147
click to vote
PDCN
2004
15 years 6 months ago
2004
A new age of heterogeneous resource integration has begun. Next generation of integration systems will utilize different methods and techniques to achieve the vision of ubiquitous...
138
click to vote
SPIESR
2004
15 years 6 months ago
2004
This paper presents an overview of our recent work on managing image and video data. The first half of the paper describes a representation for the semantic spatial layout of vide...
236
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
131
click to vote
IPM
2006
15 years 4 months ago
2006
A methodology for automatically identifying and clustering semantic features or topics in a heterogeneous text collection is presented. Textual data is encoded using a low rank no...