Sciweavers

4902 search results - page 318 / 981
» Structures, Semantics and Statistics
Sort
View
COORDINATION
2004
Springer
16 years 2 days ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
Michael J. Butler, Carla Ferreira
ICDCSW
2003
IEEE
15 years 12 months ago
A Novel Video Shot Detection Technique Using Color Anglogram and Latent Semantic Indexing
In this paper, we present the results of our work that seeks to negotiate the gap between low-level features and highlevel concepts in the domain of video shot detection. We intro...
Rong Zhao, William I. Grosky
SCIA
2009
Springer
118views Image Analysis» more  SCIA 2009»
15 years 11 months ago
Grouping of Semantically Similar Image Positions
Features from the Scale Invariant Feature Transformation (SIFT) are widely used for matching between spatially or temporally displaced images. Recently a topology on the SIFT featu...
Lutz Priese, Frank Schmitt, Nils Hering
ERCIMDL
2006
Springer
170views Education» more  ERCIMDL 2006»
15 years 10 months ago
Semantic Web Techniques for Multiple Views on Heterogeneous Collections: A Case Study
Abstract. Integrated digital access to multiple collections is a prominent issue for many Cultural Heritage institutions. Metadata describing diverse collections must be interopera...
Marjolein van Gendt, Antoine Isaac, Lourens van de...
TLCA
1995
Springer
15 years 10 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen