Sciweavers

2776 search results - page 135 / 556
» System-Level Abstraction Semantics
Sort
View
TLCA
1995
Springer
15 years 8 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
AUSAI
2009
Springer
15 years 7 months ago
Adapting Spectral Co-clustering to Documents and Terms Using Latent Semantic Analysis
Abstract. Spectral co-clustering is a generic method of computing coclusters of relational data, such as sets of documents and their terms. Latent semantic analysis is a method of ...
Laurence A. F. Park, Christopher Leckie, Kotagiri ...
ESWS
2008
Springer
15 years 6 months ago
Mymory: Enhancing a Semantic Wiki with Context Annotations
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. The Mymory project1 uses a web-based wor...
Malte Kiesel, Sven Schwarz, Ludger van Elst, Georg...
SWAP
2008
15 years 5 months ago
Entity Identification on the Semantic Web
Abstract. In the core of every information integration and data exchange effort lies the ability to identify whether two pieces of information refer to the same real world entity. ...
Alexis Morris, Yannis Velegrakis, Paolo Bouquet
ROOM
2000
15 years 5 months ago
SDL-2000: A Language with a Formal Semantics
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
Joachim Fischer, Eckhardt Holz, Martin von Lö...