Sciweavers

2185 search results - page 257 / 437
» Context for semantic metadata
Sort
View
118
Voted
LICS
1993
IEEE
15 years 5 months ago
Full Abstraction for a Shared Variable Parallel Language
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
Stephen D. Brookes
104
Voted
ESOP
2009
Springer
15 years 4 months ago
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
Matthew R. Lakin, Andrew M. Pitts
101
Voted
CAISE
2006
Springer
15 years 4 months ago
The Meaning of an Image in Content-Based Image Retrieval
One of the major problems in CBIR is the so-called `semantic gap': the difference between low-level features, extracted from images, and the high-level `information need'...
Walter ten Brinke, David McG. Squire, John Bigelow
101
Voted
COORDINATION
2006
Springer
15 years 4 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
AVI
2008
15 years 3 months ago
Scenique: a multimodal image retrieval interface
Searching for images by using low-level visual features, such as color and texture, is known to be a powerful, yet imprecise, retrieval paradigm. The same is true if search relies...
Ilaria Bartolini, Paolo Ciaccia