This book constitutes the refereed proceedings of the 5th International Conference on Deductive and Object-Oriented Databases, DOOD'97, held in Montreux, Switzerland, in December 1997. The 22 revised...
Darren is proud of his work on the FBI's magical Talent unit. However, his own lack of magic means he can never be with Supervisory Special Agent and Shaman Kavon Boucher. The shamanic magic poses a...
Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that...
Steganalysis for Reversible Data Hiding.- An Incremental View Maintenance Approach Using Version Store in Warehousing Environment.- The Study of Synchronization Framework among Multi-datasets.-...