4690 search results - page 163 / 938 » An operational semantics for Scheme |
172
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
193
click to vote
SPIESR
2001
15 years 8 months ago
2001
This paper describes a video summarization and semantics editing tool that is suited for content-based video indexing and retrieval with appropriate human operator assistance. The...
168
click to vote
JCSS
2010
15 years 5 months ago
2010
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in...
205
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
164
click to vote
ICDCS
2006
IEEE
16 years 17 days ago
2006
IEEE
Publish/Subscribe systems provide a useful platform for delivering data (events) from publishers to subscribers in an anonymous fashion in distributed networks. In this paper, we ...