340 search results - page 68 / 68 » DLOnto: A Semantic Information Model for Digital Libraries |
PODS
2010
ACM
13 years 10 months ago
2010
ACM
In the last few years, a lot of attention has been paid to the specification and subsequent manipulation of schema mappings, a problem which is of fundamental importance in metad...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
CIVR
2007
Springer
13 years 11 months ago
2007
Springer
Automatic image annotation automatically labels image content with semantic keywords. For instance, the Relevance Model estimates the joint probability of the keyword and the imag...
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
PODS
2004
ACM
14 years 5 months ago
2004
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...