5434 search results - page 448 / 1087 » Semantic information portals |
247
click to vote
GEOS
2009
Springer
15 years 11 months ago
2009
Springer
As directories of named places, gazetteers link the names to geographic footprints and place types. Most existing gazetteers are managed strictly top-down: entries can only be adde...
244
click to vote
ER
1995
Springer
15 years 10 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
217
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
The Web contains a large amount of documents and increasingly, also semantic data in the form of RDF triples. Many of these triples are annotations that are associated with docume...
195
click to vote
FMCAD
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
241
click to vote
TRECVID
2008
15 years 8 months ago
2008
In this paper we describe our TRECVID 2008 video retrieval experiments. The MediaMill team participated in three tasks: concept detection, automatic search, and interactive search...