289 search results - page 31 / 58 » Algebraic results for structured operational semantics |
137
click to vote
ACL
1998
15 years 7 months ago
1998
We present two approaches for syntactic and semantic transfer based on LFG f-structures and compare the results with existing co-description and restriction operator based approac...
273
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
158
click to vote
COORDINATION
2004
Springer
15 years 11 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
207
click to vote
P2P
2006
IEEE
15 years 12 months ago
2006
IEEE
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
165
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Efficient indexing and retrieval of digital videos are important needs within instructional video databases. Semantic indexing for instructional videos can be achieved by combini...