3400 search results - page 67 / 680 » tools 2008 |
PVLDB
2010
13 years 7 months ago
2010
Studies show that about 50% of web search is for information exploration purpose, where a user would like to investigate, compare, evaluate, and synthesize multiple relevant resul...
SCIENTOMETRICS
2010
13 years 7 months ago
2010
The enormous increase in digital scholarly data and computing power combined with recent advances in text mining, linguistics, network science, and scientometrics make it possible...
ICPP
2008
IEEE
14 years 3 months ago
2008
IEEE
: Many tools that target parallel and distributed environments must co-locate a set of daemons with the distributed processes of the target application. However, efficient and por...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...
ISMAR
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper introduces ComposAR, a tool to allow a wide audience to author AR and MR applications. It is unique in that it supports both visual programming and interpretive scripti...