First  |  Prev |  Next  |  Last
Pages: 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
Reducing decision problems to boolean satisfiability
I've asked this on comp.theory before, though it's been over a year since the discussion took place...but looking through the archives of the previous discussion, I'm still not clear as to how do what I'm interested in doing. I would like to learn how to program an efficient mapping of a decision-problem versi... 6 Jan 2010 08:52
Last Call for Papers Reminder (extended): IAENG International Conference on Communication Systems and Applications (ICCSA 2010)
CFP Reminder (extended): IAENG International Conference on Communication Systems and Applications (ICCSA 2010) From: IAENG - International Association of Engineers Draft Manuscript submission deadline (extended): 12 January, 2010 Camera-Ready papers & Pre-registration deadline: 30 January, 2010 ICCSA 2010: 17-19... 2 Jan 2010 05:15
Einstein's photon
Einstein's photon To see why we have it and what space and time are please click link below and read: http://www.amperefitz.com/photon.htm Fitz ... 29 Dec 2009 18:36
Call for Papers Reminder (submission deadline extended): International MultiConference of Engineers and Computer Scientists IMECS 2010
CFP Reminder (submission deadline extended): International MultiConference of Engineers and Computer Scientists IMECS 2010 From: IAENG - International Association of Engineers Draft Manuscript submission deadline (extended): 12 January, 2010 Camera-Ready papers & registration deadline (extended): 30 January, 201... 28 Dec 2009 02:04
Informatics 2010: submissions until 25 January 2010
Apologies for cross-postings. Please send to interested colleagues and students -- CALL FOR PAPERS - Deadline for submissions: 25 January 2010 -- IADIS INTERNATIONAL CONFERENCE INFORMATICS 2010 Freiburg, Germany, 26 – 28 July 2010 (http://www.informatics-conf.org/) part of the IADIS Multi Conference on Comput... 23 Dec 2009 13:45
in-demand theoretical CS knowledge
To anyone generous enough to offer some advice, I am currently (back) in the job market, and trying to find a programming project to work on while I search for jobs that will improve my skills and increase how "in-demand" I am in the industry. I don't know what sort of project to undertake, however. My C++ ... 26 Dec 2009 13:16
Are there recommended books on computational geometry and polyhedral combinatoris?
Are there recommended books on computational geometry and polyhedral combinatorics? In Volume 4 fascicles of TAoCP, Knuth says he is better at visualizing and manipulating algebraic formulas than objects in space, which relies on geometrical intuition. Are there other areas of combinatorics not covered by alge... 21 Dec 2009 21:21
3SAT - A Cloud Based SAT Solver
I describe a method for solving the Boolean Satisfiabilty (SAT) problem using a network of connected processes. I previously posted a resolution based backtracking algorithm for parallel processors. http://groups.google.com/group/comp.theory/browse_thread/thread/e01c2984cfced459/fa0966d4e3d70488 Now, I show ... 21 Dec 2009 04:47
1.Asku algorithm
1.Asku s er s id e l e ngth2 . S t o r e v a l ue i n b o x s 3 . C a l c u l a t e s q u a r e a ... 24 Dec 2009 08:34
Workshop “Medical Imaging Systems” within EUROMEDIA 2010 – Announce & Call for Papers
-------------------------------------------------------------------------------------------------------------------------------- Workshop “Medical Imaging Systems” within EUROSIS EUROMEDIA 2010 April 14-16, 2010, UPV Gandia, Gandia, Spain http://www.eurosis.org/cms/?q=node/1103 ---------------------------------... 15 Dec 2009 15:35
First  |  Prev |  Next  |  Last
Pages: 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34