Theory

3SAT - Super Resolution
Super resolution is a fast method for deriving binary and unit resolvent clauses from a 3SAT instance. Resolution is a well known method for deriving inferences. http://en.wikipedia.org/wiki/Resolution_(logic) (a+b) r (~a+c) -> (b+c) The resolvent of two binary clauses is always a binary or unit clause. ... 23 Jul 2010 01:39

what replaced usenet news?
Decades ago usenet news was an excellent source of news and chat, especially related to computer topics. These days all but two news groups I subscribe to have almost no traffic (other than spammers). I'm sure people still chat. Where on the Internet is something like usenet news? What has replaced these forum... 2 Aug 2010 10:19

Last Call for Papers Reminder (extended): International Conference on Soft Computing and Applications ICSCA 2010
Last Call for Papers Reminder (extended): International Conference on Soft Computing and Applications ICSCA 2010 CFP (extended): International Conference on Soft Computing and Applications ICSCA 2010 Draft Paper Submission Deadline (extended): 26 July, 2010 Camera-Ready Papers Due & Registration Deadline (extend... 20 Jul 2010 10:14

CORDIC bit-level pipeline for Digital Signal Processing.
Vladimir .Baykov, Overlapping of parallel data processing with their bit-serial input, Izvestia VUZov,Priborostroenie, 1990,n4. �������������� �������������� VLSI-Based Bit Conveyers for Digital Signal Processing. [V. D. Baykov, S. D. Bulgakova; AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA No 6,. Nov-Dec 90 http:/... 16 Jul 2010 19:52

4 dimensional raytracer
Hi, I'm starting to program a 4-dimensional raytracer. But before I finish it I want to know if this is interesting for anyone, if not, I'll stop it. By the way is this the right newgroup ? I post it here, because the sense of the program is not amazing graphics, but to give a better visual insight into understa... 16 Jul 2010 07:43

Last Call for Papers Reminder (extended): World Congress on Engineering and Computer Science WCECS 2010
Last Call for Papers Reminder (extended): World Congress on Engineering and Computer Science WCECS 2010 CFP: World Congress on Engineering and Computer Science WCECS 2010 Draft Paper Submission Deadline (extended): 26 July, 2010 Camera-Ready Papers Due & Registration Deadline (extended): 16 August, 2010 WCECS 2... 16 Jul 2010 04:28

The strong non circular list argument.
http://groups.google.com/group/comp.lang.misc/browse_thread/thread/35967349de8446c1# The strong non cirular list argument ... 15 Jul 2010 20:55

Question on Prim's algorithm
Hi, I am new to this algorithm, and I read that the algorithm is correct – i.e. will always produce the optimal minimum spanning tree. As an experiment I tried the algorithm on a weighted graph, and got two different results. Can somebody help me work out where I went wrong? Graph has labeled vertices A=(0,0),... 15 Jul 2010 12:03

Processing Emails Online!Earns $1000's Weekly!
Processing Emails Online!Earns $1000's Weekly!FAST, EASY AND PROFITABLE WORK AT HOME!You will be soon on your way to earning extra income from the comfort of your own home! http://processemailonline.com/ ... 14 Jul 2010 03:21

Earn up to $20.00+ per hour - Working On Line.
Earn up to $20.00+ per hour - Working On Line.No Personal selling, or contact required.Easy, flexible work available to you. http://processemailonline.com/ ... 14 Jul 2010 03:21