|
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007.
The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics. |
|
|
 |  | | | Managing and Mining Multimedia DatabasesReading Data Mining by Bhavani Thuraisingham is a poignant experience masterful and readable summary of her field...a profound overview of an important domain of human knowledge a memorable opus.
-Dr. Dobb's Journal
There is now so much data on the Web that managing it with conventional tools is becoming almost... |
Confident Public Speaking (with CD-ROM and InfoTrac)
I wrote Confident Public Speaking because I believe anyone can become an effective
public speaker, and that all of us can improve our public speaking skills. Effective
public speaking is a process that improves as we cultivate it. Confident
public speakers are not perfect at this craft but are effective at it, and effective... | | Gray Hat Python: Python Programming for Hackers and Reverse Engineers
Python is fast becoming the programming language of choice for hackers, reverse engineers, and software testers because it's easy to write quickly, and it has the low-level support and libraries that make hackers happy. But until now, there has been no real manual on how to use Python for a variety of hacking tasks. You had to dig through... | | Digital Video and DSP: Instant AccessAlthough there are many variations and implementation techniques, video signals are just a way of transferring visual information from one point to another. The information may be from a VCR, DVD player, a channel on the local broadcast, cable television, or satellite system, the Internet, cell phone, MP3 player, or one of many other sources.... |
|
