comp.theory
By Thread
830 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 08/31/04
Ending: 09/30/04
- ACM PODS 2005, Call for Papers Frank Neven (09/30/04)
- (N)Linspace Jym (09/29/04)
- Quality of articles in SIGACT News Anonymous (09/29/04)
- Proof of code unique decipherability condition Kevin Saff (09/28/04)
- Swarm Intelligence and Patterns 2005 Japan - CFP Vitorino RAMOS (09/28/04)
- Call for Participation: RTSS 2004 (note early hotel deadline!) Scott Brandt (09/27/04)
- Zenkin's paper on Cantor Eray Ozkural exa (09/26/04)
- Re: Proof of inherent ambiguity? Nathan Sanders (09/25/04)
- help: probability of dropping k items into N buckets Bo Hong (09/25/04)
- googVe is not Google RDJ (09/24/04)
- International Journal of Pattern Recognition and Artificial Intelligence - Vol. 18, No. 6 (September 2004) YH Khoo (09/24/04)
- Any NP optimization problems that don't reduce to decision problems? tchow_at_lsa.umich.edu (09/23/04)
- CP news, vol 0, no 3, Oct 2004 Toby Walsh (09/23/04)
- Another set with cardinality |Z| Eray Ozkural exa (09/23/04)
- Announcing WNLIB 9.0 - Free C Subroutine Library Will Naylor (09/21/04)
- Re: Dominance Tree Sorts Richard Harter (09/21/04)
- Special Issue on Computational Intelligence in Signal and Image Processing YH Khoo (09/20/04)
- computer memory Matthew Boots (09/20/04)
- computer memory Matthew Boots (09/20/04)
- computer memory Matthew Boots (09/20/04)
- Formal methods article and FMnet web pages Prof Jonathan Bowen (09/19/04)
- Another claim for P=NP Eray Ozkural exa (09/18/04)
- Complexity optimisation for a block matrix inversion Volker (09/17/04)
- Difference in Packaging Bernd (09/17/04)
- A way for P!=NP Denis Flex (09/16/04)
- Help with Knapsack LIKE problem Stush (09/15/04)
- Distributed algorithm for computing the determinant of a matrix. Dhruv Matani (09/15/04)
- Importance of Computer Science degree? Doug Bohl (09/15/04)
- Re: [SAT] Efficient Transitive Closure? Stephan Schulz (09/14/04)
- Kernighan-Lin Algorithm implementation Peng Yu (09/14/04)
- Glynn Winskel - solutions to book exercises anyone? Hungster (09/14/04)
- Open positions in algorithms and optimization Vijay Kumar (09/13/04)
- Re: [?] L = {a^m b^n c^mn} for aaabbcccccc Marc Goodman (09/13/04)
- R3COGNITION OF THE HALTING SOLN |-|erc (09/13/04)
- A variant of Traveling Salesman Problem fei (09/12/04)
- Call for Papers journal (09/12/04)
- Wiki as A Time Saver for Researchers coolspeech_at_hotmail.com (09/12/04)
- Undecidable problem examples Matt (09/11/04)
- Fixed-price recoding job (PERL -> C, Basic,...) available to perms/combs expert David Halitsky (09/11/04)
- Help with the "big O" notation Rupendra S. Dhillon (09/10/04)
- Erdős quotation Daniel Marx (09/09/04)
- An article about factorization Eray Ozkural exa (09/09/04)
- [Herc] Halting Problem Final Conclusion Kent Paul Dolan (09/09/04)
- SODA 2005 List of Accepted Papers Adam L. Buchsbaum (09/08/04)
- help in random graphs Leonardo B. Oliveira (09/08/04)
- miminum constrained set covering Vicnent (09/08/04)
- Data structure for indexing on multiple keys. Shankar (09/08/04)
- Fibonacci numbers, Lucas numbers and Huffman codes Alex Vinokur (09/08/04)
- > > > > matt parker alias erikvan lunsen@yahoo.com matt parker alias ericvon lunsen hout@yahoo.com matt parker alias erickvanlinthout@yahoo.com matt parker alias evonlunsen herzog@yahoo.com matt parker alias erik vonlint hout@yahoo.com matt parker al matt parker (09/08/04)
- Closest Point Problem Ash (09/08/04)
- NP-hardness of k-means clustering Stas Busygin (09/08/04)
- A Review of Chaitin's e-book "Omega" Eray Ozkural exa (09/07/04)
- Program implementing Post Tag System as applied to a Turing Machine Alex Vinokur (09/07/04)
- Two post-doc positions in bioinformatics available at Oxford University Rune Bang Lyngsoe (09/07/04)
- theorems/problems with lots of quantifiers Mitch Harris (09/07/04)
- NonLinear Programming course m sergei (09/07/04)
- CFP: SAT 05 - Theory and Applications of Satisfiability Testing Toby Walsh (09/06/04)
- Complexity of LTL Games Andreas Morgenstern (09/06/04)
- examples of EXPTIME d. lee (09/06/04)
- Halting Problem Final Conclusion Peter Olcott (09/05/04)
- Olcott is cured of CrackPottery! (Halting Problem) Peter Olcott (09/04/04)
- decidability of S4 and S5 Moritz (09/04/04)
- THE HALTING GODDAMN PROBLEM The Ace of Spades (09/04/04)
- Volume of an ellipsoid cut by a hyperplane Pannagadatta (09/03/04)
- ISSRE'04 : Call for participation (France, Nov 04) Arnaud Gotlieb (09/03/04)
- [OT] Comparitive plague-posters (was): Listen up, FUCKWADS!! Kent Paul Dolan (09/03/04)
- Computer Network to Graph Conversion Diego d'Aulignac (09/03/04)
- CFP: RelMiCS8 - Relational Methods in CS - Second Call for Papers Michael Winter (09/02/04)
- Need some help about Markov Decision Process with large action space... Hoang Than Anh Tuan (09/02/04)
- Tarjan algorithm Al (09/02/04)
- Re: Listen up, FUCKWADS!! Michael N. Christoff (09/02/04)
- Parma Polyhedra Library 0.6.1 Roberto Bagnara (09/02/04)
- Re: What is the Result from Invoking this Halt Function? >parr\(*> (09/01/04)
- Re: [PO] Can a regular Turing Machine provide Protected Memory? Peter Olcott (09/01/04)
- Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (09/01/04)
- Re: [PO] halting problem reading comprehension Peter Olcott (09/01/04)
- Re: Raatikainen's critique of Chaitin Timothy Murphy (09/01/04)
- Re: [PO] halting problem: existence proofs Peter Olcott (09/01/04)
- Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/31/04)
Last message date: 09/30/04
Archived on: 09/30/04 CEST
830 messages sorted by: [ author ] [ date ] [ subject ]
