2149 search results - page 1 / 430 » Form over Substance |
JOT
2007
13 years 4 months ago
2007
Beware of the colleague or supplier who spends large amounts of time in meetings discussing the format, sequence, and wording of documents they will deliver and very little time o...
SYNTHESE
2008
13 years 4 months ago
2008
While considerable ink has been spilt over the rejection of idealism by Bertrand Russell and G.E. Moore at the end of the 19th Century, relatively little attention has been directe...
IJMI
2002
13 years 4 months ago
2002
: Much of knowledge modeling in the molecular biology domain involves interactions between proteins, genes, various forms of RNA, small molecules, etc. Interactions between these s...
BMCBI
2006
13 years 4 months ago
2006
Background: Recent advances with high-throughput methods in life-science research have increased the need for automatized data analysis and visual exploration techniques. Sophisti...
LPAR
2012
Springer
12 years 11 days ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...