Sciweavers

15372 search results - page 358 / 3075
» The Semantics of Semantic Annotation
Sort
View
146
Voted
APAL
2008
61views more  APAL 2008»
15 years 7 months ago
Second-order type isomorphisms through game semantics
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question i...
Joachim De Lataillade
IJCV
2007
163views more  IJCV 2007»
15 years 6 months ago
Semantic Modeling of Natural Scenes for Content-Based Image Retrieval
In this paper, we present a novel image representation that renders it possible to access natural scenes by local semantic description. Our work is motivated by the continuing effo...
Julia Vogel, Bernt Schiele
WS
2008
ACM
15 years 6 months ago
Metcalfe's law, Web 2.0, and the Semantic Web
: The power of the Web is enhanced through the network effect produced as resources link to each other with the value determined by Metcalfe's law. In Web 2.0 applications, mu...
James A. Hendler, Jennifer Golbeck
AAMAS
2000
Springer
15 years 6 months ago
Semantic Issues in the Verification of Agent Communication Languages
This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a
Michael Wooldridge
174
Voted
LISP
2000
96views more  LISP 2000»
15 years 6 months ago
Continuations: A Mathematical Semantics for Handling Full Jumps
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
Christopher Strachey, Christopher P. Wadsworth