78 search results - page 7 / 16 » A logical reconstruction of SPKI |
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
Due to the ease with which convincing digital image forgeries can be created, a need has arisen for digital forensic techniques capable of detecting image manipulation. Once image...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...
VTS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we identify two main bottlenecks in the functional diagnosis flow and propose new ways to overcome these. Our approach completely eliminates the “Primary Input (P...
DEXAW
1999
IEEE
13 years 11 months ago
1999
IEEE
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
ICLP
1995
Springer
13 years 11 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...