217 search results - page 31 / 44 » Towards a Mathematical Operational Semantics |
MFPS
1993
15 years 3 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
224
click to vote
GIS
2006
ACM
16 years 22 days ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
ICECCS
2009
IEEE
15 years 6 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
FMCO
2005
Springer
15 years 5 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
There are two substantial open issues in the field of the image retrieval: semantic gap between computationally extracted low-level features and human operated high-level concepts...