4516 search results - page 131 / 904 » Semantic Web and Education |
164
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Ontology-based web portal generation and management is an active field of research and development. Recently, many systems have been developed. However, many of them lack the inte...
182
click to vote
ICDE
2006
IEEE
16 years 15 days ago
2006
IEEE
Just as the link structure of the web is a critical component in today's web search, complex relationships (i.e., the different ways the dots are connected) will be an import...
183
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
175
click to vote
HT
2004
ACM
15 years 12 months ago
2004
ACM
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...
202
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
A promising application domain for Semantic Web technology is the annotation of products and services offerings on the Web so that consumers and enterprises can search for suitable...