2136 search results - page 168 / 428 » A Game-Theoretic Operational Semantics |
146
Voted
FORTE
2009
15 years 1 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
113
Voted
CIVR
2007
Springer
15 years 9 months ago
2007
Springer
The retrieval performance of content-based image retrieval (CBIR) systems is often disappointingly low, mainly due to the subjectivity of human perception. Relevance feedback (RF)...
143
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
135
Voted
ECOOP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
141
Voted
PODS
1997
ACM
15 years 7 months ago
1997
ACM
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...