Sciweavers

1289 search results - page 207 / 258
» Semantic Annotations for WS-Policy
Sort
View
SEMWEB
2007
Springer
14 years 3 months ago
SALT: Weaving the Claim Web
In this paper we present a solution for “weaving the claim web”, i.e. the creation of knowledge networks via so-called claims stated in scientific publications created with th...
Tudor Groza, Knud Möller, Siegfried Handschuh...
ISM
2006
IEEE
153views Multimedia» more  ISM 2006»
14 years 3 months ago
A Forward-Looking User Interface for CBIR and CFIR Systems
Abstract— This demonstration highlights the benefits that image retrieval systems can enjoy by use of a thoughtful interface. We present a live demonstration of PRISM, a new Web...
Liam M. Mayron, Oge Marques, Gustavo B. Borba, Hum...
MKM
2005
Springer
14 years 2 months ago
Engineering Mathematical Knowledge
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
Achim Mahnke, Jan Scheffczyk
MM
2004
ACM
164views Multimedia» more  MM 2004»
14 years 2 months ago
Mobile media metadata: metadata creation system for mobile images
In the 2003, more camera phones were sold worldwide than digital cameras. With this new platform, we can leverage regularities in the spatio-temporal context and social community ...
Marc Davis
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
14 years 2 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere