Sciweavers

15372 search results - page 335 / 3075
» The Semantics of Semantic Annotation
Sort
View
ICFP
1998
ACM
15 years 11 months ago
Fold and Unfold for Program Semantics
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
Graham Hutton
DOOD
1997
Springer
163views Database» more  DOOD 1997»
15 years 11 months ago
On a Declarative Semantics for Web Queries
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
Rainer Himmeröder, Georg Lausen, Bertram Lud&...
190
Voted
CIVR
2006
Springer
128views Image Analysis» more  CIVR 2006»
15 years 10 months ago
Using Topic Concepts for Semantic Video Shots Classification
Automatic semantic classification of video databases is very useful for users searching and browsing but it is a very challenging research problem as well. Combination of visual an...
Stéphane Ayache, Georges Quénot, J&e...
CONCUR
2006
Springer
15 years 10 months ago
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
Yoshinao Isobe, Markus Roggenbach
ECAI
2006
Springer
15 years 10 months ago
Towards ACL Semantics Based on Commitments and Penalties
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
Leila Amgoud, Florence Dupin de Saint-Cyr