4401 search results - page 487 / 881 » Computing with Default Logic |
182
click to vote
SAC
2006
ACM
16 years 25 days ago
2006
ACM
We present a framework and an application for semanticbased retrieval of images. Our approach adopts a two-level ontology structure in a subset of OWL-DL. In the core ontology onl...
161
click to vote
BIRTHDAY
2005
Springer
16 years 13 days ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
191
click to vote
FCT
2005
Springer
16 years 12 days ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
178
click to vote
ICWE
2005
Springer
16 years 12 days ago
2005
Springer
We present in this paper a method to discover the set of webpages contained in a logical website, based on the link structure of the Web graph. Such a method is useful in the conte...
152
click to vote
AMAST
2004
Springer
16 years 9 days ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...