15372 search results - page 404 / 3075 » The Semantics of Semantic Annotation |
199
click to vote
ICMCS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents a framework for building rule-based image retrieval (RBIR) systems. Soft computing based multimedia data mining techniques are employed to extract and optimize...
178
click to vote
CIE
2005
Springer
16 years 12 days ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
162
click to vote
CAISE
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...
179
click to vote
EWSA
2004
Springer
16 years 7 days ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
159
click to vote
ICFP
2003
ACM
16 years 3 days ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...