The theorems suggest that Tautology is a good candidate for an interesting set not in [P] and I feel it is worth spending considerable effort trying to prove this conjecture. Such a proof would be a major breakthrough in complexity theory.
And thus Cook formulated what was soon to be called the P versus NP problem. The rest is history.
Here's the 1971 STOC Program (there were 143 attendees)and what that sacred ground looks like today.
VisiNav looks very interesting, with a strong focus on class/object hierarchies that could work well on clean, well-structured data sets -- and may be exactly what the poster needs!
Could you explain here how to continue with VisiNav past the demo? How would the poster adapt VisiNav to his needs: set up his own system and use his own dataset?
Is VisiNav a research experiment, an open source project, or a commercial product? What licences is it available with? Is it open source?
Yes, Google's Search Appliance (GSA) could be used, I have seen it used with limited success. The main problem was how to respect access control on documents: either you index them or you don't, and if you index them with GSA, sensitive data may show up in search results. Also, we had a lot of trouble "taming" GSA: it would regularly take down servers that were dimensioned for light loads.
I would suggest using Alfresco http://www.alfresco.com/ as a CIFS (Common Internet File System) or WebDav store for all those documents. This would give you the simplicity of a shared folder and the opportunity to enrich the documents with searchable metadata such as tags, etc. Each folder (or any item, in fact) could have the correct access control that would be respected by the search engine, Lucene. http://lucene.apache.org/java/docs/
Alfresco comes in both Enterprise and Community Edition, it's very easy to try out -- even our non-techie project manager could install it on his PC within 10 minutes. Try that with Documentum, FileNet or IBM DB2 Content Manager!
I guess you will be deleting you Slashdot account as well, then? Are you talking seriousity?
Might as well cut yourself out of society. Facebook et al are minuscule steps toward the singularity - do you think that will happen without loss of privacy? It will be painful.
Stand up and sing out: "YES! I cut my finger today! Revel in the mundane details of my life, will you?" And the discordant songs shall melt in the fire of onrushing destiny until we are all united as one melody, beating in harmony with the pain and dreams of an entire civilization.
Man, what am I smoking today?
The likes of Qualcomm and NVIDIA didn't spend zillions of dollars developing Snapdragon and Tegra respectively, only to find themselves having to compete with numerous other entrants to the market, all facilitated by their supposed partner ARM. This could be an additional reason for ARM to continually make such a big point about how its targeting Intel.
"Ninety percent of baseball is half mental." -- Yogi Berra