2216 search results - page 291 / 444 » Hedging Structured Concepts |
175
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
149
click to vote
IJIG
2002
15 years 4 months ago
2002
This paper forms a continuation of our work focused on exploiting film grammar for the task of automated film understanding. We examine film rhythm, a powerful narrative concept u...
142
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
The enormous growth of the world wide web in recent years has made it important to perform resource discovery e ciently. Consequently, several new ideas have been proposed in rece...
268
Voted
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
154
click to vote
IDEAS
2009
IEEE
15 years 11 months ago
2009
IEEE
A natural consequence of the widespread adoption of XML as standard for information representation and exchange is the redundant storage of large amounts of persistent XML documen...