138 search results - page 11 / 28 » OntoViews - A Tool for Creating Semantic Web Portals |
JUCS
2006
13 years 7 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 ...
ESWS
2004
Springer
14 years 1 months ago
2004
Springer
Newspaper archives are a fundamental working tool for editorial teams. Their exploitation in digital format through the web, and the provision of technology to make this possible, ...
SEMCO
2008
IEEE
14 years 2 months ago
2008
IEEE
Only recently, researchers and practitioners alike have begun to fully understand the potential of eLearning and have concentrated on new tools and technologies for creating, captu...
BIS
2007
13 years 9 months ago
2007
The recent evolution of the Web, now designated by the term Web 2.0, has seen the appearance of a huge number of resources created and annotated by users. However the annotations ...
SIGKDD
2010
13 years 6 months ago
2010
Social tagging on online portals has become a trend now. It has emerged as one of the best ways of associating metadata with web objects. With the increase in the kinds of web obj...