285 search results - page 54 / 57 » OntoSearch: A Full-Text Search Engine for the Semantic Web |
ICWE
2010
Springer
13 years 10 months ago
2010
Springer
The recent proliferation of crowd computing initiatives on the web calls for smarter methodologies and tools to annotate, query and explore repositories. There is the need for scal...
JUCS
2006
13 years 5 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
CIKM
2005
Springer
13 years 11 months ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
CIKM
2010
Springer
13 years 4 months ago
2010
Springer
On-Line Analytical Processing (OLAP) has shown great success in many industry applications, including sales, marketing, management, financial data analysis, etc. In this paper, w...
ECIR
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...