5451 search results - page 292 / 1091 » Typed Operational Semantics |
153
Voted
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Ontologies play a key role in Semantic Web research. A common use of ontologies in Semantic Web is to enrich the current Web resources with some well-defined meaning to enhance th...
163
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Current web image search engines still rely on user typing textual description: query word(s) for visual targets. As the queries are often short, general or even ambiguous, the im...
195
click to vote
GEOS
2009
Springer
15 years 9 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...
185
click to vote
TKDE
2010
15 years 3 months ago
2010
—Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (songs, pictures, web links, products, etc.). Social tag...
149
click to vote
ENTCS
2007
15 years 4 months ago
2007
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...