64 search results - page 8 / 13 » Presenting TSTP Proofs with Inference Web Tools |
TON
2010
13 years 2 months ago
2010
Understanding Internet access trends at a global scale, i.e., how people use the Internet, is a challenging problem that is typically addressed by analyzing network traces. However...
ASWC
2009
Springer
13 years 8 months ago
2009
Springer
Aggregating and presenting a wide variety of information pertinent to the biological and pharmacological effects of chemical compounds will be a critical part of 21st century drug ...
URBAN
2011
13 years 2 months ago
2011
This paper reports on the development and application of strategies and tools for geographic information seeking and knowledge building that leverages unstructured text resources ...
ESOP
2005
Springer
14 years 28 days ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
ESWS
2005
Springer
14 years 28 days ago
2005
Springer
Online community sites have replaced the traditional means of keeping a community informed via libraries and publishing. At present, online communities are islands that are not int...