Theory

Sorted heap trees
This is a repost to comp.theory. I'm looking at a data structure that I have (re)invented that I am calling a sorted heap tree. I dare say there is an official name but I haven't a clue as to what it might be. What I am looking for are references, preferably on-line, and anything useful I can snarf up. ... 10 Apr 2008 01:17

find all directed paths between a source and destination
Hello all. I have a graph (that is not necessarily directed) of a number of nodes. I'm trying to enumerate through all directed paths between source and destination (to avoid routing loops). There shouldn't be an infinite number of solutions to this problem because nodes cannot be traversed more than once in the so... 15 Apr 2008 12:21

Crew scheduling/rostering problem, Some questions
Dear everybody, I am currently doing an internship at a public transport company. I have a couple of questions and I wonder if you could help me with these questions. In the internship, my task is to solve a crew scheduling/rostering problem for one specific day. The characteristics of the problem are as follo... 9 Apr 2008 06:58

Automatic text tagging
I need to implement an automatic text tagging system. Any suggestions of algorithms? I've used Bayesian classification with great success when the categories are fixed and in small number, but in the case of tags I believe it won't work very well (too few items per tag to train well). I'm also looking for somethin... 18 Apr 2008 11:50

Algorithm for inserting numbers in a list?
I have a list of N elements. Each element needs to be assigned an ascending number, such that the number assigned to the first element is less than the one for the second, which is less than the third, ... The number assigned to an element can never change. Later, I need to insert more elements into the list i... 14 Apr 2008 00:43

Can propositions be classified into type-n?
Given that propositional calculus deals with propositions, can the propositions be classified into any in Chomsky hierarchy? Aren't propositions generative grammars? -sip ... 13 Apr 2008 13:31

2nd CFP - The 1st International Workshop on Bit-Precise Reasoning (BPR 2008, Princeton, Jul 08)
2nd CALL FOR PAPERS BPR'08 - The 1st International Workshop on Bit-Precise Reasoning Location: Princeton, New Jersey. July 14th, 2008. (Affiliated with CAV 2008.) Website: http://www.bit-precise-reasoning.org/ Bit-Precise Reasoning is increasingly being used for the analysis of many real world hardware an... 7 Apr 2008 01:54

temples in hospitals --- all gods and religions
I only hope that one day we can have temples in hospitals worshipping all gods and religions and in that there is a big photo of Zarathustra. (Parsi religion) I have seen a video of Satya Sai Baba's Putthapurthi and in that there is a 70 foot photo of Zarathustra --- because he is the first prophet. Erach ... 7 Apr 2008 01:54

Cheap Jordans Wholesale ( paypal accept ) ( www.top-saler.com )Jordans Retro Wholesale ( paypal accept ) ( www.top-saler.com )
Cheap Jordans Wholesale ( paypal accept ) ( www.top-saler.com ) Jordans Retro Wholesale ( paypal accept ) ( www.top-saler.com ) Air Jordans Wholesale ( paypal accept ) ( www.top-saler.com ) Nike Shoes Wholesale China ( paypal accept ) ( www.top-saler.com ) Discount Jordans Price Wholesale ( paypal accept ... 5 Apr 2008 23:53

How can I tell if F is a string or if it is a number?
Hi, I've been trying to understand data types in physics. http://www.densytics.com/wiki/index.php?title=Data_types_in_Physics I see that there are similarities with data types used in computer science. I am confused about what is number and what is string in physics. When I look at F=ma I see F as a string. ... 6 May 2008 23:26