4690 search results - page 297 / 938 » An operational semantics for Scheme |
228
click to vote
SAS
1992
Springer
15 years 10 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
162
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we propose a shot classification method for action movies. Considering that motion characteristic is very important for semantic movie analysis, and it contains abu...
290
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
168
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
155
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...