3597 search results - page 469 / 720 » Model-theoretic semantics for the web |
153
click to vote
ICWE
2004
Springer
16 years 1 days ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
158
click to vote
SEMWEB
2004
Springer
16 years 21 hour ago
2004
Springer
Turning the current Web into a Semantic Web requires automatic approaches for annotation of existing data since manual approaches will not scale in general. We here present an app...
156
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We describe the combination of OWL and F-Logic for the architecture of Semantic Web application nodes. The approach has been implemented by combining an existing Jena-based archite...
182
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
With the growing popularity of video sharing web sites and the increasing use of consumer-level video capture devices, new algorithms are needed for intelligent searching and inde...
149
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...